Searched refs:loadComparison (Results 1 – 1 of 1) sorted by relevance
336 const IteratorComparison *loadComparison(ProgramStateRef State,865 const auto *Comp = loadComparison(State, SE); in evalAssume()881 Comp = loadComparison(State, SE); in evalAssume()1970 const IteratorComparison *loadComparison(ProgramStateRef State, in loadComparison() function