]> git.ipfire.org Git - thirdparty/gcc.git/commit - gcc/c/c-typeck.c
re PR c/38483 (generated aborts lose previous side-effects)
authorJoseph Myers <joseph@codesourcery.com>
Thu, 19 Feb 2009 13:56:00 +0000 (13:56 +0000)
committerJoseph Myers <jsm28@gcc.gnu.org>
Thu, 19 Feb 2009 13:56:00 +0000 (13:56 +0000)
commitab4194daa89047e2eacb66ef8d5d702418905bb0
tree4cadcaa3b993c651af0668a488634c85a19a1b6e
parent6b67572ed1a6f2fc43d07eead15e9eda973d339d
re PR c/38483 (generated aborts lose previous side-effects)

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.

From-SVN: r144296
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]