https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80674
--- Comment #3 from David Binderman <dcb314 at hotmail dot com> --- (In reply to Jerry DeLisle from comment #2) > Is it guaranteed for '!A || B'? Is it guaranteed that B will > not be executed if !A is true? Yes. See C FAQ. http://c-faq.com/expr/shortcircuit.html