diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2023-08-12 09:42:58 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2023-08-12 09:42:58 +0200 |
| commit | 8441841a1b985d68245954af1ff023db121b0635 (patch) | |
| tree | 82fa873f8a85aaa865b91ecf5c8fba8ae8611ceb /gcc/Makefile.in | |
| parent | 9890f377013cf1e4f5b9fab8a7287a5380dade1f (diff) | |
| download | gcc-8441841a1b985d68245954af1ff023db121b0635.zip gcc-8441841a1b985d68245954af1ff023db121b0635.tar.gz gcc-8441841a1b985d68245954af1ff023db121b0635.tar.bz2 | |
Add stdckdint.h header for C23
This patch adds <stdckdint.h> header, which defines ckd_{add,sub,mul}
using __builtin_{add,sub,mul}_overflow. As requested, it doesn't
pedantically diagnose things which work just fine, e.g. inputs with
plain char, bool, bit-precise integer or enumerated types and
result pointer to plain char or bit-precise integer.
The header will #include_next <stdckdint.h> so that C library can supply
its part if the header implementation in the future needs to be split
between parts under the control of the compiler and parts under the
control of C library.
2023-08-12 Jakub Jelinek <jakub@redhat.com>
* Makefile.in (USER_H): Add stdckdint.h.
* ginclude/stdckdint.h: New file.
* gcc.dg/stdckdint-1.c: New test.
* gcc.dg/stdckdint-2.c: New test.
Diffstat (limited to 'gcc/Makefile.in')
| -rw-r--r-- | gcc/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/Makefile.in b/gcc/Makefile.in index 2429128..a171914 100644 --- a/gcc/Makefile.in +++ b/gcc/Makefile.in @@ -469,6 +469,7 @@ USER_H = $(srcdir)/ginclude/float.h \ $(srcdir)/ginclude/stdnoreturn.h \ $(srcdir)/ginclude/stdalign.h \ $(srcdir)/ginclude/stdatomic.h \ + $(srcdir)/ginclude/stdckdint.h \ $(EXTRA_HEADERS) USER_H_INC_NEXT_PRE = @user_headers_inc_next_pre@ |