C++: change note

rdmarsh2 · rdmarsh2 · commit df1a7b8b8340 · 2023-05-02T16:19:00.000-04:00
diff --git a/cpp/ql/lib/change-notes/2023-05-02-ir-noreturn-calls.md b/cpp/ql/lib/change-notes/2023-05-02-ir-noreturn-calls.md
@@ -0,0 +1,4 @@
+---
+category: majorAnalysis
+---
+* In the intermediate representation, nonreturning calls now have the `Unreached` instruction for their containing function as their control flow successor. This should remove false positives involving such calls.

-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +---
 +category: majorAnalysis
 +---
 +* In the intermediate representation, nonreturning calls now have the `Unreached` instruction for their containing function as their control flow successor. This should remove false positives involving such calls.