Lines Matching defs:For

90   // on its own.  For these reasons, we need to have a separate kind,
112   // calls and we want to track that.  For the purposes of better diagnostics,
139   //      is a violation.  For this reason, in order to assume the
194     // For the purposes of the analysis, it doesn't really matter
325     // For this reason, dereference operation is a "no-op".
508   /// results only for such cases.  For this very reason, the parent basic
546   std::optional<Clarification> VisitForStmt(const ForStmt *For) {
547     return VisitBranchingBlock(For, NeverCalledReason::LoopEntered);
679     // For our task, both backward and forward approaches suite well.
806         // too vague for the users.  For this reason, we mark such parameters
832     // For this reason, branch A -> B can be used for reporting.
835     // does indeed have a violation of contract.  For this reason, we can
1375         // For this reason, in the following loop we look for the
1520           // For this reason, we abandon tracking this parameter altogether.
1552     // For this reason, it is important to analyze blocks and report warnings
1689   // from the function.  For this reason, we track the fact that the function