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 |
Friends | |
| class | SVal |
Detailed Description
Constructor & Destructor Documentation
| clang::ento::nonloc::ConcreteInt::ConcreteInt | ( | const llvm::APSInt & | V | ) | [inline, explicit] |
Member Function Documentation
| SVal nonloc::ConcreteInt::evalBinOp | ( | SValBuilder & | svalBuilder, |
| BinaryOperator::Opcode | Op, | ||
| const ConcreteInt & | R | ||
| ) | const |
Definition at line 195 of file SVals.cpp.
References clang::ento::BasicValueFactory::evalAPSInt(), clang::ento::SValBuilder::getBasicValueFactory(), getValue(), getValue(), and X.
| nonloc::ConcreteInt nonloc::ConcreteInt::evalComplement | ( | SValBuilder & | svalBuilder | ) | const |
Definition at line 208 of file SVals.cpp.
References getValue(), and clang::ento::SValBuilder::makeIntVal().
| nonloc::ConcreteInt nonloc::ConcreteInt::evalMinus | ( | SValBuilder & | svalBuilder | ) | const |
Definition at line 213 of file SVals.cpp.
References getValue(), and clang::ento::SValBuilder::makeIntVal().
| const llvm::APSInt& clang::ento::nonloc::ConcreteInt::getValue | ( | ) | const [inline] |
Definition at line 343 of file SVals.h.
References clang::ento::SVal::Data.
Referenced by clang::ento::NonLoc::dumpToStream(), and evalBinOp().
Friends And Related Function Documentation
friend class SVal [friend] |
Reimplemented from clang::ento::NonLoc.
The documentation for this class was generated from the following files: