#include "clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h"
Inheritance diagram for clang::ento::ProgramStateTrait< ConstraintRange >:
Collaboration diagram for clang::ento::ProgramStateTrait< ConstraintRange >:
Static Public Member Functions | |
| static void * | GDMIndex () |
Detailed Description
template<>
struct clang::ento::ProgramStateTrait< ConstraintRange >
Definition at line 141 of file RangedConstraintManager.h.
Member Function Documentation
◆ GDMIndex()
|
static |
Definition at line 202 of file RangedConstraintManager.cpp.
The documentation for this struct was generated from the following files:
- include/clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h
- lib/StaticAnalyzer/Core/RangedConstraintManager.cpp
