OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:SymExpr
(Results
1 - 15
of
15
) 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
() {}
77
SmallVector<const
SymExpr
*, 5> itr;
81
symbol_iterator(const
SymExpr
*SE);
84
const
SymExpr
* operator*();
98
typedef const
SymExpr
* SymbolRef;
104
class SymbolData : public
SymExpr
{
109
SymbolData(Kind k, SymbolID sym) :
SymExpr
(k), Sym(sym) {}
117
static inline bool classof(const
SymExpr
*SE)
[
all
...]
SValBuilder.h
73
bool haveSameType(const
SymExpr
*Sym1, const
SymExpr
*Sym2) {
268
NonLoc makeNonLoc(const
SymExpr
*lhs, BinaryOperator::Opcode op,
272
const
SymExpr
*lhs, QualType type);
274
NonLoc makeNonLoc(const
SymExpr
*lhs, BinaryOperator::Opcode op,
275
const
SymExpr
*rhs, QualType type);
278
NonLoc makeNonLoc(const
SymExpr
*operand, QualType fromTy, QualType toTy);
SVals.h
160
const
SymExpr
*getAsSymbolicExpression() const;
162
const
SymExpr
* getAsSymExpr() const;
169
SymExpr
::symbol_iterator symbol_begin() const {
170
const
SymExpr
*SE = getAsSymbolicExpression();
174
return
SymExpr
::symbol_iterator();
177
SymExpr
::symbol_iterator symbol_end() const {
178
return
SymExpr
::symbol_end();
310
return (const
SymExpr
*) Data;
ProgramState.h
808
bool scan(const
SymExpr
*sym);
/external/clang/lib/StaticAnalyzer/Core/
SymbolManager.cpp
24
void
SymExpr
::anchor() { }
26
void
SymExpr
::dump() const {
91
bool
SymExpr
::symbol_iterator::operator==(const symbol_iterator &X) const {
95
bool
SymExpr
::symbol_iterator::operator!=(const symbol_iterator &X) const {
99
SymExpr
::symbol_iterator::symbol_iterator(const
SymExpr
*SE) {
103
SymExpr
::symbol_iterator &
SymExpr
::symbol_iterator::operator++() {
109
SymbolRef
SymExpr
::symbol_iterator::operator*() {
114
void
SymExpr
::symbol_iterator::expand()
[
all
...]
SValBuilder.cpp
44
NonLoc SValBuilder::makeNonLoc(const
SymExpr
*lhs, BinaryOperator::Opcode op,
55
BinaryOperator::Opcode op, const
SymExpr
*rhs,
62
NonLoc SValBuilder::makeNonLoc(const
SymExpr
*lhs, BinaryOperator::Opcode op,
63
const
SymExpr
*rhs, QualType type) {
69
NonLoc SValBuilder::makeNonLoc(const
SymExpr
*operand,
229
const
SymExpr
*symLHS = LHS.getAsSymExpr();
230
const
SymExpr
*symRHS = RHS.getAsSymExpr();
ProgramState.cpp
489
bool ScanReachableSymbols::scan(const
SymExpr
*sym) {
498
// TODO: should be rewritten using
SymExpr
::symbol_iterator.
500
case
SymExpr
::RegionValueKind:
501
case
SymExpr
::ConjuredKind:
502
case
SymExpr
::DerivedKind:
503
case
SymExpr
::ExtentKind:
504
case
SymExpr
::MetadataKind:
506
case
SymExpr
::CastSymbolKind:
508
case
SymExpr
::SymIntKind:
510
case
SymExpr
::IntSymKind
[
all
...]
SimpleConstraintManager.h
44
const
SymExpr
*LHS,
SVals.cpp
113
const
SymExpr
*SVal::getAsSymbolicExpression() const {
120
const
SymExpr
* SVal::getAsSymExpr() const {
121
const
SymExpr
* Sym = getAsSymbol();
SimpleConstraintManager.cpp
29
const
SymExpr
*SE = SymVal->getSymbol();
235
const
SymExpr
*LHS,
Environment.cpp
208
SymExpr
::symbol_iterator SI = X.symbol_begin(), SE = X.symbol_end();
SimpleSValBuilder.cpp
47
SVal MakeSymIntVal(const
SymExpr
*LHS, BinaryOperator::Opcode op,
83
if (const
SymExpr
*se = val.getAsSymbolicExpression()) {
210
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 72 milliseconds