DECISIONMAP_FALSE

2590

if (r->p < 0 && decisionmap[-r->p] == 0 && DECISIONMAP_FALSE(r->w2))

2592

else if (r->w2 < 0 && decisionmap[-r->w2] == 0 && DECISIONMAP_FALSE(r->p))

2599

if (new || DECISIONMAP_FALSE(r->p))

2615

else if (!DECISIONMAP_FALSE(p))

728

&& !DECISIONMAP_FALSE(r->p)) /* and not FALSE */

740

&& !DECISIONMAP_FALSE(p)) /* and not FALSE */

783

if (DECISIONMAP_FALSE(other_watch)) /* check if literal is FALSE */