repo.or.cz
/
llvm-project.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Run DCE after a LoopFlatten test to reduce spurious output [nfc]
[llvm-project.git]
/
clang
/
test
/
Analysis
/
string-with-signedness.c
blob
c8e4fe55ff21bd07e7395a762d2a2b493a7fa23d
1
// RUN: %clang_analyze_cc1 -Wno-incompatible-library-redeclaration -analyzer-checker=core,unix.cstring,alpha.unix.cstring -verify %s
2
3
// expected-no-diagnostics
4
5
void
*
strcpy
(
unsigned char
*,
unsigned char
*);
6
7
unsigned char
a
,
b
;
8
void
testUnsignedStrcpy
(
void
) {
9
strcpy
(&
a
, &
b
);
10
}