gcc12-bug.c

// Compile with GCC 12.2.0 with -O2:
//    warning: ‘strcpy’ offset 0 is out of the bounds [0, 0] [-Warray-bounds]
// no warning without -O2
extern char * strcpy(char * , const char * );

struct Inst { int bla; };
struct Class { int offset; };

static struct Class * classFoo; // No problem without static here

struct Foo
{
   unsigned int a;   // no problem if commented out
   char bar[1024];
};

void setFoo(struct Inst * this, const char * value)
{
   struct Foo * ptr = (struct Foo *)(this ? (((char *)this) + classFoo->offset) : 0);
   strcpy(ptr->bar, value);
}

int main() { return 0; }