Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCheckerContext.cpp142 if (LHSVal.isUnknownOrUndef()) in evalComparison()
148 if (LHSVal.isUnknownOrUndef() || !isa<NonLoc>(LHSVal)) in evalComparison()
155 if (Eval.isUnknownOrUndef()) in evalComparison()
H A DProgramState.cpp338 if (newIdx.isUnknownOrUndef()) in assumeInBoundDual()
346 if (newBound.isUnknownOrUndef()) in assumeInBoundDual()
352 if (inBound.isUnknownOrUndef()) in assumeInBoundDual()
H A DStore.cpp401 if (Base.isUnknownOrUndef()) in getLValueFieldOrIvar()
464 if (Base.isUnknownOrUndef() || isa<loc::ConcreteInt>(Base)) in getLValueElement()
H A DExprEngineC.cpp1052 if (V.isUnknownOrUndef()) { in VisitUnaryOperator()
1122 if (V2_untested.isUnknownOrUndef()) { in VisitIncrementDecrementOperator()
H A DSValBuilder.cpp118 if (val.isUnknownOrUndef()) in convertToArrayIndex()
H A DExprEngine.cpp1213 if (InitVal.isUnknownOrUndef()) { in ProcessInitializer()
2784 if (X.isUnknownOrUndef()) { in assumeCondition()
2804 if (X.isUnknownOrUndef()) in assumeCondition()
H A DExprEngineCXX.cpp84 assert(V.isUnknownOrUndef()); in performTrivialCopy()
H A DCallEvent.cpp756 assert(ThisVal.isUnknownOrUndef() || isa<Loc>(ThisVal)); in getCXXThisVal()
H A DRegionStore.cpp2185 if (val.isUnknownOrUndef()) in getBindingForDerivedDefaultValue()
2431 if (V.isUnknownOrUndef() || V.isConstant()) in getInterestingValues()
H A DBugReporterVisitors.cpp953 if (V.isUnknownOrUndef()) in visitNodeInitial()
2859 CurrentState->getSVal(Cond, LCtx).isUnknownOrUndef(); in VisitTrueTest()
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DSCCPSolver.cpp56 return !LV.isUnknownOrUndef() && !SCCPSolver::isConstant(LV); in isOverdefined()
1178 if (!BCValue.isUnknownOrUndef()) in getFeasibleSuccessors()
1226 if (!SCValue.isUnknownOrUndef()) in getFeasibleSuccessors()
1240 if (!IBRValue.isUnknownOrUndef()) in getFeasibleSuccessors()
1382 if (OpSt.isUnknownOrUndef()) in visitCastInst()
1416 if (L.isUnknownOrUndef() || R.isUnknownOrUndef()) in handleExtractOfWithOverflow()
1513 if (CondValue.isUnknownOrUndef()) in visitSelectInst()
1547 if (V0State.isUnknownOrUndef()) in visitUnaryOperator()
1572 if (V0State.isUnknownOrUndef()) in visitFreezeInst()
1592 if (V1State.isUnknownOrUndef() || V2State.isUnknownOrUndef()) in visitBinaryOperator()
[all …]
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSVals.h109 bool isUnknownOrUndef() const { return isUnknown() || isUndef(); } in isUnknownOrUndef() function
111 bool isValid() const { return !isUnknownOrUndef(); } in isValid()
228 bool isUnknownOrUndef() const = delete;
231 static bool classof(SVal V) { return !V.isUnknownOrUndef(); } in classof()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DObjCContainersChecker.cpp65 if (SizeV.isUnknownOrUndef()) in REGISTER_MAP_WITH_PROGRAMSTATE()
126 if (IdxVal.isUnknownOrUndef()) in checkPreStmt()
H A DUnixAPIChecker.cpp283 if (maskedFlagsUC.isUnknownOrUndef()) in CheckOpenVariant()
514 if (argVal.isUnknownOrUndef()) in BasicAllocationCheck()
541 if (argVal.isUnknownOrUndef()) { in CheckCallocZero()
H A DIteratorRangeChecker.cpp230 if (Value.isUnknownOrUndef() || !isa<NonLoc>(Value)) in verifyRandomIncrOrDecr()
H A DMallocChecker.cpp1259 if (MaskedFlagsUC.isUnknownOrUndef()) in performKernelMalloc()
1557 if (!LinePtrOpt || !SizeOpt || LinePtrOpt->isUnknownOrUndef() || in checkGetDelimOrGetLine()
1558 SizeOpt->isUnknownOrUndef()) in checkGetDelimOrGetLine()
2224 if (ArgVal.isUnknownOrUndef()) in FreeMemAux()
/freebsd/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DValueLattice.h237 bool isUnknownOrUndef() const { return Tag == unknown || Tag == undef; } in isUnknownOrUndef() function
/freebsd/contrib/llvm-project/llvm/lib/Transforms/IPO/
H A DSCCP.cpp273 if (SCCPSolver::isConstant(ReturnValue) || ReturnValue.isUnknownOrUndef()) in runIPSCCP()