Fatal error: exception Env.Error "Unbound struct 'A'"

[zhendongsu]

$ ccomp -version
The CompCert C verified compiler, version 2.7.1 (commit c64c4ab)
$
$ ccomp small.c
Fatal error: exception Env.Error "Unbound struct 'A'"
Raised at file "cparser/Env.ml", line 173, characters 9-48
Called from file "cparser/Cutil.ml", line 147, characters 15-36
Called from file "cparser/Elab.ml", line 1728, characters 25-57
Called from file "cparser/Elab.ml", line 2261, characters 19-55
Called from file "cparser/Elab.ml", line 2437, characters 19-38
Called from file "cparser/Elab.ml", line 2421, characters 13-54
Called from file "cparser/Elab.ml", line 2450, characters 5-26
Called from file "cparser/Elab.ml", line 2137, characters 14-53
Called from file "cparser/Elab.ml", line 2182, characters 17-56
Called from file "cparser/Elab.ml", line 2203, characters 26-54
Called from file "cparser/Elab.ml", line 2204, characters 26-56
Called from file "cparser/Elab.ml", line 2460, characters 9-63
Called from file "cparser/Parse.ml", line 76, characters 15-59
Called from file "driver/Frontend.ml", line 58, characters 10-59
Called from file "driver/Driver.ml", line 72, characters 12-41
Called from file "driver/Driveraux.ml", line 140, characters 34-40
Called from file "driver/Driver.ml", line 548, characters 22-70
$
$ cat small.c
struct A { int x; } a, *b = &a;

void foo ()
{
*((struct A { int x; } *) b) = a;
}
$

[bschommer]

Fixed by commit e829671.