Open 0x21af opened 8 months ago
For this case, If l_2003[9][0] is accessed, the analyzer would report "Out of bound memory access". However, when accessing l_2003[9][0].a, it doesn't.
l_2003[9][0]
l_2003[9][0].a
struct S1 { unsigned a : 2 } b() { struct S1 l_2003[5][4] = {}; l_2003[9][0].a; } int main() { b(); }
See it live: https://godbolt.org/z/cxYYv6vMv
report: https://github.com/llvm/llvm-project/issues/70187
For this case, If
l_2003[9][0]is accessed, the analyzer would report "Out of bound memory access". However, when accessingl_2003[9][0].a, it doesn't.See it live: https://godbolt.org/z/cxYYv6vMv
report: https://github.com/llvm/llvm-project/issues/70187