#include <stdlib.h>

int main() {
    int x;
    int y = x;
    y = 4;
    if ( y == 0 ) // OK
        exit( 1 );
    y |= x;
    if ( y == 0 ) /* ERROR */
        exit( 1 );
    return 0;
}