Valid C rejected: designator for a member of unnamed substructure

[ch3root]

Source code:

int main()
{
  struct { struct { int i; }; } s = { .i = 1 };
  (void)s;
}

tis-interpreter (31be1ffdb350ea940095be4757d0d5779c38f10b) output:

test.c:3:[kernel] failure: Cannot find designated field i
[kernel] user error: stopping on file "test.c" that has errors. Add '-kernel-msg-key pp'
                     for preprocessing command.
[kernel] Frama-C aborted: invalid user input.

gcc (GCC) 7.0.0 20160616 (experimental):

$ gcc -std=c11 -pedantic -Wall -Wextra -O3 -fsanitize=undefined test.c && ./a.out

clang version 3.9.0 (trunk 271312):

$ clang -std=c11 -Weverything -O3 -fsanitize=undefined test.c && ./a.out