Searched refs:AssertionVal (Results 1 – 1 of 1) sorted by relevance
63 SVal AssertionVal = State->getSVal(Assertion, LC); in getArgumentValueString() local65 if (AssertionVal.isUndef()) in getArgumentValueString()70 State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>()); in getArgumentValueString()