diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2021-03-03 09:55:19 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2021-03-03 09:55:19 +0100 |
| commit | ba09d11a9d0ae2382bab715b102a7746d20dea6d (patch) | |
| tree | f44640d66c203477a0a7bf3fc80e292093920e72 /gcc/testsuite/gcc.c-torture | |
| parent | b5040344b9ca609e19ee59ba56cd4af9697a1692 (diff) | |
| download | gcc-ba09d11a9d0ae2382bab715b102a7746d20dea6d.zip gcc-ba09d11a9d0ae2382bab715b102a7746d20dea6d.tar.gz gcc-ba09d11a9d0ae2382bab715b102a7746d20dea6d.tar.bz2 | |
c-family: Avoid ICE on va_arg [PR99324]
build_va_arg calls the middle-end mark_addressable, which e.g. requires that
cfun is non-NULL. The following patch calls instead c_common_mark_addressable_vec
which is the c-family variant similarly to the FE c_mark_addressable and
cxx_mark_addressable, except that it doesn't error on addresses of register
variables. As the taking of the address is artificial for the .VA_ARG
ifn and when that is lowered goes away, it is similar case to the vector
subscripting for which c_common_mark_addressable_vec has been added.
2021-03-03 Jakub Jelinek <jakub@redhat.com>
PR c/99324
* c-common.c (build_va_arg): Call c_common_mark_addressable_vec
instead of mark_addressable. Fix a comment typo -
neutrallly -> neutrally.
* gcc.c-torture/compile/pr99324.c: New test.
Diffstat (limited to 'gcc/testsuite/gcc.c-torture')
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr99324.c | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr99324.c b/gcc/testsuite/gcc.c-torture/compile/pr99324.c new file mode 100644 index 0000000..7a41e5c --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr99324.c @@ -0,0 +1,19 @@ +/* PR c/99324 */ + +#include <stdarg.h> + +int +foo (int x, ...) +{ + va_list a; + va_start (a, x); + int b[6] = {}; + int bar (c) + int c[1][va_arg (a, int)]; + { + return sizeof c[0]; + } + int r = bar (b); + va_end (a); + return r; +} |