1  /* Verify that declaring the __clear_cache and __builtin_prefetch
       2     intrinsic functions with the wrong signature is diagnosed.
       3     { dg-do compile }
       4     { dg-options "-Wbuiltin-declaration-mismatch -Wextra" } */
       5  
       6  extern void __clear_cache (char*, char*);      // { dg-warning "\\\[-Wbuiltin-declaration-mismatch" }
       7  
       8  void __builtin_prefetch (const char *, ...);   // { dg-warning "\\\[-Wbuiltin-declaration-mismatch" }