OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:SymIntExpr
(Results
1 - 5
of
5
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp
30
if (const
SymIntExpr
*SIE = dyn_cast<
SymIntExpr
>(SE)) {
180
const
SymIntExpr
*SE = dyn_cast<
SymIntExpr
>(sym);
222
const
SymIntExpr
*SE = dyn_cast<
SymIntExpr
>(LHS);
SymbolManager.cpp
53
void
SymIntExpr
::dumpToStream(raw_ostream &os) const {
152
itr.push_back(cast<
SymIntExpr
>(SE)->getLHS());
270
const
SymIntExpr
*SymbolManager::getSymIntExpr(const SymExpr *lhs,
275
SymIntExpr
::Profile(ID, lhs, op, v, t);
280
data = (
SymIntExpr
*) BPAlloc.Allocate<
SymIntExpr
>();
281
new (data)
SymIntExpr
(lhs, op, v, t);
285
return cast<
SymIntExpr
>(data);
SimpleSValBuilder.cpp
405
const
SymIntExpr
*
symIntExpr
=
406
dyn_cast<
SymIntExpr
>(selhs->getSymbol());
408
if (!
symIntExpr
)
415
BinaryOperator::Opcode opc =
symIntExpr
->getOpcode();
448
assert(
symIntExpr
->getType(Context) == resultTy);
449
return makeNonLoc(
symIntExpr
->getLHS(), opc,
450
symIntExpr
->getRHS(), resultTy);
462
BinaryOperator::Opcode lop =
symIntExpr
->getOpcode();
470
BasicVals.Convert(resultTy,
symIntExpr
->getRHS())
[
all
...]
ProgramState.cpp
518
return scan(cast<
SymIntExpr
>(sym)->getLHS());
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SymbolManager.h
345
///
SymIntExpr
- Represents symbolic expression like 'x' + 3.
346
class
SymIntExpr
: public SymExpr {
353
SymIntExpr
(const SymExpr *lhs, BinaryOperator::Opcode op,
526
const
SymIntExpr
*getSymIntExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
529
const
SymIntExpr
*getSymIntExpr(const SymExpr &lhs, BinaryOperator::Opcode op,
Completed in 216 milliseconds