Improve comments

Author: NagyDonat

clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h

@@ -604,9 +604,8 @@ class ExprEngine {
                                 ExplodedNodeSet &Dst);
 
   /// evalEagerlyAssumeOpBifurcation - Given the nodes in 'Src', eagerly assume
-  /// symbolic
-  ///  expressions of the form 'x != 0' or '!x' and generate new nodes (stored
-  ///  in Dst) with those assumptions.
+  /// symbolic expressions of the form 'x != 0' or '!x' and generate new nodes
+  /// (stored in Dst) with those assumptions.
   void evalEagerlyAssumeOpBifurcation(ExplodedNodeSet &Dst,
                                       ExplodedNodeSet &Src, const Expr *Ex);
 

clang/lib/StaticAnalyzer/Core/ExprEngine.cpp

@@ -224,6 +224,11 @@ bool clang::ento::seenWeakLoopAssumption(ProgramStateRef State) {
   return State->get<SeenWeakLoopAssumption>();
 }
 
+// This trait points to the last expression (logical operator) where an eager
+// assumption introduced a state split (i.e. both cases were feasible). This is
+// used by the WeakLoopAssumption heuristic to find situations where the an
+// eager assumption introduces a state split within the evaluation of a loop
+// condition.
 REGISTER_TRAIT_WITH_PROGRAMSTATE(LastEagerlyAssumeAssumptionAt, const Expr *)
 
 //===----------------------------------------------------------------------===//