// RUN: test.sh -e -t %t %s | |
// stpcpy() with destination buffer too short for source string. | |
// SAFECode should complain. | |
#define _GNU_SOURCE | |
#include <string.h> | |
int main() | |
{ | |
char str1[10]; | |
char str2[11]; | |
memset(str2, 'a', 10); | |
str2[10] = '\0'; | |
stpcpy(str1, str2); | |
return 0; | |
} |