Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 698f895

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

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

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)