https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80357
--- Comment #11 from Segher Boessenkool <segher at gcc dot gnu.org> --- The pressure becomes quite negative here... that isn't supposed to happen as far as I can see. Allowing all negative pressures in the asserts makes everything compile fine, but there really shouldn't be negative pressures at all?