OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:SymExpr
(Results
1 - 14
of
14
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SymbolManager.h
45
class
SymExpr
: public llvm::FoldingSetNode {
57
SymExpr
(Kind k) : K(k) {}
60
virtual ~
SymExpr
() {}
72
static inline bool classof(const
SymExpr
*) { return true; }
80
SmallVector<const
SymExpr
*, 5> itr;
84
symbol_iterator(const
SymExpr
*SE);
87
const
SymExpr
* operator*();
99
typedef const
SymExpr
* SymbolRef;
105
class SymbolData : public
SymExpr
{
110
SymbolData(Kind k, SymbolID sym) :
SymExpr
(k), Sym(sym) {
[
all
...]
SVals.h
138
const
SymExpr
*getAsSymbolicExpression() const;
140
const
SymExpr
* getAsSymExpr() const;
147
SymExpr
::symbol_iterator symbol_begin() const {
148
const
SymExpr
*SE = getAsSymbolicExpression();
152
return
SymExpr
::symbol_iterator();
155
SymExpr
::symbol_iterator symbol_end() const {
156
return
SymExpr
::symbol_end();
273
return (const
SymExpr
*) Data;
SValBuilder.h
73
bool haveSameType(const
SymExpr
*Sym1, const
SymExpr
*Sym2) {
270
NonLoc makeNonLoc(const
SymExpr
*lhs, BinaryOperator::Opcode op,
274
const
SymExpr
*lhs, QualType type);
276
NonLoc makeNonLoc(const
SymExpr
*lhs, BinaryOperator::Opcode op,
277
const
SymExpr
*rhs, QualType type);
280
NonLoc makeNonLoc(const
SymExpr
*operand, QualType fromTy, QualType toTy);
ProgramState.h
784
bool scan(const
SymExpr
*sym);
/external/clang/lib/StaticAnalyzer/Core/
SymbolManager.cpp
24
void
SymExpr
::anchor() { }
26
void
SymExpr
::dump() const {
110
bool
SymExpr
::symbol_iterator::operator==(const symbol_iterator &X) const {
114
bool
SymExpr
::symbol_iterator::operator!=(const symbol_iterator &X) const {
118
SymExpr
::symbol_iterator::symbol_iterator(const
SymExpr
*SE) {
123
SymExpr
::symbol_iterator &
SymExpr
::symbol_iterator::operator++() {
132
SymbolRef
SymExpr
::symbol_iterator::operator*() {
137
void
SymExpr
::symbol_iterator::expand()
[
all
...]
SValBuilder.cpp
43
NonLoc SValBuilder::makeNonLoc(const
SymExpr
*lhs, BinaryOperator::Opcode op,
54
BinaryOperator::Opcode op, const
SymExpr
*rhs,
61
NonLoc SValBuilder::makeNonLoc(const
SymExpr
*lhs, BinaryOperator::Opcode op,
62
const
SymExpr
*rhs, QualType type) {
69
NonLoc SValBuilder::makeNonLoc(const
SymExpr
*operand,
204
const
SymExpr
*symLHS;
205
const
SymExpr
*symRHS;
ProgramState.cpp
498
bool ScanReachableSymbols::scan(const
SymExpr
*sym) {
507
// TODO: should be rewritten using
SymExpr
::symbol_iterator.
509
case
SymExpr
::RegionValueKind:
510
case
SymExpr
::ConjuredKind:
511
case
SymExpr
::DerivedKind:
512
case
SymExpr
::ExtentKind:
513
case
SymExpr
::MetadataKind:
515
case
SymExpr
::CastSymbolKind:
517
case
SymExpr
::SymIntKind:
519
case
SymExpr
::IntSymKind
[
all
...]
SimpleConstraintManager.h
42
const
SymExpr
*LHS,
SVals.cpp
111
const
SymExpr
*SVal::getAsSymbolicExpression() const {
118
const
SymExpr
* SVal::getAsSymExpr() const {
119
const
SymExpr
* Sym = getAsSymbol();
SimpleConstraintManager.cpp
28
const
SymExpr
*SE = SymVal->getSymbol();
212
static llvm::APSInt computeAdjustment(const
SymExpr
*LHS,
243
const
SymExpr
*LHS,
SimpleSValBuilder.cpp
46
SVal MakeSymIntVal(const
SymExpr
*LHS, BinaryOperator::Opcode op,
82
if (const
SymExpr
*se = val.getAsSymbolicExpression()) {
207
SVal SimpleSValBuilder::MakeSymIntVal(const
SymExpr
*LHS,
[
all
...]
RegionStore.cpp
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
PathDiagnostic.h
44
class
SymExpr
;
45
typedef const
SymExpr
* SymbolRef;
/external/clang/lib/StaticAnalyzer/Checkers/
CStringChecker.cpp
[
all
...]
Completed in 281 milliseconds