Home | History | Annotate | Download | only in Analysis

Lines Matching defs:Then

52 ///  contextual information.  If AddStmtChoice is 'NotAlwaysAdd', then
105 /// VarIter is guaranteed to be greater then 0 for every valid iterator.
681 // If there is no target for the goto, then we are looking at an
699 // If there is no target block that contains label, then we are looking
1373 // containing a DoStmt, and the LHS doesn't create a new block, then we should
1396 // If there is no target for the break, then we are looking at an incomplete
1692 // If the type of VD is a VLA, then we must process its size expressions.
1709 // block. First, we create the blocks for the then...else statements, and
1710 // then we create the block containing the if statement. If we were in the
1711 // middle of a block, we stop processing that block. That block is then the
1712 // implicit successor for the "then" and "else" clauses.
1762 Stmt *Then = I->getThen();
1763 assert(Then);
1769 if (!isa<CompoundStmt>(Then))
1770 addLocalScopeAndDtors(Then);
1772 ThenBlock = addStmt(Then);
1775 // We can reach here if the "then" body has all NullStmts.
1791 // control-flow transfer of '&&' or '||' go directly into the then/else
2539 // If there is no target for the continue, then we are looking at an
3488 // CaseStmt then filter this edge.