xref: /llvm-project/compiler-rt/test/fuzzer/ImplicitIntegerSignChangeTest.cpp (revision 2946cd701067404b99c39fb29dc9c74bd7193eb3)
1*2946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
2*2946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
3*2946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
4320e9af3SRoman Lebedev 
5320e9af3SRoman Lebedev // Test for implicit-integer-sign-change.
6320e9af3SRoman Lebedev #include <assert.h>
7320e9af3SRoman Lebedev #include <climits>
8320e9af3SRoman Lebedev #include <cstddef>
9320e9af3SRoman Lebedev #include <cstdint>
10320e9af3SRoman Lebedev #include <cstdlib>
11320e9af3SRoman Lebedev #include <iostream>
12320e9af3SRoman Lebedev 
13a0457c02SRoman Lebedev static volatile uint32_t Sink;
14a0457c02SRoman Lebedev static volatile int32_t Storage = -1;
15320e9af3SRoman Lebedev 
LLVMFuzzerTestOneInput(const uint8_t * Data,size_t Size)16320e9af3SRoman Lebedev extern "C" int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) {
17320e9af3SRoman Lebedev   assert(Data);
18320e9af3SRoman Lebedev   if (Size > 0 && Data[0] == 'H') {
19320e9af3SRoman Lebedev     Sink = 1;
20320e9af3SRoman Lebedev     if (Size > 1 && Data[1] == 'i') {
21320e9af3SRoman Lebedev     Sink = 2;
22320e9af3SRoman Lebedev       if (Size > 2 && Data[2] == '!') {
23320e9af3SRoman Lebedev         Sink = Storage;  // 'sign change'.
24320e9af3SRoman Lebedev       }
25320e9af3SRoman Lebedev     }
26320e9af3SRoman Lebedev   }
27320e9af3SRoman Lebedev   return 0;
28320e9af3SRoman Lebedev }
29