commit | 9b562eef5066dd8a58a9eea29b2924ffa7e17e25 | [log] [tgz] |
---|---|---|
author | Balazs Benics <balazsbenics@sigmatechnology.se> | Wed Apr 07 13:42:29 2021 +0200 |
committer | Copybara-Service <copybara-worker@google.com> | Mon Apr 12 11:08:44 2021 -0700 |
tree | efb4b0371393b413826d4a61df860fe6e5ddcabe | |
parent | 6f2cf764d48eeedc0b33559c1dbd7a5fddd00a50 [diff] |
[analyzer][NFC] Add tests for extents If we allocate memory, the extent of the MemRegion will be the symbolic value of the size parameter. This way, if that symbol gets constrained, the extent will be also constrained. This test demonstrates that the extent is indeed the same symbol. Reviewed By: NoQ Differential Revision: https://reviews.llvm.org/D99959 GitOrigin-RevId: f0e102c1a39f0f7e9e309b27916533b8fefd9be7