Searched refs:isUnknownOrUndef (Results 1 – 21 of 21) sorted by relevance
570 if (!BCValue.isUnknownOrUndef()) in getFeasibleSuccessors()613 if (!SCValue.isUnknownOrUndef()) in getFeasibleSuccessors()626 if (!IBRValue.isUnknownOrUndef()) in getFeasibleSuccessors()799 } else if (!OpSt.isUnknownOrUndef()) in visitCastInst()879 if (CondValue.isUnknownOrUndef()) in visitSelectInst()936 if (V1State.isUnknownOrUndef() || V2State.isUnknownOrUndef()) in visitBinaryOperator()1010 if ((V1State.isUnknownOrUndef() || V2State.isUnknownOrUndef()) && in visitCmpInst()1028 if (State.isUnknownOrUndef()) in visitGetElementPtrInst()1096 if (PtrVal.isUnknownOrUndef()) in visitLoadInst()1161 if (State.isUnknownOrUndef()) in handleCallOverdefined()[all …]
103 if (LHSVal.isUnknownOrUndef()) in evalComparison()109 if (LHSVal.isUnknownOrUndef() || !LHSVal.getAs<NonLoc>()) in evalComparison()116 if (Eval.isUnknownOrUndef()) in evalComparison()
344 if (newIdx.isUnknownOrUndef()) in assumeInBound()352 if (newBound.isUnknownOrUndef()) in assumeInBound()358 if (inBound.isUnknownOrUndef()) in assumeInBound()
398 if (Base.isUnknownOrUndef()) in getLValueFieldOrIvar()448 if (Base.isUnknownOrUndef() || Base.getAs<loc::ConcreteInt>()) in getLValueElement()
1032 if (V.isUnknownOrUndef()) { in VisitUnaryOperator()1102 if (V2_untested.isUnknownOrUndef()) { in VisitIncrementDecrementOperator()
1721 if (V->isUnknownOrUndef()) in getBindingForElement()1789 if (val.isUnknownOrUndef()) in getBindingForDerivedDefaultValue()2033 if (V.isUnknownOrUndef() || V.isConstant()) in getInterestingValues()
100 if (val.isUnknownOrUndef()) in convertToArrayIndex()
872 if (InitVal.isUnknownOrUndef()) { in ProcessInitializer()2185 if (X.isUnknownOrUndef()) { in assumeCondition()2205 if (X.isUnknownOrUndef()) in assumeCondition()
80 assert(V.isUnknownOrUndef()); in performTrivialCopy()
715 assert(ThisVal.isUnknownOrUndef() || ThisVal.getAs<Loc>()); in getCXXThisVal()
1098 if (V.isUnknownOrUndef()) in getKnownValue()
1043 if (V.isUnknownOrUndef()) in visitNodeInitial()2389 CurrentState->getSVal(Cond, LCtx).isUnknownOrUndef(); in VisitTrueTest()
297 if (x.isUnknownOrUndef() || y.isUnknownOrUndef()) in addValue()319 if (!offset.isUnknownOrUndef()) in computeOffset()344 if (offset.isUnknownOrUndef()) in computeOffset()
73 if (SizeV.isUnknownOrUndef()) in REGISTER_MAP_WITH_PROGRAMSTATE()134 if (IdxVal.isUnknownOrUndef()) in checkPreStmt()
244 if (maskedFlagsUC.isUnknownOrUndef()) in CheckOpenVariant()379 if (argVal.isUnknownOrUndef()) in BasicAllocationCheck()406 if (argVal.isUnknownOrUndef()) { in CheckCallocZero()
231 if (Value.isUnknownOrUndef()) in verifyRandomIncrOrDecr()
658 if (AddrVal.isUnknownOrUndef()) in getPointeeOf()
986 if (MaskedFlagsUC.isUnknownOrUndef()) in performKernelMalloc()1714 if (ArgVal.isUnknownOrUndef()) in FreeMemAux()
240 bool isUnknownOrUndef() const { return Tag == unknown || Tag == undef; } in isUnknownOrUndef() function454 if (isUnknownOrUndef() || Other.isUnknownOrUndef()) in getCompare()
144 bool isUnknownOrUndef() const { in isUnknownOrUndef() function261 bool isUnknownOrUndef() const = delete;273 return !V.isUnknownOrUndef(); in isKind()
97 return !LV.isUnknownOrUndef() && !isConstant(LV); in isOverdefined()616 if (isConstant(ReturnValue) || ReturnValue.isUnknownOrUndef()) in runIPSCCP()