steakhal wrote:
Allegedly, the following code demonstrates the behavior change:
```c++
struct S { int a; int arr[10]; };
int test(int i) {
int *p = 0;
unsigned long off = __builtin_offsetof(struct S, arr[i]); // not
constant-foldable
(void)off;
return *p;
}
clang -cc1 -analyze -analyzer-checker=core -analyzer-output=text repro-a.c
```
https://github.com/llvm/llvm-project/pull/212186
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
