https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105149
--- Comment #9 from CVS Commits ---
The master branch has been updated by Jakub Jelinek :
https://gcc.gnu.org/g:6e2743687202c58a6553ae632ebbada3de38ad48
commit r12-8057-g6e2743687202c58a6553ae632ebbada3de38ad48
Author: Jakub Jelinek
Date: F
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105149
Jakub Jelinek changed:
What|Removed |Added
Status|NEW |ASSIGNED
Assignee|unassigned
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105149
--- Comment #7 from joseph at codesourcery dot com ---
I think it's valid to reject this at compile time (rather than just
generating a runtime trap): the "such that the type of a pointer to an
object that has the specified type can be obtaine
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105149
--- Comment #6 from Richard Biener ---
(In reply to Richard Biener from comment #5)
> The C++ frontend accepts this and diagnoses
>
> In file included from t.c:1:
> t.c: In function 'void foo(int, ...)':
> t.c:6:15: warning: 'D()' is promoted t
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105149
--- Comment #5 from Richard Biener ---
The C++ frontend accepts this and diagnoses
In file included from t.c:1:
t.c: In function 'void foo(int, ...)':
t.c:6:15: warning: 'D()' is promoted to 'D (*)()' when passed through '...'
6 | va_arg
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105149
--- Comment #4 from Richard Biener ---
It looks like c_build_va_arg could be amended to reject FUNCTION_TYPE type.
But as said, not sure if this is valid or not.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105149
Richard Biener changed:
What|Removed |Added
Component|tree-optimization |c
CC|
