search

Geoffrey1014 / SA_Bugs

record bugs of static analyzers
1 stars 1 forks source link

GCC -Wanalyzer-out-of-bounds False negative #65

Open Geoffrey1014 opened 1 year ago

Geoffrey1014 commented 1 year ago

https://godbolt.org/z/cjbM9odx4 https://godbolt.org/z/WEcd714zG

#include "stdio.h"
void main()
{
    int a[2][1] = {1};
    int *b = (void *)a[0][1];

}
Geoffrey1014 commented 1 year ago

related to https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109191