Home
last modified time | relevance | path

Searched refs:getAsSymbol (Results 1 – 18 of 18) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DObjCContainersChecker.cpp42 SymbolRef ArraySym = ArrayRef.getAsSymbol(); in getArraySym()
71 SymbolRef ArraySym = ArrayRef.getAsSymbol(); in REGISTER_MAP_WITH_PROGRAMSTATE()
DObjCSelfInitChecker.cpp113 if (SymbolRef sym = val.getAsSymbol()) in REGISTER_MAP_WITH_PROGRAMSTATE()
126 if (SymbolRef sym = val.getAsSymbol()) { in addSelfFlag()
335 if (SymbolRef sym = loc.getAsSymbol()) in checkBind()
DSimpleStreamChecker.cpp132 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol(); in checkPostCall()
156 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
DNSErrorChecker.cpp173 if (SymbolRef sym = val.getAsSymbol()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
182 if (SymbolRef sym = val.getAsSymbol()) in setFlag()
DMallocChecker.cpp651 if (SymbolRef Sym = C.getSVal(*I).getAsSymbol()) in checkPostStmt()
671 if (SymbolRef Sym = C.getSVal(DE->getArgument()).getAsSymbol()) in checkPreStmt()
1072 SymbolRef RetStatusSymbol = RetVal.getAsSymbol(); in FreeMemAux()
1462 SymbolRef FromPtr = arg0Val.getAsSymbol(); in ReallocMem()
1464 SymbolRef ToPtr = RetVal.getAsSymbol(); in ReallocMem()
1702 SymbolRef Sym = CC->getCXXThisVal().getAsSymbol(); in checkPreCall()
1711 SymbolRef Sym = ArgSVal.getAsSymbol(); in checkPreCall()
1728 SymbolRef Sym = RetVal.getAsSymbol(); in checkPreStmt()
1906 EscapingSymbol = Msg->getReceiverSVal().getAsSymbol(); in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
DStreamChecker.cpp223 if (SymbolRef Sym = RetVal.getAsSymbol()) { in OpenFileAux()
365 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsSymbol(); in CheckDoubleClose()
DBasicObjCFoundationChecks.cpp906 SymbolRef CollectionS = C.getSVal(FCS->getCollection()).getAsSymbol(); in assumeCollectionNonEmpty()
1006 SymbolRef ContainerS = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()
1016 SymbolRef CountS = C.getSVal(MsgExpr).getAsSymbol(); in checkPostObjCMessage()
DRetainCountChecker.cpp2201 if (ME->getMethodFamily() == OMF_init && RecV.getAsSymbol() == Sym) in GetAllocationSite()
2721 if (SymbolRef sym = V.getAsSymbol()) in processObjCLiterals()
2735 state->getSVal(Ex, pred->getLocationContext()).getAsSymbol()) { in processObjCLiterals()
2762 if (SymbolRef Sym = State->getSVal(Ex, LCtx).getAsSymbol()) { in checkPostStmt()
2842 SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol(); in processSummaryOfInlined()
2921 SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol(); in checkSummary()
2940 SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol(); in checkSummary()
DMacOSKeychainAPIChecker.cpp478 State->getSVal(CE, C.getLocationContext()).getAsSymbol(); in checkPostStmt()
DGenericTaintChecker.cpp442 return Val.getAsSymbol(); in getPointedToSymbol()
DCStringChecker.cpp2009 if (SymbolRef Sym = Len.getAsSymbol()) { in checkDeadSymbols()
/external/clang/lib/StaticAnalyzer/Core/
DSVals.cpp111 SymbolRef SVal::getAsSymbol(bool IncludeBaseRegion) const { in getAsSymbol() function in SVal
125 return getAsSymbol(); in getAsSymbolicExpression()
129 const SymExpr* Sym = getAsSymbol(); in getAsSymExpr()
DProgramState.cpp280 if (SymbolRef sym = V.getAsSymbol()) { in getSVal()
378 SymbolRef Sym = V.getAsSymbol(/* IncludeBaseRegion */ true); in isNull()
587 if (SymbolRef Sym = val.getAsSymbol()) in scan()
676 SymbolRef Sym = getSVal(S, LCtx).getAsSymbol(); in addTaint()
DRegionStore.cpp970 if (SymbolRef Sym = V.getAsSymbol()) in VisitBinding()
1545 if (SymbolRef parentSym = V->getAsSymbol()) in getBindingForElement()
1580 if (SymbolRef parentSym = val.getAsSymbol()) in getBindingForDerivedDefaultValue()
1724 if (SymbolRef parentSym = V->getAsSymbol()) in getBindingForObjCIvar()
DSValBuilder.cpp408 if (SymbolRef Sym = val.getAsSymbol()) { in evalCast()
DSimpleSValBuilder.cpp919 if (SymbolRef Sym = V.getAsSymbol()) in getKnownValue()
DBugReporter.cpp2592 markInteresting(V.getAsSymbol()); in markInteresting()
2602 return isInteresting(V.getAsRegion()) || isInteresting(V.getAsSymbol()); in isInteresting()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSVals.h164 SymbolRef getAsSymbol(bool IncludeBaseRegions = false) const;