#include <SVals.h>
Inheritance diagram for clang::ento::loc::ConcreteInt:
Collaboration diagram for clang::ento::loc::ConcreteInt:
Public Member Functions | |
| ConcreteInt (const llvm::APSInt &V) | |
| const llvm::APSInt & | getValue () const |
| SVal | evalBinOp (BasicValueFactory &BasicVals, BinaryOperator::Opcode Op, const ConcreteInt &R) const |
Friends | |
| class | SVal |
Detailed Description
Constructor & Destructor Documentation
| clang::ento::loc::ConcreteInt::ConcreteInt | ( | const llvm::APSInt & | V | ) | [inline, explicit] |
Member Function Documentation
| SVal loc::ConcreteInt::evalBinOp | ( | BasicValueFactory & | BasicVals, |
| BinaryOperator::Opcode | Op, | ||
| const ConcreteInt & | R | ||
| ) | const |
Definition at line 221 of file SVals.cpp.
References clang::BO_Sub, clang::ento::BasicValueFactory::evalAPSInt(), getValue(), getValue(), clang::BinaryOperator::isComparisonOp(), and X.
| const llvm::APSInt& clang::ento::loc::ConcreteInt::getValue | ( | ) | const [inline] |
Definition at line 533 of file SVals.h.
References clang::ento::SVal::Data.
Referenced by evalBinOp().
Friends And Related Function Documentation
friend class SVal [friend] |
Reimplemented from clang::ento::Loc.
The documentation for this class was generated from the following files: