[clang] 53609b9 - [analyzer][NFC] Prune a very obsolete comment about CoreEngine (#101173)

via cfe-commits cfe-commits at lists.llvm.org
Wed Aug 7 06:31:15 PDT 2024


Author: DonĂ¡t Nagy
Date: 2024-08-07T15:31:10+02:00
New Revision: 53609b90815a323c532da244d57feed656178e0b

URL: https://github.com/llvm/llvm-project/commit/53609b90815a323c532da244d57feed656178e0b
DIFF: https://github.com/llvm/llvm-project/commit/53609b90815a323c532da244d57feed656178e0b.diff

LOG: [analyzer][NFC] Prune a very obsolete comment about CoreEngine (#101173)

Once upon a time, a long time (16 years) ago there were two classes
called `GREngineImpl` and `template <class CHECKER> GrEngine`. As the
years passed, they were merged into a single class that went through
several renames, but this comment still preserved the memory of their
old relationship... until now.

Added: 
    

Modified: 
    clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h

Removed: 
    


################################################################################
diff  --git a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
index 0ef353bf9731ca..0825ecbced3f5a 100644
--- a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
+++ b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h
@@ -45,14 +45,8 @@ class FunctionSummariesTy;
 class ExprEngine;
 
 //===----------------------------------------------------------------------===//
-/// CoreEngine - Implements the core logic of the graph-reachability
-///   analysis. It traverses the CFG and generates the ExplodedGraph.
-///   Program "states" are treated as opaque void pointers.
-///   The template class CoreEngine (which subclasses CoreEngine)
-///   provides the matching component to the engine that knows the actual types
-///   for states.  Note that this engine only dispatches to transfer functions
-///   at the statement and block-level.  The analyses themselves must implement
-///   any transfer function logic and the sub-expression level (if any).
+/// CoreEngine - Implements the core logic of the graph-reachability analysis.
+/// It traverses the CFG and generates the ExplodedGraph.
 class CoreEngine {
   friend class CommonNodeBuilder;
   friend class EndOfFunctionNodeBuilder;


        


More information about the cfe-commits mailing list