GCC counterpart: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42801#c3 # Unfortunately, gdb prints 0 instead of 24 in the second case.
I think it is probably purely a gcc bug now. The gdb bits work if the source is compiled -O1. With -O0 I believe the debuginfo is somewhat incorrect until "a" is "really" in scope.
This works now. (gdb) ptype a type = char [5]