Searched defs:assumption (Results 1 – 3 of 3) sorted by relevance
405 TrackConstraintBRVisitor(DefinedSVal constraint,bool assumption,StringRef Message) TrackConstraintBRVisitor() argument
458 SVal cond, bool assumption) { in _evalAssume()
668 SVal cond, bool assumption) { in processAssume() argument