[Bug middle-end/116933] various issues of -ftrivial-auto-var-init=zero with Ada

[ebotcazou at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116933

--- Comment #12 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> We added one more argument for __builtin_clear_padding to distinguish
> whether this call is for AUTO_INIT or not. 
> > 
> > diff --git a/gcc/tree.cc b/gcc/tree.cc
> > index bc50afca9a3..095c02c5474 100644
> > --- a/gcc/tree.cc
> > +++ b/gcc/tree.cc
> > @@ -9848,7 +9848,6 @@ build_common_builtin_nodes (void)
> >       ftype = build_function_type_list (void_type_node,
> >                                        ptr_type_node,
> >                                        ptr_type_node,
> > -                                       integer_type_node,
> 
> This integer_type_node is for the new argument.

See this assertion in gimple_fold_builtin_clear_padding:

 gcc_assert (gimple_call_num_args (stmt) == 2);