Skip to content

Commit 36d59ce

Browse files
committed
C++: Add 'bsl::free' as a deallocation function model.
1 parent 82ed1ee commit 36d59ce

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

cpp/ql/lib/ext/deallocation/Std.deallocation.model.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ extensions:
55
data:
66
- ["", "", False, "free", "0"]
77
- ["std", "", False, "free", "0"]
8+
- ["bsl", "", False, "free", "0"]
89
- ["", "", False, "realloc", "0"]
910
- ["std", "", False, "realloc", "0"]
1011
- ["bsl", "", False, "realloc", "0"]

0 commit comments

Comments
 (0)