#include <SVals.h>
Public Member Functions | |
| MemRegionVal (const MemRegion *r) | |
| const MemRegion * | getRegion () const |
| Get the underlining region. | |
| const MemRegion * | stripCasts () const |
| Get the underlining region and strip casts. | |
| template<typename REGION > | |
| const REGION * | getRegionAs () const |
| bool | operator== (const MemRegionVal &R) const |
| bool | operator!= (const MemRegionVal &R) const |
Static Public Member Functions | |
| static bool | classof (const SVal *V) |
| static bool | classof (const Loc *V) |
Detailed Description
Constructor & Destructor Documentation
| clang::ento::loc::MemRegionVal::MemRegionVal | ( | const MemRegion * | r | ) | [inline, explicit] |
Member Function Documentation
| static bool clang::ento::loc::MemRegionVal::classof | ( | const SVal * | V | ) | [inline, static] |
Reimplemented from clang::ento::Loc.
Definition at line 450 of file SVals.h.
References clang::ento::SVal::getBaseKind(), clang::ento::SVal::getSubKind(), clang::ento::SVal::LocKind, and clang::ento::loc::MemRegionKind.
| static bool clang::ento::loc::MemRegionVal::classof | ( | const Loc * | V | ) | [inline, static] |
Definition at line 455 of file SVals.h.
References clang::ento::SVal::getSubKind(), and clang::ento::loc::MemRegionKind.
| const MemRegion* clang::ento::loc::MemRegionVal::getRegion | ( | ) | const [inline] |
Get the underlining region.
Definition at line 429 of file SVals.h.
References clang::ento::SVal::Data.
Referenced by clang::ento::SVal::getLocSymbolInBase(), getRegionAs(), operator!=(), operator==(), and stripCasts().
| const REGION* clang::ento::loc::MemRegionVal::getRegionAs | ( | ) | const [inline] |
Definition at line 437 of file SVals.h.
References getRegion().
| bool clang::ento::loc::MemRegionVal::operator!= | ( | const MemRegionVal & | R | ) | const [inline] |
Definition at line 445 of file SVals.h.
References getRegion().
| bool clang::ento::loc::MemRegionVal::operator== | ( | const MemRegionVal & | R | ) | const [inline] |
Definition at line 441 of file SVals.h.
References getRegion().
| const MemRegion * loc::MemRegionVal::stripCasts | ( | ) | const |
Get the underlining region and strip casts.
Definition at line 136 of file SVals.cpp.
References getRegion(), NULL, and clang::ento::MemRegion::StripCasts().
The documentation for this class was generated from the following files: