diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2020-11-17 09:37:25 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2020-11-17 09:37:25 +0100 |
| commit | 2d8b144a2a61b007f59286731275773f6e167be1 (patch) | |
| tree | ec9410798cbb2815a0d4e9b2080556033274f55e /gcc/gcc.c | |
| parent | 855ce4cda1a374eb1ce4a24fcde65d4c3d111bcd (diff) | |
| download | gcc-2d8b144a2a61b007f59286731275773f6e167be1.zip gcc-2d8b144a2a61b007f59286731275773f6e167be1.tar.gz gcc-2d8b144a2a61b007f59286731275773f6e167be1.tar.bz2 | |
c: Reject _Atomic type * as last argument to __builtin_*_overflow [PR90628]
During the __builtin_clear_padding implementation, I've noticed we don't
diagnose _Atomic whatever * as last argument to __builtin_*_overflow.
As the storing by that builtin isn't atomic in any way, I think we should
reject it.
2020-11-17 Jakub Jelinek <jakub@redhat.com>
PR c/90628
* c-common.c (check_builtin_function_arguments)
<case BUILT_IN_ADD_OVERFLOW>: Diagnose when last argument is pointer
to _Atomic. For the TYPE_READONLY case, adjust message to be usable
for more builtins and argument positions.
* gcc.dg/builtin-arith-overflow-4.c: New test.
Diffstat (limited to 'gcc/gcc.c')
0 files changed, 0 insertions, 0 deletions