Home
last modified time | relevance | path

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

/llvm-project-15.0.7/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.cpp340 if (newIdx.isUnknownOrUndef()) in assumeInBoundDual()
348 if (newBound.isUnknownOrUndef()) in assumeInBoundDual()
354 if (inBound.isUnknownOrUndef()) in assumeInBoundDual()
H A DStore.cpp399 if (Base.isUnknownOrUndef()) in getLValueFieldOrIvar()
462 if (Base.isUnknownOrUndef() || isa<loc::ConcreteInt>(Base)) in getLValueElement()
H A DExprEngineC.cpp1022 if (V.isUnknownOrUndef()) { in VisitUnaryOperator()
1094 if (V2_untested.isUnknownOrUndef()) { in VisitIncrementDecrementOperator()
H A DSValBuilder.cpp123 if (val.isUnknownOrUndef()) in convertToArrayIndex()
H A DExprEngine.cpp1041 if (InitVal.isUnknownOrUndef()) { in ProcessInitializer()
2371 if (X.isUnknownOrUndef()) { in assumeCondition()
2391 if (X.isUnknownOrUndef()) in assumeCondition()
H A DExprEngineCXX.cpp80 assert(V.isUnknownOrUndef()); in performTrivialCopy()
H A DCallEvent.cpp683 assert(ThisVal.isUnknownOrUndef() || isa<Loc>(ThisVal)); in getCXXThisVal()
H A DRegionStore.cpp2035 if (val.isUnknownOrUndef()) in getBindingForDerivedDefaultValue()
2283 if (V.isUnknownOrUndef() || V.isConstant()) in getInterestingValues()
H A DSimpleSValBuilder.cpp1170 if (V.isUnknownOrUndef()) in getConstValue()
H A DBugReporterVisitors.cpp1016 if (V.isUnknownOrUndef()) in visitNodeInitial()
2692 CurrentState->getSVal(Cond, LCtx).isUnknownOrUndef(); in VisitTrueTest()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp296 if (x.isUnknownOrUndef() || y.isUnknownOrUndef()) in addValue()
318 if (!offset.isUnknownOrUndef()) in computeOffset()
343 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.cpp1198 if (MaskedFlagsUC.isUnknownOrUndef()) in performKernelMalloc()
1926 if (ArgVal.isUnknownOrUndef()) in FreeMemAux()
/llvm-project-15.0.7/llvm/lib/Transforms/Utils/
H A DSCCPSolver.cpp611 if (!BCValue.isUnknownOrUndef()) in getFeasibleSuccessors()
654 if (!SCValue.isUnknownOrUndef()) in getFeasibleSuccessors()
667 if (!IBRValue.isUnknownOrUndef()) in getFeasibleSuccessors()
816 if (OpSt.isUnknownOrUndef()) in visitCastInst()
925 if (CondValue.isUnknownOrUndef()) in visitSelectInst()
957 if (V0State.isUnknownOrUndef()) in visitUnaryOperator()
978 if (V1State.isUnknownOrUndef() || V2State.isUnknownOrUndef()) in visitBinaryOperator()
1050 if ((V1State.isUnknownOrUndef() || V2State.isUnknownOrUndef()) && in visitCmpInst()
1068 if (State.isUnknownOrUndef()) in visitGetElementPtrInst()
1134 if (PtrVal.isUnknownOrUndef()) in visitLoadInst()
[all …]
/llvm-project-15.0.7/llvm/include/llvm/Analysis/
H A DValueLattice.h242 bool isUnknownOrUndef() const { return Tag == unknown || Tag == undef; } in isUnknownOrUndef() function
456 if (isUnknownOrUndef() || Other.isUnknownOrUndef()) in getCompare()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSVals.h133 bool isUnknownOrUndef() const { in isUnknownOrUndef() function
248 bool isUnknownOrUndef() const = delete;
251 static bool classof(SVal V) { return !V.isUnknownOrUndef(); } in classof()
/llvm-project-15.0.7/llvm/lib/Transforms/Scalar/
H A DSCCP.cpp91 return !LV.isUnknownOrUndef() && !isConstant(LV); in isOverdefined()
670 if (isConstant(ReturnValue) || ReturnValue.isUnknownOrUndef()) in runIPSCCP()
/llvm-project-15.0.7/llvm/lib/Transforms/IPO/
H A DFunctionSpecialization.cpp138 return !LV.isUnknownOrUndef() && !isConstant(LV); in isOverdefined()