blob: 5c22a0a3a1928f4345c97fcdaf9a8e885ce5a29d [file] [log] [blame]
Chandler Carruth2946cd72019-01-19 08:50:56 +00001// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
2// See https://llvm.org/LICENSE.txt for license information.
3// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Roman Lebedeveb4a9bc2018-07-30 18:58:30 +00004
Roman Lebedevd32c0d12018-10-11 09:09:52 +00005// Test for unsigned-integer-overflow.
Roman Lebedeveb4a9bc2018-07-30 18:58:30 +00006#include <assert.h>
7#include <climits>
8#include <cstddef>
9#include <cstdint>
10#include <cstdlib>
11#include <iostream>
12
Roman Lebedeva0457c02018-10-30 21:59:09 +000013static volatile int32_t Sink;
14static uint8_t Large = UINT8_MAX;
Roman Lebedeveb4a9bc2018-07-30 18:58:30 +000015
16extern "C" int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) {
17 assert(Data);
18 if (Size > 0 && Data[0] == 'H') {
19 Sink = 1;
20 if (Size > 1 && Data[1] == 'i') {
21 Sink = 2;
22 if (Size > 2 && Data[2] == '!') {
Roman Lebedevd32c0d12018-10-11 09:09:52 +000023 Large = (unsigned int)Large + 1U; // 'char overflow'.
Roman Lebedeveb4a9bc2018-07-30 18:58:30 +000024 }
25 }
26 }
27 return 0;
28}