Searched defs:MayIncludeUndef (Results 1 – 2 of 2) sorted by relevance
111 bool MayIncludeUndef; member125 : MayIncludeUndef(MayIncludeUndef), CheckWiden(CheckWiden), in MayIncludeUndef() function
389 bool MayIncludeUndef = false) { in markConstant()1315 bool MayIncludeUndef = !isa<PredicateAssume>(PI); in handleCallResult() local