|
clang
5.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"Go to the source code of this file.
Classes | |
| class | clang::ento::CheckerContext |
Namespaces | |
| clang | |
| /file This file defines classes for searching and anlyzing source code clones. | |
| clang::ento | |
Macros | |
| #define | REGISTER_MAP_WITH_PROGRAMSTATE(Name, Key, Value) |
Declares an immutable map of type NameTy, suitable for placement into the ProgramState. More... | |
| #define | REGISTER_SET_WITH_PROGRAMSTATE(Name, Elem) REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, llvm::ImmutableSet<Elem>) |
Declares an immutable set of type NameTy, suitable for placement into the ProgramState. More... | |
| #define | REGISTER_LIST_WITH_PROGRAMSTATE(Name, Elem) REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, llvm::ImmutableList<Elem>) |
Declares an immutable list of type NameTy, suitable for placement into the ProgramState. More... | |
| #define REGISTER_LIST_WITH_PROGRAMSTATE | ( | Name, | |
| Elem | |||
| ) | REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, llvm::ImmutableList<Elem>) |
Declares an immutable list of type NameTy, suitable for placement into the ProgramState.
This is implementing using llvm::ImmutableList.
The macro should not be used inside namespaces, or for traits that must be accessible from more than one translation unit.
Definition at line 66 of file CheckerContext.h.
Declares an immutable map of type NameTy, suitable for placement into the ProgramState.
This is implementing using llvm::ImmutableMap.
The macro should not be used inside namespaces, or for traits that must be accessible from more than one translation unit.
Definition at line 36 of file CheckerContext.h.
| #define REGISTER_SET_WITH_PROGRAMSTATE | ( | Name, | |
| Elem | |||
| ) | REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, llvm::ImmutableSet<Elem>) |
Declares an immutable set of type NameTy, suitable for placement into the ProgramState.
This is implementing using llvm::ImmutableSet.
The macro should not be used inside namespaces, or for traits that must be accessible from more than one translation unit.
Definition at line 52 of file CheckerContext.h.
1.8.6