https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90628
--- Comment #8 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jakub Jelinek <ja...@gcc.gnu.org>: https://gcc.gnu.org/g:2d8b144a2a61b007f59286731275773f6e167be1 commit r11-5077-g2d8b144a2a61b007f59286731275773f6e167be1 Author: Jakub Jelinek <ja...@redhat.com> Date: Tue Nov 17 09:37:25 2020 +0100 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 <ja...@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.