clang
3.9.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.
#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.
#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.