diff options
| -rw-r--r-- | include/clang/Analysis/PathSensitive/GRCoreEngine.h | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/include/clang/Analysis/PathSensitive/GRCoreEngine.h b/include/clang/Analysis/PathSensitive/GRCoreEngine.h index 4c04c814d9..e26f376a36 100644 --- a/include/clang/Analysis/PathSensitive/GRCoreEngine.h +++ b/include/clang/Analysis/PathSensitive/GRCoreEngine.h @@ -1,4 +1,4 @@ -//==- GRCoreEngine.h - Path-Sensitive Dataflow Engine ------------------*- C++ -*-// +//==- GRCoreEngine.h - Path-Sensitive Dataflow Engine --------------*- C++ -*-// // // The LLVM Compiler Infrastructure // @@ -25,16 +25,6 @@ namespace clang { -class GRState; -class GRStateManager; -class GRStmtNodeBuilder; -class GRBranchNodeBuilder; -class GRIndirectGotoNodeBuilder; -class GRSwitchNodeBuilder; -class GREndPathNodeBuilder; -class GRWorkList; -class GRCoreEngine; - //===----------------------------------------------------------------------===// /// GRCoreEngine - Implements the core logic of the graph-reachability /// analysis. It traverses the CFG and generates the ExplodedGraph. |