[clang] [llvm] [Coverage][MC/DC] Show uncoverable and unreachable conditions (PR #94137)

[Alan Phipps via cfe-commits]

================
@@ -47,7 +47,7 @@
 // CHECK: Branch (103:9): [True: 9, False: 1]
 
 // CHECK: switches()
-// CHECK: Branch (113:3): [True: 1, False: 0]
+// CHECK: Branch (113:3): [Folded - Ignored]
----------------
evodius96 wrote:

I'm not sure I see why the evaluation of this case (and line 60) would now be considered as folded when prior to this change, it wasn't.  Strictly speaking, `weights` isn't constant, though based on its values I can see why these conditions always evaluate to true.



https://github.com/llvm/llvm-project/pull/94137