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
31
if (const
SymIntExpr
*SIE = dyn_cast<
SymIntExpr
>(SE)) {
140
} else if (const
SymIntExpr
*SE = dyn_cast<
SymIntExpr
>(sym)) {
195
if (const
SymIntExpr
*SE = dyn_cast<
SymIntExpr
>(Sym)) {
SymbolManager.cpp
30
void
SymIntExpr
::dumpToStream(raw_ostream &os) const {
128
itr.push_back(cast<
SymIntExpr
>(SE)->getLHS());
253
const
SymIntExpr
*SymbolManager::getSymIntExpr(const SymExpr *lhs,
258
SymIntExpr
::Profile(ID, lhs, op, v, t);
263
data = (
SymIntExpr
*) BPAlloc.Allocate<
SymIntExpr
>();
264
new (data)
SymIntExpr
(lhs, op, v, t);
268
return cast<
SymIntExpr
>(data);
468
KnownLive = isLive(cast<
SymIntExpr
>(sym)->getLHS());
SimpleSValBuilder.cpp
430
if (const
SymIntExpr
*
symIntExpr
= dyn_cast<
SymIntExpr
>(Sym)) {
436
BinaryOperator::Opcode opc =
symIntExpr
->getOpcode();
469
assert(
symIntExpr
->getType()->isBooleanType() ||
470
getContext().hasSameUnqualifiedType(
symIntExpr
->getType(),
474
return makeNonLoc(
symIntExpr
->getLHS(), opc,
475
symIntExpr
->getRHS(), resultTy);
484
BinaryOperator::Opcode lop =
symIntExpr
->getOpcode();
494
const llvm::APSInt &first = IntType.convert(
symIntExpr
->getRHS())
[
all
...]
ProgramState.cpp
548
return scan(cast<
SymIntExpr
>(sym)->getLHS());
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SymbolManager.h
368
class
SymIntExpr
: public BinarySymExpr {
373
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 73 milliseconds