Skip to content

Commit 8f797c7

Browse files
author
Robert Marsh
committed
Merge branch 'main' into rdmarsh2/swift/keypath-write-flow
2 parents 161e5a4 + d6e143a commit 8f797c7

73 files changed

Lines changed: 13928 additions & 951 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎cpp/ql/lib/change-notes/2023-09-08-more-unreachble.md‎

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.

0 commit comments

Comments
 (0)