xazax.hun added a comment. Here is an example: void f() { int i; while (i < 42 && i) { if (i) &i; } } This takes 17 visits before, 16 after. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D72380/new/ https://reviews.llvm.org/D72380