Skip to content

Commit 53609b9

Browse files
authored
[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.
1 parent 36467bf commit 53609b9

File tree

1 file changed

+2
-8
lines changed
  • clang/include/clang/StaticAnalyzer/Core/PathSensitive

1 file changed

+2
-8
lines changed

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

Lines changed: 2 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -45,14 +45,8 @@ class FunctionSummariesTy;
4545
class ExprEngine;
4646

4747
//===----------------------------------------------------------------------===//
48-
/// CoreEngine - Implements the core logic of the graph-reachability
49-
/// analysis. It traverses the CFG and generates the ExplodedGraph.
50-
/// Program "states" are treated as opaque void pointers.
51-
/// The template class CoreEngine (which subclasses CoreEngine)
52-
/// provides the matching component to the engine that knows the actual types
53-
/// for states. Note that this engine only dispatches to transfer functions
54-
/// at the statement and block-level. The analyses themselves must implement
55-
/// any transfer function logic and the sub-expression level (if any).
48+
/// CoreEngine - Implements the core logic of the graph-reachability analysis.
49+
/// It traverses the CFG and generates the ExplodedGraph.
5650
class CoreEngine {
5751
friend class CommonNodeBuilder;
5852
friend class EndOfFunctionNodeBuilder;

0 commit comments

Comments
 (0)