clang  6.0.0svn
Functions
RangeConstraintManager.cpp File Reference
#include "RangedConstraintManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/APSIntType.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/ADT/ImmutableSet.h"
#include "llvm/Support/raw_ostream.h"
Include dependency graph for RangeConstraintManager.cpp:

Go to the source code of this file.

Functions

 REGISTER_TRAIT_WITH_PROGRAMSTATE (ConstraintRange, CLANG_ENTO_PROGRAMSTATE_MAP(SymbolRef, RangeSet)) namespace
 

Function Documentation

◆ REGISTER_TRAIT_WITH_PROGRAMSTATE()

REGISTER_TRAIT_WITH_PROGRAMSTATE ( ConstraintRange  ,
CLANG_ENTO_PROGRAMSTATE_MAP(SymbolRef, RangeSet)   
)

Definition at line 280 of file RangeConstraintManager.cpp.

References State, and X.