2012-08-25 04:39:55 +08:00
|
|
|
// RUN: %clang_cc1 -analyze -analyzer-checker=unix,core,alpha.security.taint -w -verify %s
|
2012-10-19 20:44:48 +08:00
|
|
|
// expected-no-diagnostics
|
2012-04-13 06:36:43 +08:00
|
|
|
|
|
|
|
// Make sure we don't crash when someone redefines a system function we reason about.
|
|
|
|
|
|
|
|
char memmove ();
|
|
|
|
char malloc();
|
|
|
|
char system();
|
|
|
|
char stdin();
|
|
|
|
char memccpy();
|
|
|
|
char free();
|
|
|
|
char strdup();
|
|
|
|
char atoi();
|
|
|
|
|
|
|
|
int foo () {
|
2012-04-17 05:51:03 +08:00
|
|
|
return memmove() + malloc() + system() + stdin() + memccpy() + free() + strdup() + atoi();
|
2012-04-13 06:36:43 +08:00
|
|
|
|
|
|
|
}
|