int main(void)
{
    double d = 0.0;
    if (!(d || 1)) return 1; /* 0.0 || 1 must be true */
    if (d && 1) return 2;    /* 0.0 && 1 must be false */
    return 0;
}