[libFuzzer] make a test for exploding dfsan labels more agressive

kcc · kcc · commit ae667c49d228 · 2019-01-31T23:43:54.000Z
llvm-svn: 352819
diff --git a/compiler-rt/test/fuzzer/ExplodeDFSanLabelsTest.cpp b/compiler-rt/test/fuzzer/ExplodeDFSanLabelsTest.cpp
@@ -12,6 +12,8 @@ __attribute__((noinline))
 void f(uint8_t a, uint8_t b, uint8_t c, uint8_t d) {
   if (a == b + 1 && c == d + 2)
     sink++;
+  if (a == d + 1 && c == b + 2)
+    sink++;
 }
 
 extern "C" int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) {

Original file line number	Diff line number	Diff line change
`@@ -12,6 +12,8 @@ __attribute__((noinline))`
`12`	`12`	`void f(uint8_t a, uint8_t b, uint8_t c, uint8_t d) {`
`13`	`13`	`if (a == b + 1 && c == d + 2)`
`14`	`14`	`sink++;`
	`15`	`+ if (a == d + 1 && c == b + 2)`
	`16`	`+ sink++;`
`15`	`17`	`}`
`16`	`18`
`17`	`19`	`extern "C" int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) {`