github
diff --git a/‎cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll
Copy file name to clipboardExpand all lines: cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll
+3Lines changed: 3 additions & 0 deletions b/‎cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll
Copy file name to clipboardExpand all lines: cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll
+3Lines changed: 3 additions & 0 deletions
diff --git a/‎cpp/ql/test/library-tests/controlflow/guards-ir/tests.expected
Copy file name to clipboardExpand all lines: cpp/ql/test/library-tests/controlflow/guards-ir/tests.expected
-1Lines changed: 0 additions & 1 deletion b/‎cpp/ql/test/library-tests/controlflow/guards-ir/tests.expected
Copy file name to clipboardExpand all lines: cpp/ql/test/library-tests/controlflow/guards-ir/tests.expected
-1Lines changed: 0 additions & 1 deletion
@@ -223,6 +223,9 @@ private class GuardConditionFromIR extends GuardCondition {
       or
       instr = tce.getInstruction(ConditionValueFalseTempAddressTag())
     )
+    or
+    // Exclude unreached instructions, as their AST is the whole function and not a block.
+    instr instanceof UnreachedInstruction
   }
 }
 
 
@@ -257,7 +257,6 @@ astGuardsControl
 | test.c:175:13:175:32 | ... == ... | false | 175 | 175 |
 | test.c:175:13:175:32 | ... == ... | true | 175 | 175 |
 | test.c:181:9:181:9 | x | false | 183 | 184 |
-| test.c:181:9:181:9 | x | false | 186 | 180 |
 | test.c:181:9:181:9 | x | true | 181 | 182 |
 | test.c:181:9:181:9 | x | true | 186 | 180 |
 | test.cpp:18:8:18:10 | call to get | true | 19 | 19 |
Original file line number	Diff line number	Diff line change
`@@ -223,6 +223,9 @@ private class GuardConditionFromIR extends GuardCondition {`
`223`	`223`	`or`
`224`	`224`	`instr = tce.getInstruction(ConditionValueFalseTempAddressTag())`
`225`	`225`	`)`
	`226`	`+ or`
	`227`	`+ // Exclude unreached instructions, as their AST is the whole function and not a block.`
	`228`	`+ instr instanceof UnreachedInstruction`
`226`	`229`	`}`
`227`	`230`	`}`
`228`	`231`