[Bug tree-optimization/68294] gcc cannot deduce (a | b) != 0 from (a != 0 && b != 0)

[fuz at fuz dot su]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68294

--- Comment #3 from Robert Clausecker <fuz at fuz dot su> ---
Sorry, I forgot to attach the test case. Here it is.