When use_gcc_stdint=provide, the stdint-gcc.h header is not provided.
2025-02-18 John David Anglin <danglin@gcc.gnu.org>
gcc/testsuite/ChangeLog:
PR testsuite/116986
* gcc.dg/crc-builtin-rev-target32.c: Include stdint.h
instead of stdint-gcc.h.
* gcc.dg/crc-builtin-rev-target64.c: Likewise.
* gcc.dg/crc-builtin-target32.c: Likewise.
* gcc.dg/crc-builtin-target64.c: Likewise.
* gcc.dg/torture/pr115387-2.c: Likewise.
/* { dg-require-effective-target int32plus } */
/* { dg-additional-options "-fdump-rtl-expand-details" } */
-#include <stdint-gcc.h>
+#include <stdint.h>
int8_t rev_crc8_data8 ()
{
/* { dg-require-effective-target int32plus } */
/* { dg-additional-options "-fdump-rtl-expand-details" } */
-#include <stdint-gcc.h>
+#include <stdint.h>
int8_t rev_crc8_data8 ()
{
/* { dg-require-effective-target int32plus } */
/* { dg-additional-options "-fdump-rtl-expand-details" } */
-#include <stdint-gcc.h>
+#include <stdint.h>
int8_t crc8_data8 ()
{
/* { dg-require-effective-target int32plus } */
/* { dg-additional-options "-fdump-rtl-expand-details" } */
-#include <stdint-gcc.h>
+#include <stdint.h>
int8_t crc8_data8 ()
{
/* { dg-do compile } */
#include <stddef.h>
-#include <stdint-gcc.h>
+#include <stdint.h>
char *
test (char *string, size_t maxlen)