Lines Matching defs:IS
5 // This file is distributed under the University of Illinois Open Source
124 // Now we know what is live, we check the live precessors of the exit block
151 // Destructors can appear after the 'return' in the CFG. This is
186 // TODO: Verify this is correct.
439 // Don't issue a fixit if there is already an initializer.
460 /// condition is CondVal.
465 // If condition is always true, remove all but the 'then'.
476 // If condition is always false, remove all but the 'else'.
506 // For all binary terminators, branch 0 is taken if the condition is true,
507 // and branch 1 is taken if the condition is false.
519 // FIXME: This also happens if the first use of a variable is always
521 // with the 'is uninitialized' diagnostic.
524 // "condition is true / condition is false".
526 const IfStmt *IS = cast<IfStmt>(Term);
529 Range = IS->getCond()->getSourceRange();
531 CreateIfFixit(S, IS, IS->getThen(), IS->getElse(),
564 // "loop is entered / loop is exited".
583 // "condition is true / loop is exited".
592 // "switch case is taken".
628 /// as a warning. If a particular use is one we omit warnings for, returns
635 // Inspect the initializer of the variable declaration which is
643 // This is used to indicate to GCC that 'x' is intentionally left
723 if (P->pred_begin() == P->pred_end()) { // The block is unreachable.
743 // // <<<< This place is represented by a 'hanging' CFG block.
922 // is nondeterministic.
931 // variable, but the root cause is an idiomatic self-init. We want
932 // to report the diagnostic at the self-init since that is the root cause.
951 // on the first point at which a variable is used uninitialized.
989 // Although this call will be slow, this is only called when outputting
1189 // (1) The CFGs often can't be constructed (if the body is invalid), so
1225 // is used to speed up various analyses.
1226 // FIXME: This isn't the right factoring. This is here for initial
1229 // appropriately. This is essentially a layering violation.
1274 // FIXME: We should be able to assert that block is non-null, but
1312 // and it is very difficult to prove that a snippet of code in a template
1313 // is unreachable for all instantiations.
