We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent bd40d24 commit d027e0cCopy full SHA for d027e0c
cpp/ql/lib/change-notes/2025-01-16-noreturn.md
@@ -0,0 +1,4 @@
1
+---
2
+category: minorAnalysis
3
4
+* `DefaultOptions::exits` now holds for C23 functions with the `_Noreturn` or `__Noreturn__` attribute.
0 commit comments