On 8/13/2026 3:46 AM, Josef Melcr wrote:
Hi,
when building the body function of an assumption, its decl temporarily
has variable arguments (gimple-low.cc:293), as the count and types of
arguments are not yet determined. However, after constructing
the arguments list, the function's struct function still has stdarg set.
This patch fixes that. The decl's arguments list is already being
constructed with a void_type_node terminator, so all is good on that front.
Bootstrapped and regtested on aarch64-unknown-linux-gnu. OK for master?
Best regards,
Josef
gcc/ChangeLog:
* gimple-low.cc (lower_assumption): Unset stdarg after
determining the body function's arguments.
OK.
jeff
