steakhal accepted this revision.
steakhal added a comment.
This revision is now accepted and ready to land.
Looks good.
Wait for an other accept.
================
Comment at: clang/test/Analysis/array-struct-region.c:362-366
+int array_struct_bitfield_1() {
+ BITFIELD_CAST ff = {0};
+ BITFIELD_CAST *pff = &ff;
+ return *((int *)pff + 1);
+}
----------------
```lang=c
void array_struct_bitfield_1() {
BITFIELD_CAST ff = {0};
BITFIELD_CAST *pff = &ff;
clang_analyzer_eval(*((int *)pff + 1) == 0); // expected-warning{{TRUE}}
ff.b[0] = 3;
clang_analyzer_eval(*((int *)pff + 1) == 3); // expected-warning{{TRUE}}
}
```
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D124349/new/
https://reviews.llvm.org/D124349
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
