Revert "Revert "[analyzer] Ignore IncompleteArrayTypes in getStaticSize() for FAMs""
authorBalazs Benics <balazs.benics@sigmatechnology.se>
Wed, 25 Aug 2021 14:47:13 +0000 (16:47 +0200)
committerBalazs Benics <balazs.benics@sigmatechnology.se>
Wed, 25 Aug 2021 15:19:06 +0000 (17:19 +0200)
commite5646b9254e0150e7897bd2658fa0b19eef39070
tree8bb75e8ea31bf3aeff216f1a1a0d289db6aa0b45
parent5f848b311f16230479f5f991683959e45856b3f5
Revert "Revert "[analyzer] Ignore IncompleteArrayTypes in getStaticSize() for FAMs""

This reverts commit df1f4e0cc6ec9a734aae41ffd48ee8b2007fcabb.

Now the test case explicitly specifies the target triple.
I decided to use x86_64 for that matter, to have a fixed
bitwidth for `size_t`.

Aside from that, relanding the original changes of:
https://reviews.llvm.org/D105184
clang/lib/StaticAnalyzer/Core/MemRegion.cpp
clang/test/Analysis/flexible-array-members.c [new file with mode: 0644]