reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
867 std::tie(StNonNil, StNil) = State->assume(*KnownCollection); 868 if (StNil && !StNonNil) { 873 return StNonNil;