reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1768 std::tie(notNullState, nullState) = State->assume(location); 1769 if (nullState && !notNullState)