12946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
22946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
32946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
4d790effaSKostya Serebryany 
5d790effaSKostya Serebryany // Find ABCxxFxUxZxxx... (2048+ bytes, 'x' is any byte)
6d790effaSKostya Serebryany #include <assert.h>
7d790effaSKostya Serebryany #include <cstddef>
8d790effaSKostya Serebryany #include <cstdint>
9d790effaSKostya Serebryany #include <cstdlib>
10d790effaSKostya Serebryany #include <cstring>
11d790effaSKostya Serebryany #include <cstdio>
12d790effaSKostya Serebryany 
13d790effaSKostya Serebryany const size_t N = 2048;
14d790effaSKostya Serebryany typedef const uint8_t *IN;
15d790effaSKostya Serebryany 
1644edc281SKostya Serebryany static volatile int one = 1;
1744edc281SKostya Serebryany 
bad()18d790effaSKostya Serebryany __attribute__((noinline)) void bad() {
19d790effaSKostya Serebryany   fprintf(stderr, "BINGO\n");
2044edc281SKostya Serebryany   if (one)
21d790effaSKostya Serebryany     abort();
22d790effaSKostya Serebryany }
23d790effaSKostya Serebryany 
24*27cf743bSKostya Serebryany extern "C"
f0(IN in)25d790effaSKostya Serebryany __attribute__((noinline)) void f0(IN in) {
26d790effaSKostya Serebryany   uint32_t x = in[5] + 251 * in[7] + 251 * 251 * in[9];
27e9aaa558SKostya Serebryany   if (x == 'F' + 251 * 'U' + 251 * 251 * 'Z') {
28e9aaa558SKostya Serebryany     // artificially inflate uncovered control in f0
29e9aaa558SKostya Serebryany     // so that auto-focus is more likely to chose this function.
30e9aaa558SKostya Serebryany     if (one == -1) {
31e9aaa558SKostya Serebryany       if (one == 2) one = 1;    if (one == 3) one = 1;    if (one == 4) one = 1;
32e9aaa558SKostya Serebryany       if (one == 5) one = 1;    if (one == 6) one = 1;    if (one == 7) one = 1;
33e9aaa558SKostya Serebryany       if (one == 8) one = 1;    if (one == 9) one = 1;    if (one == 0) one = 1;
34e9aaa558SKostya Serebryany     }
35d790effaSKostya Serebryany     bad();
36d790effaSKostya Serebryany   }
37e9aaa558SKostya Serebryany }
38d790effaSKostya Serebryany 
fD(IN in)393f39123dSKostya Serebryany __attribute__((noinline)) void fD(IN in) { f0(in); }
fC(IN in)403f39123dSKostya Serebryany __attribute__((noinline)) void fC(IN in) { if (in[2] == 'C') fD(in); }
fB(IN in)41d790effaSKostya Serebryany __attribute__((noinline)) void fB(IN in) { if (in[1] == 'B') fC(in); }
fA(IN in)42d790effaSKostya Serebryany __attribute__((noinline)) void fA(IN in) { if (in[0] == 'A') fB(in); }
43d790effaSKostya Serebryany 
LLVMFuzzerTestOneInput(const uint8_t * Data,size_t Size)44d790effaSKostya Serebryany extern "C" int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) {
45d790effaSKostya Serebryany   if (Size < N) return 0;
46d790effaSKostya Serebryany   fA((IN)Data);
47d790effaSKostya Serebryany   return 0;
48d790effaSKostya Serebryany }
49