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