Run DCE after a LoopFlatten test to reduce spurious output [nfc]
[llvm-project.git] / clang / test / Analysis / string-with-signedness.c
blobc8e4fe55ff21bd07e7395a762d2a2b493a7fa23d
1 // RUN: %clang_analyze_cc1 -Wno-incompatible-library-redeclaration -analyzer-checker=core,unix.cstring,alpha.unix.cstring -verify %s
3 // expected-no-diagnostics
5 void *strcpy(unsigned char *, unsigned char *);
7 unsigned char a, b;
8 void testUnsignedStrcpy(void) {
9 strcpy(&a, &b);