Skip to content

Commit e208a7a

Browse files
committed
CPP: Add change notes for the non-returning function improvements.
1 parent 43a72f2 commit e208a7a

File tree

2 files changed

+10
-0
lines changed

2 files changed

+10
-0
lines changed
Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
category: minorAnalysis
3+
---
4+
* Functions that do not return due to calling functions that don't return (e.g. `exit`) are now detected as
5+
non returning in the IR and dataflow.
Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
category: minorAnalysis
3+
---
4+
* The queries `cpp/double-free` and `cpp/use-after-free` find fewer false positives
5+
in cases where a non-returning function is called.

0 commit comments

Comments
 (0)