Value representing integer constant. More...
#include <SVals.h>
Inheritance diagram for clang::ento::nonloc::ConcreteInt:
Collaboration diagram for clang::ento::nonloc::ConcreteInt:
Public Member Functions | |
| ConcreteInt (const llvm::APSInt &V) | |
| const llvm::APSInt & | getValue () const |
| SVal | evalBinOp (SValBuilder &svalBuilder, BinaryOperator::Opcode Op, const ConcreteInt &R) const |
| ConcreteInt | evalComplement (SValBuilder &svalBuilder) const |
| ConcreteInt | evalMinus (SValBuilder &svalBuilder) const |
Static Public Member Functions | |
| static bool | classof (const SVal *V) |
| static bool | classof (const NonLoc *V) |
Detailed Description
Constructor & Destructor Documentation
| clang::ento::nonloc::ConcreteInt::ConcreteInt | ( | const llvm::APSInt & | V | ) | [inline, explicit] |
Member Function Documentation
| static bool clang::ento::nonloc::ConcreteInt::classof | ( | const SVal * | V | ) | [inline, static] |
Reimplemented from clang::ento::NonLoc.
Definition at line 308 of file SVals.h.
References clang::ento::nonloc::ConcreteIntKind, clang::ento::SVal::getBaseKind(), clang::ento::SVal::getSubKind(), and clang::ento::SVal::NonLocKind.
| static bool clang::ento::nonloc::ConcreteInt::classof | ( | const NonLoc * | V | ) | [inline, static] |
Definition at line 313 of file SVals.h.
References clang::ento::nonloc::ConcreteIntKind, and clang::ento::SVal::getSubKind().
| SVal clang::ento::nonloc::ConcreteInt::evalBinOp | ( | SValBuilder & | svalBuilder, |
| BinaryOperator::Opcode | Op, | ||
| const ConcreteInt & | R | ||
| ) | const |
| nonloc::ConcreteInt nonloc::ConcreteInt::evalComplement | ( | SValBuilder & | svalBuilder | ) | const |
Definition at line 200 of file SVals.cpp.
References getValue(), and clang::ento::SValBuilder::makeIntVal().
| nonloc::ConcreteInt nonloc::ConcreteInt::evalMinus | ( | SValBuilder & | svalBuilder | ) | const |
Definition at line 205 of file SVals.cpp.
References getValue(), and clang::ento::SValBuilder::makeIntVal().
| const llvm::APSInt& clang::ento::nonloc::ConcreteInt::getValue | ( | ) | const [inline] |
Definition at line 295 of file SVals.h.
References clang::ento::SVal::Data.
The documentation for this class was generated from the following files: