https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63880 --- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- if you allocated an arglist via malloc (or alloca) and not have a struct which contained arglist, it would be valid (well GCC would do the correct thing as we define it as being valid).