http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47837
--- Comment #5 from davidxl <xinliangli at gmail dot com> 2011-03-03 18:06:33 UTC --- While this exposes a limitation in uninit analysis, the cause of the warning is that C FE behaves differently. On x86, the expression "n || l" is converted to bitwise | expression, but on s390, it is not. Any reason why it is the case? David