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
1391 // containing a DoStmt, and the LHS doesn't create a new block, then we should
1414 // If there is no target for the break, then we are looking at an incomplete
1718 // If the type of VD is a VLA, then we must process its size expressions.
1745 // block. First, we create the blocks for the then...else statements, and
1746 // then we create the block containing the if statement. If we were in the
1747 // middle of a block, we stop processing that block. That block is then the
1748 // implicit successor for the "then" and "else" clauses.
1798 Stmt *Then = I->getThen();
1799 assert(Then);
1805 if (!isa<CompoundStmt>(Then))
1806 addLocalScopeAndDtors(Then);
1808 ThenBlock = addStmt(Then);
1811 // We can reach here if the "then" body has all NullStmts.
1827 // control-flow transfer of '&&' or '||' go directly into the then/else
2582 // If there is no target for the continue, then we are looking at an
3430 // CaseStmt then filter this edge.