return struct crestc error

[kren1]

Compiling

struct a {
  char const b;
} g_1782;
struct a c() {
  for (;;)
    return g_1782;
}
int main() {  }

With crestc gives me

test7.c: In function ‘c’:
test7.c:6:15: error: assignment of read-only variable ‘__retres1’
     return g_1782;

Is this some sort of instrumentation bug?

[lmagoncalo]

I think the crest doesn't support infinite loops like: for(;;) { statements; }