diff options
| author | Balazs Benics <balazsbenics@sigmatechnology.se> | 2021-04-07 13:42:29 +0200 |
|---|---|---|
| committer | Balazs Benics <balazsbenics@sigmatechnology.se> | 2021-04-07 13:43:19 +0200 |
| commit | f0e102c1a39f0f7e9e309b27916533b8fefd9be7 (patch) | |
| tree | a6c7213e2e43b23e3a51cc885e01ff937acf97fc /clang/lib/Basic/SourceManager.cpp | |
| parent | 583258723fe22cbb8b10d4a21b50a486b2df59ed (diff) | |
| download | llvm-f0e102c1a39f0f7e9e309b27916533b8fefd9be7.zip llvm-f0e102c1a39f0f7e9e309b27916533b8fefd9be7.tar.gz llvm-f0e102c1a39f0f7e9e309b27916533b8fefd9be7.tar.bz2 | |
[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
Diffstat (limited to 'clang/lib/Basic/SourceManager.cpp')
0 files changed, 0 insertions, 0 deletions