blob: ce6eb98b9cb12eb768301254d33aa4f0897d24f8 [file] [log] [blame]
/* { dg-lto-do link } */
/* { dg-lto-options { { -flto -O2 -Werror } } } */
typedef __SIZE_TYPE__ size_t;
typedef struct _IO_FILE FILE;
#define STRING1(a) #a
#define STRING2(a) STRING1(a)
extern size_t fread (void *__restrict __ptr, size_t __ptrlen, size_t __size, size_t __n, FILE *__restrict __stream) __asm__ (STRING2(__USER_LABEL_PREFIX__) "fread") __attribute__ ((__warn_unused_result__));
extern size_t fread_warn (void *__restrict __ptr, size_t __ptrlen, size_t __size, size_t __n, FILE *__restrict __stream) __asm__ (STRING2(__USER_LABEL_PREFIX__) "fread") __attribute__ ((__warn_unused_result__)) __attribute__((__warning__ ("fread called with bigger size * nmemb than length " "of destination buffer")));
extern __inline __attribute__ ((__always_inline__)) __attribute__ ((__gnu_inline__)) __attribute__ ((__artificial__)) __attribute__ ((__warn_unused_result__))
size_t
local_fread (void *__restrict __ptr, size_t __size, size_t __n,
FILE *__restrict __stream)
{
if (__builtin_object_size (__ptr, 0) != (size_t) -1)
{
if (!__builtin_constant_p (__size)
|| !__builtin_constant_p (__n)
|| (__size | __n) >= (((size_t) 1) << (8 * sizeof (size_t) / 2)))
return fread (__ptr, __builtin_object_size (__ptr, 0), __size, __n, __stream);
if (__size * __n > __builtin_object_size (__ptr, 0))
return fread_warn (__ptr, __builtin_object_size (__ptr, 0), __size, __n, __stream);
}
}
volatile size_t nmemb;
FILE *fp;
int main ()
{
char file_contents[4096];
/* We shouldn't get this resolved to a call to fread_warn. */
return local_fread (file_contents, 1, nmemb, fp);
}