Your test cases and commit message look wrong to me.
```
char x[3] = "abc";
char y[4] = "ab";
strcpy(x,y); // This should not warn, or at least should give a suppressible
diagnostic,
// since no overflow occurs: "ab" fits into x just fine
char x[3] = "abc";
char y[4];
strcpy(x,y); // This should give a use-before-def diagnostic for y
char x[3] = "abc";
char y[100];
strcpy(y, x); // This should give the "overflow" diagnostic, since it
definitely attempts to strcpy an array of char that is not null-terminated
```
http://reviews.llvm.org/D6012
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
