Home
last modified time | relevance | path

Searched refs:AssertionVal (Results 1 – 2 of 2) sorted by relevance

/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DFalsePositiveRefutationBRVisitorTest.cpp67 SVal AssertionVal = Call.getArgSVal(0); in reportIfCanBeTrue() local
68 if (AssertionVal.isUndef()) in reportIfCanBeTrue()
74 State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>()); in reportIfCanBeTrue()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DExprInspectionChecker.cpp141 SVal AssertionVal = State->getSVal(Assertion, LC); in getArgumentValueString() local
143 if (AssertionVal.isUndef()) in getArgumentValueString()
148 State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>()); in getArgumentValueString()