Searched refs:SimpleConstraintManager (Results 1 – 10 of 10) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleConstraintManager.cpp | 23 SimpleConstraintManager::~SimpleConstraintManager() {} in ~SimpleConstraintManager()
25 ProgramStateRef SimpleConstraintManager::assumeInternal(ProgramStateRef State, in assumeInternal()
44 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, in assume()
52 ProgramStateRef SimpleConstraintManager::assumeAux(ProgramStateRef State, in assumeAux()
94 ProgramStateRef SimpleConstraintManager::assumeInclusiveRangeInternal( in assumeInclusiveRangeInternal()
|
| H A D | CMakeLists.txt | 44 SimpleConstraintManager.cpp
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SimpleConstraintManager.h | 23 class SimpleConstraintManager : public ConstraintManager {
28 SimpleConstraintManager(ExprEngine *exprengine, SValBuilder &SB) in SimpleConstraintManager() function
31 ~SimpleConstraintManager() override;
|
| H A D | RangedConstraintManager.h | 407 class RangedConstraintManager : public SimpleConstraintManager {
410 : SimpleConstraintManager(EE, SB) {} in RangedConstraintManager()
|
| H A D | SMTConstraintManager.h | 30 class SMTConstraintManager : public clang::ento::SimpleConstraintManager { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
36 : SimpleConstraintManager(EE, SB) {} in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| /llvm-project-15.0.7/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/ |
| H A D | BUILD.gn | 56 "SimpleConstraintManager.cpp",
|
| /llvm-project-15.0.7/clang/test/ARCMT/ |
| H A D | objcmt-arc-cf-annotations.m | 686 // '($0 - 1)' after '--length', but SimpleConstraintManager doesn't know how to
|
| H A D | objcmt-arc-cf-annotations.m.result | 728 // '($0 - 1)' after '--length', but SimpleConstraintManager doesn't know how to
|
| /llvm-project-15.0.7/clang/test/Analysis/ |
| H A D | retain-release.m | 791 // '($0 - 1)' after '--length', but SimpleConstraintManager doesn't know how to
|
| /llvm-project-15.0.7/clang/docs/tools/ |
| H A D | clang-formatted-files.txt | 242 clang/include/clang/StaticAnalyzer/Core/PathSensitive/SimpleConstraintManager.h
556 clang/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp
|