C++: update change note

rdmarsh2 · rdmarsh2 · commit a2503bd7d597 · 2023-05-03T16:28:09.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
@@ -1,4 +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.
+* In the intermediate representation, handling of control flow after non-returning calls has been improved. This should remove false positives in queries that use the intermedite representation or libraries based on it, including the new data flow library.
