-
- Downloads
Changed GRExprEngine to pass down a reference to itself when checkers are...
Changed GRExprEngine to pass down a reference to itself when checkers are doing postanalysis. This allows the checker to gather information about the state of the engine when it has finished. - Exposed the worklist and BlockAborted flag in GRCoreEngine - Changed postanalysis checkers to use the new infrastructure git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@110095 91177308-0d34-0410-b5e6-96231b3b80d8
Showing
- include/clang/Checker/PathSensitive/Checker.h 1 addition, 1 deletioninclude/clang/Checker/PathSensitive/Checker.h
- include/clang/Checker/PathSensitive/GRCoreEngine.h 6 additions, 0 deletionsinclude/clang/Checker/PathSensitive/GRCoreEngine.h
- include/clang/Checker/PathSensitive/GRExprEngine.h 8 additions, 0 deletionsinclude/clang/Checker/PathSensitive/GRExprEngine.h
- lib/Checker/GRExprEngine.cpp 1 addition, 1 deletionlib/Checker/GRExprEngine.cpp
- lib/Checker/IdempotentOperationChecker.cpp 3 additions, 4 deletionslib/Checker/IdempotentOperationChecker.cpp
- lib/Checker/UnreachableCodeChecker.cpp 5 additions, 4 deletionslib/Checker/UnreachableCodeChecker.cpp
Loading
Please register or sign in to comment