clang
6.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 | |
Dataflow Directional Tag Classes. | |
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.
Referenced by LoopState::Profile().
#define REGISTER_MAP_WITH_PROGRAMSTATE | ( | Name, | |
Key, | |||
Value | |||
) |
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.
Referenced by llvm::FoldingSetTrait< ObjectState >::Profile().
#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.