OSDN Git Service

PR c/38483
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 19 Feb 2009 13:56:00 +0000 (13:56 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 19 Feb 2009 13:56:00 +0000 (13:56 +0000)
commitad0e7a06b41765300dd7b733156b28006dc6d6f5
tree4cadcaa3b993c651af0668a488634c85a19a1b6e
parenta7a2dd08dfd5511e4dee5472956dd1893c356a94
PR c/38483
* builtins.c (gimplify_va_arg_expr): Evaluate the va_list
expression before any __builtin_trap call.
* c-typeck.c (build_function_call): Convert and check function
arguments before generating a call to a trap.  Evaluate the
function arguments before the trap.

testsuite:
* gcc.c-torture/execute/call-trap-1.c,
gcc.c-torture/execute/va-arg-trap-1.c, gcc.dg/call-diag-1.c: New
tests.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@144296 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/builtins.c
gcc/c-typeck.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.c-torture/execute/call-trap-1.c [new file with mode: 0644]
gcc/testsuite/gcc.c-torture/execute/va-arg-trap-1.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/call-diag-1.c [new file with mode: 0644]