Home
last modified time | relevance | path

Searched refs:UndefinedVal (Results 1 – 15 of 15) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSVals.h196 class UndefinedVal : public SVal {
198 UndefinedVal() : SVal(UndefinedValKind) {} in UndefinedVal() function
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp150 return UndefinedVal(); in MakeSymIntVal()
158 return UndefinedVal(); in MakeSymIntVal()
561 return UndefinedVal(); in evalBinOpNN()
1088 return UndefinedVal(); in evalBinOpLN()
1301 return UndefinedVal(); in simplifySValOnce()
H A DEnvironment.cpp127 return UndefinedVal(); in getSVal()
H A DRegionStore.cpp1544 assert(!isa<UndefinedVal>(L) && "location undefined"); in getBinding()
1662 return UndefinedVal(); in getBinding()
1858 return UndefinedVal(); in convertOffsetsFromSvalToUnsigneds()
2056 return UndefinedVal(); in getDerivedSymbolForBinding()
2086 return UndefinedVal(); in getBindingForElement()
2312 return UndefinedVal(); in getBindingForFieldOrElementCommon()
2400 return UndefinedVal(); in getBindingForVar()
H A DStore.cpp414 return UndefinedVal(); in getLValueFieldOrIvar()
H A DSValBuilder.cpp497 return UndefinedVal(); in evalBinOp()
668 SVal VisitUndefinedVal(UndefinedVal V) { return V; } in VisitUndefinedVal()
H A DExprEngineCXX.cpp937 State = State->bindDefaultInitial(RetVal, UndefinedVal{}, LCtx); in VisitCXXNewAllocatorCall()
H A DCallEvent.cpp324 return UndefinedVal(); in getReturnValue()
H A DExprEngine.cpp2991 if (isa<UndefinedVal, loc::ConcreteInt>(V)) { in processIndirectGoto()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DMismatchedIteratorChecker.cpp166 SVal LHS = UndefinedVal(); in checkPreCall()
H A DMallocChecker.cpp1291 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkBasicAlloc()
1305 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkKernelMalloc()
1369 State = MallocMemAux(C, Call, Call.getArgExpr(0), UndefinedVal(), State, in checkAlloca()
1445 State = MallocMemAux(C, Call, CE->getArg(0), UndefinedVal(), State, in checkCXXNewOrCXXDelete()
1450 State = MallocMemAux(C, Call, CE->getArg(0), UndefinedVal(), State, in checkCXXNewOrCXXDelete()
1490 SVal Init = UndefinedVal(); in checkGMallocN()
2851 C, Call, TotalSize, UndefinedVal(), StatePtrIsNull, Family); in ReallocMemAux()
H A DContainerModeling.cpp40 SVal OldCont = UndefinedVal()) const;
H A DCStringChecker.cpp1061 return UndefinedVal(); in getCStringLength()
1127 return UndefinedVal(); in getCStringLength()
H A DStreamChecker.cpp1498 StateFailed = StateFailed->bindLoc(*NewLinePtr, UndefinedVal(), in evalGetdelim()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h74 std::string VisitUndefinedVal(UndefinedVal V) { in VisitUndefinedVal()