-
Joachim Breitner authored
at least with -fno-pedantic-bottoms. This fixes #2915, and undoes some of a522c3b2, on the grounds that with a flag `-fpedantic-bottoms` around, we can be a bit more liberal when the flag is off..
2931d19e
at least with -fno-pedantic-bottoms. This fixes #2915, and undoes some of a522c3b2, on the grounds that with a flag `-fpedantic-bottoms` around, we can be a bit more liberal when the flag is off..