PR c/46921 Lost side effect when struct initializer expression uses comma operator
authorDavid Pagan <dave.pagan@oracle.com>
Tue, 13 Mar 2018 18:10:09 +0000 (18:10 +0000)
committerJoseph Myers <jsm28@gcc.gnu.org>
Tue, 13 Mar 2018 18:10:09 +0000 (18:10 +0000)
commitada6bad9780d405aea40acbea4f0813b05e3733a
treefb467b2bf55a3765f69f31dbf4f572aef4e42353
parentb34f5c5e69bb024f41b4e15869f7ff18c3f8dd6f
PR c/46921 Lost side effect when struct initializer expression uses comma operator

This patch fixes improper handling of comma operator expression in a
struct field initializer as described in:

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

Currently, function output_init_element () does not evaluate the left
hand expression in a comma operator that's used for a struct
initializer field if the right hand side is zero-sized. However, the
left hand expression must be evaluated if it's found to have side
effects (for example, a function call).

Patch was successfully bootstrapped and tested on x86_64-linux.

gcc/c:
2018-03-13  David Pagan  <dave.pagan@oracle.com>

PR c/46921
* c-typeck.c (output_init_element): Ensure field initializer
expression is always evaluated if there are side effects.

gcc/testsuite:
2018-03-13  David Pagan  <dave.pagan@oracle.com>

PR c/46921
* gcc.dg/pr46921.c: New test.

From-SVN: r258497
gcc/c/ChangeLog
gcc/c/c-typeck.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/pr46921.c [new file with mode: 0644]