[gcc r16-8317] testsuite: aarch64: avoid stdint-gcc.h in crc-builtin-pmul64.c

[Alexandre Oliva]

https://gcc.gnu.org/g:214f5d1106a9536287ec002ffb39b995564acff0

commit r16-8317-g214f5d1106a9536287ec002ffb39b995564acff0
Author: Alexandre Oliva <oliva@adacore.com>
Date:   Wed Mar 25 15:05:33 2026 -0300

    testsuite: aarch64: avoid stdint-gcc.h in crc-builtin-pmul64.c
    
    Though gcc most often installs a stdint-gcc.h, that's not necessarily
    the case, and it isn't the case for sure when targeting vxworks.
    
    The file history doesn't justify the oddity, so I'm assuming it was a
    mistake.
    
    
    for  gcc/testsuite/ChangeLog
    
            * gcc.target/aarch64/crc-builtin-pmul64.c: Include stdint.h.

Diff:
---
 gcc/testsuite/gcc.target/aarch64/crc-builtin-pmul64.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gcc/testsuite/gcc.target/aarch64/crc-builtin-pmul64.c b/gcc/testsuite/gcc.target/aarch64/crc-builtin-pmul64.c
index d8bb1724a65c..cf2fa5069818 100644
--- a/gcc/testsuite/gcc.target/aarch64/crc-builtin-pmul64.c
+++ b/gcc/testsuite/gcc.target/aarch64/crc-builtin-pmul64.c
@@ -1,6 +1,6 @@
 /* { dg-options "-march=armv8-a+crypto" } */
 
-#include <stdint-gcc.h>
+#include <stdint.h>
 int8_t crc8_data8 ()
 {
   return __builtin_crc8_data8 ('a', 0xff, 0x12);
@@ -58,4 +58,4 @@ int32_t rev_crc32_data32 ()
 {
   return __builtin_rev_crc32_data32 (0xffffffff, 0x123546ff, 0x4002123);
 } 
-/* { dg-final { scan-assembler-times "pmull" 24 } } */
\ No newline at end of file
+/* { dg-final { scan-assembler-times "pmull" 24 } } */