#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 |
Static Public Member Functions | |
| static bool | classof (const SVal *V) |
| static bool | classof (const Loc *V) |
Detailed Description
Constructor & Destructor Documentation
| clang::ento::loc::ConcreteInt::ConcreteInt | ( | const llvm::APSInt & | V | ) | [inline, explicit] |
Member Function Documentation
| static bool clang::ento::loc::ConcreteInt::classof | ( | const SVal * | V | ) | [inline, static] |
Reimplemented from clang::ento::Loc.
Definition at line 473 of file SVals.h.
References clang::ento::loc::ConcreteIntKind, clang::ento::SVal::getBaseKind(), clang::ento::SVal::getSubKind(), and clang::ento::SVal::LocKind.
| static bool clang::ento::loc::ConcreteInt::classof | ( | const Loc * | V | ) | [inline, static] |
Definition at line 478 of file SVals.h.
References clang::ento::loc::ConcreteIntKind, and clang::ento::SVal::getSubKind().
| SVal loc::ConcreteInt::evalBinOp | ( | BasicValueFactory & | BasicVals, |
| BinaryOperator::Opcode | Op, | ||
| const ConcreteInt & | R | ||
| ) | const |
Definition at line 226 of file SValBuilder.cpp.
References clang::BO_Add, clang::ento::SValBuilder::evalBinOpLL(), clang::ento::SValBuilder::evalBinOpLN(), clang::ento::SValBuilder::evalBinOpNN(), clang::ento::SVal::isUndef(), and clang::ento::SVal::isUnknown().
| const llvm::APSInt& clang::ento::loc::ConcreteInt::getValue | ( | ) | const [inline] |
Definition at line 464 of file SVals.h.
References clang::ento::SVal::Data.
The documentation for this class was generated from the following files: