Home
last modified time | relevance | path

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

/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DCheckerContext.cpp127 if (LHSVal.isUnknownOrUndef()) in evalComparison()
133 if (LHSVal.isUnknownOrUndef() || !isa<NonLoc>(LHSVal)) in evalComparison()
140 if (Eval.isUnknownOrUndef()) in evalComparison()
H A DProgramState.cpp339 if (newIdx.isUnknownOrUndef()) in assumeInBoundDual()
347 if (newBound.isUnknownOrUndef()) in assumeInBoundDual()
353 if (inBound.isUnknownOrUndef()) in assumeInBoundDual()
H A DStore.cpp400 if (Base.isUnknownOrUndef()) in getLValueFieldOrIvar()
463 if (Base.isUnknownOrUndef() || isa<loc::ConcreteInt>(Base)) in getLValueElement()
H A DExprEngineC.cpp1023 if (V.isUnknownOrUndef()) { in VisitUnaryOperator()
1094 if (V2_untested.isUnknownOrUndef()) { in VisitIncrementDecrementOperator()
H A DSValBuilder.cpp122 if (val.isUnknownOrUndef()) in convertToArrayIndex()
H A DCallEvent.cpp719 assert(ThisVal.isUnknownOrUndef() || isa<Loc>(ThisVal)); in getCXXThisVal()
H A DRegionStore.cpp2039 if (val.isUnknownOrUndef()) in getBindingForDerivedDefaultValue()
2288 if (V.isUnknownOrUndef() || V.isConstant()) in getInterestingValues()
H A DExprEngine.cpp1206 if (InitVal.isUnknownOrUndef()) { in ProcessInitializer()
2694 if (X.isUnknownOrUndef()) { in assumeCondition()
2714 if (X.isUnknownOrUndef()) in assumeCondition()
H A DSimpleSValBuilder.cpp1173 if (V.isUnknownOrUndef()) in getConstValue()
H A DExprEngineCXX.cpp82 assert(V.isUnknownOrUndef()); in performTrivialCopy()
H A DBugReporterVisitors.cpp1016 if (V.isUnknownOrUndef()) in visitNodeInitial()
2870 CurrentState->getSVal(Cond, LCtx).isUnknownOrUndef(); in VisitTrueTest()
/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp297 if (x.isUnknownOrUndef() || y.isUnknownOrUndef()) in addValue()
319 if (!offset.isUnknownOrUndef()) in computeOffset()
344 if (offset.isUnknownOrUndef()) in computeOffset()
H A DObjCContainersChecker.cpp70 if (SizeV.isUnknownOrUndef()) in REGISTER_MAP_WITH_PROGRAMSTATE()
131 if (IdxVal.isUnknownOrUndef()) in checkPreStmt()
H A DUnixAPIChecker.cpp242 if (maskedFlagsUC.isUnknownOrUndef()) in CheckOpenVariant()
377 if (argVal.isUnknownOrUndef()) in BasicAllocationCheck()
404 if (argVal.isUnknownOrUndef()) { in CheckCallocZero()
H A DIteratorRangeChecker.cpp231 if (Value.isUnknownOrUndef()) in verifyRandomIncrOrDecr()
H A DMallocChecker.cpp1183 if (MaskedFlagsUC.isUnknownOrUndef()) in performKernelMalloc()
1915 if (ArgVal.isUnknownOrUndef()) in FreeMemAux()
/openbsd/gnu/llvm/llvm/lib/Transforms/Utils/
H A DSCCPSolver.cpp881 if (!BCValue.isUnknownOrUndef()) in getFeasibleSuccessors()
924 if (!SCValue.isUnknownOrUndef()) in getFeasibleSuccessors()
1086 if (OpSt.isUnknownOrUndef()) in visitCastInst()
1124 if (L.isUnknownOrUndef() || R.isUnknownOrUndef()) in handleExtractOfWithOverflow()
1221 if (CondValue.isUnknownOrUndef()) in visitSelectInst()
1253 if (V0State.isUnknownOrUndef()) in visitUnaryOperator()
1274 if (V1State.isUnknownOrUndef() || V2State.isUnknownOrUndef()) in visitBinaryOperator()
1340 if ((V1State.isUnknownOrUndef() || V2State.isUnknownOrUndef()) && in visitCmpInst()
1358 if (State.isUnknownOrUndef()) in visitGetElementPtrInst()
1424 if (PtrVal.isUnknownOrUndef()) in visitLoadInst()
[all …]
/openbsd/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSVals.h132 bool isUnknownOrUndef() const { in isUnknownOrUndef() function
247 bool isUnknownOrUndef() const = delete;
250 static bool classof(SVal V) { return !V.isUnknownOrUndef(); } in classof()
/openbsd/gnu/llvm/llvm/include/llvm/Analysis/
H A DValueLattice.h242 bool isUnknownOrUndef() const { return Tag == unknown || Tag == undef; } in isUnknownOrUndef() function
/openbsd/gnu/llvm/llvm/lib/Transforms/IPO/
H A DSCCP.cpp318 if (SCCPSolver::isConstant(ReturnValue) || ReturnValue.isUnknownOrUndef()) in runIPSCCP()
H A DFunctionSpecialization.cpp685 if (LV.isUnknownOrUndef() || LV.isConstant() || in isArgumentInteresting()