]> granicus.if.org Git - clang/commitdiff
Add doxygen comments and simplify expression.
authorTed Kremenek <kremenek@apple.com>
Fri, 24 Jul 2009 06:55:42 +0000 (06:55 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 24 Jul 2009 06:55:42 +0000 (06:55 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76955 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/CFG.cpp

index af64fb8414432403541599c9ca16cdb15ae9e937..217df459b8bb18db1e48955ee1d1d125fa7aa58e 100644 (file)
@@ -135,6 +135,11 @@ private:
   bool FinishBlock(CFGBlock* B);
   CFGBlock *addStmt(Stmt *S) { return Visit(S, true); }
   
+  
+  /// TryResult - a class representing a variant over the values
+  ///  'true', 'false', or 'unknown'.  This is returned by TryEvaluateBool,
+  ///  and is used by the CFGBuilder to decide if a branch condition
+  ///  can be decided up front during CFG construction.
   class TryResult {
     int X;
   public:
@@ -155,7 +160,7 @@ private:
   TryResult TryEvaluateBool(Expr *S) {
     Expr::EvalResult Result;
     if (S->Evaluate(Result, *Context) && Result.Val.isInt())
-      return Result.Val.getInt().getBoolValue() ? true : false;
+      return Result.Val.getInt().getBoolValue();
 
     return TryResult();
   }