1*28fe54faSKostya Serebryany // This file is distributed under the University of Illinois Open Source
2*28fe54faSKostya Serebryany // License. See LICENSE.TXT for details.
3*28fe54faSKostya Serebryany 
4*28fe54faSKostya Serebryany // When tracing data flow, explode the number of DFSan labels.
5*28fe54faSKostya Serebryany #include <cstddef>
6*28fe54faSKostya Serebryany #include <cstdint>
7*28fe54faSKostya Serebryany 
8*28fe54faSKostya Serebryany static volatile int sink;
9*28fe54faSKostya Serebryany 
10*28fe54faSKostya Serebryany __attribute__((noinline))
11*28fe54faSKostya Serebryany void f(uint8_t a, uint8_t b, uint8_t c, uint8_t d) {
12*28fe54faSKostya Serebryany   if (a == b + 1 && c == d + 2)
13*28fe54faSKostya Serebryany     sink++;
14*28fe54faSKostya Serebryany }
15*28fe54faSKostya Serebryany 
16*28fe54faSKostya Serebryany extern "C" int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) {
17*28fe54faSKostya Serebryany   for (size_t a = 0; a < Size; a++)
18*28fe54faSKostya Serebryany     for (size_t b = 0; b < Size; b++)
19*28fe54faSKostya Serebryany       for (size_t c = 0; c < Size; c++)
20*28fe54faSKostya Serebryany         for (size_t d = 0; d < Size; d++)
21*28fe54faSKostya Serebryany           f(Data[a], Data[b], Data[c], Data[d]);
22*28fe54faSKostya Serebryany   return 0;
23*28fe54faSKostya Serebryany }
24