HomeSort by relevance Sort by last modified time
    Searched refs:DefinedSVal (Results 1 - 19 of 19) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 36 virtual const GRState *assume(const GRState *state, DefinedSVal Cond,
40 DefinedSVal Cond) {
SVals.h 220 class DefinedSVal : public DefinedOrUnknownSVal {
228 explicit DefinedSVal(const void* d, bool isLoc, unsigned ValKind)
237 class NonLoc : public DefinedSVal {
240 : DefinedSVal(d, false, SubKind) {}
251 class Loc : public DefinedSVal {
254 : DefinedSVal(const_cast<void*>(D), true, SubKind) {}
259 Loc(const Loc& X) : DefinedSVal(X.Data, true, X.getSubKind()) {}
SValBuilder.h 144 DefinedSVal getMetadataSymbolVal(
148 DefinedSVal getFunctionPointer(const FunctionDecl *func);
150 DefinedSVal getBlockPointer(const BlockDecl *block, CanQualType locTy,
194 DefinedSVal makeIntVal(uint64_t integer, QualType type) {
GRState.h 643 return getStateManager().ConstraintMgr->assume(this, cast<DefinedSVal>(Cond),
653 cast<DefinedSVal>(Cond));
  /external/clang/lib/StaticAnalyzer/Checkers/
DivZeroChecker.cpp 46 const DefinedSVal *DV = dyn_cast<DefinedSVal>(&Denom);
AttrNonNullChecker.cpp 59 DefinedSVal *DV = dyn_cast<DefinedSVal>(&V);
76 DV = dyn_cast<DefinedSVal>(&V);
UnixAPIChecker.cpp 101 DefinedSVal maskedFlags = cast<DefinedSVal>(maskedFlagsUC);
192 llvm::tie(trueState, falseState) = state->assume(cast<DefinedSVal>(argVal));
VLASizeChecker.cpp 79 DefinedSVal sizeD = cast<DefinedSVal>(sizeV);
ObjCAtSyncChecker.cpp 63 llvm::tie(notNullState, nullState) = state->assume(cast<DefinedSVal>(V));
PthreadLockChecker.cpp 112 DefinedSVal retVal = cast<DefinedSVal>(X);
BasicObjCFoundationChecks.cpp 391 DefinedSVal *DefArgVal = dyn_cast<DefinedSVal>(&ArgVal);
397 DefinedSVal zero = cast<DefinedSVal>(svalBuilder.makeZeroVal(Arg->getType()));
StreamChecker.cpp 227 DefinedSVal RetVal =
228 cast<DefinedSVal>(svalBuilder.getConjuredSymbolVal(0, CE, Count));
343 const DefinedSVal *DV = dyn_cast<DefinedSVal>(&SV);
CStringChecker.cpp 168 DefinedSVal *val = dyn_cast<DefinedSVal>(&V);
    [all...]
  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.h 36 const GRState *assume(const GRState *state, DefinedSVal Cond,
SValBuilder.cpp 119 DefinedSVal SValBuilder::getMetadataSymbolVal(const void *symbolTag,
150 DefinedSVal SValBuilder::getFunctionPointer(const FunctionDecl* func) {
154 DefinedSVal SValBuilder::getBlockPointer(const BlockDecl *block,
BugReporterVisitors.cpp 231 DefinedSVal Constraint;
235 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption)
302 DefinedSVal Constraint,
SimpleConstraintManager.cpp 60 DefinedSVal Cond,
GRState.cpp 315 return CM.assume(this, cast<DefinedSVal>(inBound), Assumption);
ExprEngine.cpp     [all...]

Completed in 933 milliseconds