Searched refs:ReturnDV (Results 1 – 1 of 1) sorted by relevance
75 auto ReturnDV = ReturnV.getAs<DefinedOrUnknownSVal>(); in isInvariantBreak() local76 if (!ReturnDV) in isInvariantBreak()80 return C.getState()->isNull(*ReturnDV).isConstrainedTrue(); in isInvariantBreak()82 return C.getState()->isNull(*ReturnDV).isConstrainedFalse(); in isInvariantBreak()