C++: change note

This commit is contained in:
Robert Marsh
2023-05-02 16:19:00 -04:00
parent c6e0ee2695
commit df1a7b8b83

View File

@@ -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.