https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62245
--- Comment #5 from Julian Taylor <jtaylor.debian at googlemail dot com> --- oh I overlooked you put in positive input, thats strange then the documentation should be updated that its undefined behavior.