| typedef unsigned long int size_t; |
| typedef unsigned long ulong; |
| |
| extern void *memset(void *s, int c, size_t n); |
| extern void *memcpy(void *dest, void *src, size_t n); |
| extern ulong copy_to_user(void *to, const void *from, ulong count); |
| extern ulong copy_from_user(void *to, const void *from, ulong count); |
| |
| static void func (char *s) |
| { |
| char d[250000]; |
| |
| memset(d, 0, 250000); |
| memcpy(d, s, 250000); |
| copy_to_user(s, d, 250000); |
| copy_from_user(d, s, 250000); |
| } |
| |
| /* |
| * check-name: byte-count-max |
| * |
| * check-error-start |
| byte-count-max.c:13:15: warning: memset with byte count of 250000 |
| byte-count-max.c:14:15: warning: memcpy with byte count of 250000 |
| byte-count-max.c:15:21: warning: copy_to_user with byte count of 250000 |
| byte-count-max.c:16:23: warning: copy_from_user with byte count of 250000 |
| * check-error-end |
| */ |