[all-commits] [llvm/llvm-project] f0e102: [analyzer][NFC] Add tests for extents

[Balazs Benics via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f0e102c1a39f0f7e9e309b27916533b8fefd9be7
      https://github.com/llvm/llvm-project/commit/f0e102c1a39f0f7e9e309b27916533b8fefd9be7
  Author: Balazs Benics <balazsbenics at sigmatechnology.se>
  Date:   2021-04-07 (Wed, 07 Apr 2021)

  Changed paths:
    M clang/test/Analysis/malloc.c

  Log Message:
  -----------
  [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