Skip to content

Commit 698f895

Browse files
committed
CPP: Change note.
1 parent dd8aa5a commit 698f895

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

change-notes/1.19/analysis-cpp.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,3 +28,4 @@
2828

2929
* Added a hash consing library for structural comparison of expressions.
3030
* `getBufferSize` now detects variable size structs more reliably.
31+
* Buffer.qll now treats arrays of zero size as a special case.

0 commit comments

Comments
 (0)