| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | TestAfterDivZeroChecker.cpp | 120 if (ZeroSymbol == S.getAsSymbol() && SFC == Succ->getStackFrame()) { in REGISTER_SET_WITH_PROGRAMSTATE()
149 SymbolRef SR = Var.getAsSymbol(); in setDivZeroMap()
161 SymbolRef SR = Var.getAsSymbol(); in hasDivZeroMap()
179 R->addVisitor(llvm::make_unique<DivisionBRVisitor>(Val.getAsSymbol(), in reportBug()
|
| D | ObjCSuperDeallocChecker.cpp | 91 SymbolRef ReceiverSymbol = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
126 SymbolRef ReceiverSymbol = M.getSelfSVal().getAsSymbol(); in checkPostObjCMessage()
211 SymbolRef Sym = CE.getArgSVal(I).getAsSymbol(); in diagnoseCallArguments()
|
| D | CheckObjCDealloc.cpp | 269 SymbolRef SelfSymbol = SelfVal.getAsSymbol(); in checkBeginFunction()
297 SymbolRef Symbol = InitialVal.getAsSymbol(); in checkBeginFunction()
345 ReleasedValue = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
347 if (diagnoseMistakenDealloc(M.getReceiverSVal().getAsSymbol(), M, C)) in checkPreObjCMessage()
379 SymbolRef ReleasedValue = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
506 SymbolRef SelfSym = SelfVal.getAsSymbol(); in diagnoseMissingReleases()
962 return CurrentValInIvar.getAsSymbol(); in getValueReleasedByNillingOut()
|
| D | ObjCContainersChecker.cpp | 43 SymbolRef ArraySym = ArrayRef.getAsSymbol(); in getArraySym()
76 SymbolRef ArraySym = ArrayRef.getAsSymbol(); in REGISTER_MAP_WITH_PROGRAMSTATE()
|
| D | ObjCSelfInitChecker.cpp | 108 if (SymbolRef sym = val.getAsSymbol()) in REGISTER_MAP_WITH_PROGRAMSTATE()
121 if (SymbolRef sym = val.getAsSymbol()) { in addSelfFlag()
332 if (SymbolRef sym = loc.getAsSymbol()) in checkBind()
|
| D | SimpleStreamChecker.cpp | 127 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol(); in checkPostCall()
146 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
|
| D | DynamicTypePropagation.cpp | 555 SymbolRef Sym = State->getSVal(CE, C.getLocationContext()).getAsSymbol(); in checkPostStmt()
709 SymbolRef Sym = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
757 SymbolRef ArgSym = ArgSVal.getAsSymbol(); in checkPreObjCMessage()
789 SymbolRef RetSym = M.getReturnValue().getAsSymbol(); in checkPostObjCMessage()
818 SymbolRef RecSym = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()
|
| D | NSErrorChecker.cpp | 175 if (SymbolRef sym = val.getAsSymbol()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
184 if (SymbolRef sym = val.getAsSymbol()) in setFlag()
|
| D | MallocChecker.cpp | 968 if (SymbolRef Sym = C.getSVal(*I).getAsSymbol()) in checkPostStmt()
993 if (SymbolRef Sym = C.getSVal(DE->getArgument()).getAsSymbol()) in checkPreStmt()
1442 SymbolRef RetStatusSymbol = RetVal.getAsSymbol(); in FreeMemAux()
1952 SymbolRef FromPtr = arg0Val.getAsSymbol(); in ReallocMem()
1954 SymbolRef ToPtr = RetVal.getAsSymbol(); in ReallocMem()
2185 SymbolRef Sym = DC->getCXXThisVal().getAsSymbol(); in checkPreCall()
2210 SymbolRef Sym = CC->getCXXThisVal().getAsSymbol(); in checkPreCall()
2219 SymbolRef Sym = ArgSVal.getAsSymbol(); in checkPreCall()
2236 SymbolRef Sym = RetVal.getAsSymbol(); in checkPreStmt()
2439 EscapingSymbol = Msg->getReceiverSVal().getAsSymbol(); in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
|
| D | BasicObjCFoundationChecks.cpp | 980 State->getSVal(FCS->getCollection(), C.getLocationContext()).getAsSymbol(); in assumeCollectionNonEmpty()
1056 SymbolRef ContainerS = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()
1066 SymbolRef CountS = C.getSVal(MsgExpr).getAsSymbol(); in checkPostObjCMessage()
1117 return Message->getReceiverSVal().getAsSymbol(); in getMethodReceiverIfKnownImmutable()
|
| D | StreamChecker.cpp | 226 if (SymbolRef Sym = RetVal.getAsSymbol()) { in OpenFileAux()
368 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsSymbol(); in CheckDoubleClose()
|
| D | ExprInspectionChecker.cpp | 175 SymbolRef Sym = Val.getAsSymbol(); in analyzerWarnOnDeadSymbol()
|
| D | RetainCountChecker.cpp | 2266 if (ME->getMethodFamily() == OMF_init && RecV.getAsSymbol() == Sym) in GetAllocationSite()
2786 if (SymbolRef sym = V.getAsSymbol()) in processObjCLiterals()
2800 state->getSVal(Ex, pred->getLocationContext()).getAsSymbol()) { in processObjCLiterals()
2827 if (SymbolRef Sym = State->getSVal(Ex, LCtx).getAsSymbol()) { in checkPostStmt()
2843 SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol(); in checkPostStmt()
2960 SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol(); in processSummaryOfInlined()
3076 SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol(); in checkSummary()
3094 SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol(); in checkSummary()
|
| D | MacOSKeychainAPIChecker.cpp | 476 State->getSVal(CE, C.getLocationContext()).getAsSymbol(); in checkPostStmt()
|
| D | GenericTaintChecker.cpp | 441 return Val.getAsSymbol(); in getPointedToSymbol()
|
| D | NullabilityChecker.cpp | 1102 if (SymbolRef Sym = ValDefOrUnknown->getAsSymbol()) in checkBind()
|
| D | CStringChecker.cpp | 2202 if (SymbolRef Sym = Len.getAsSymbol()) { in checkDeadSymbols()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SVals.cpp | 111 SymbolRef SVal::getAsSymbol(bool IncludeBaseRegion) const { in getAsSymbol() function in SVal
125 return getAsSymbol(); in getAsSymbolicExpression()
129 const SymExpr* Sym = getAsSymbol(); in getAsSymExpr()
|
| D | ProgramState.cpp | 259 if (SymbolRef sym = V.getAsSymbol()) { in getSVal()
357 SymbolRef Sym = V.getAsSymbol(/* IncludeBaseRegion */ true); in isNull()
570 if (SymbolRef Sym = val.getAsSymbol()) in scan()
657 SymbolRef Sym = getSVal(S, LCtx).getAsSymbol(); in addTaint()
|
| D | SimpleConstraintManager.cpp | 215 if (SymbolRef Sym = Value.getAsSymbol()) in assumeWithinInclusiveRange()
|
| D | RegionStore.cpp | 976 if (SymbolRef Sym = V.getAsSymbol()) in VisitBinding()
1632 if (SymbolRef parentSym = V->getAsSymbol()) in getBindingForElement()
1667 if (SymbolRef parentSym = val.getAsSymbol()) in getBindingForDerivedDefaultValue()
1811 if (SymbolRef parentSym = V->getAsSymbol()) in getBindingForObjCIvar()
|
| D | SValBuilder.cpp | 486 if (SymbolRef Sym = val.getAsSymbol(true)) { in evalCast()
|
| D | SimpleSValBuilder.cpp | 940 if (SymbolRef Sym = V.getAsSymbol()) in getKnownValue()
|
| D | BugReporter.cpp | 2617 markInteresting(V.getAsSymbol()); in markInteresting()
2627 return isInteresting(V.getAsRegion()) || isInteresting(V.getAsSymbol()); in isInteresting()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SVals.h | 164 SymbolRef getAsSymbol(bool IncludeBaseRegions = false) const;
|