summaryrefslogtreecommitdiff
path: root/test/fuzzer/AlignmentAssumptionTest.cpp
blob: be51d37e8fe2290f021d715d2a2d99cc9f59be7f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.

// Test for alignment assumption failure.

#include <assert.h>
#include <climits>
#include <cstddef>
#include <cstdint>
#include <cstdlib>
#include <iostream>

static volatile int32_t Sink;

extern "C" int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) {
  assert(Data);
  if (Size > 0 && Data[0] == 'H') {
    Sink = 1;
    if (Size > 1 && Data[1] == 'i') {
      Sink = 2;
      if (Size > 2 && Data[2] == '!') {
        __builtin_assume_aligned(Data + 1, 0x8000);
      }
    }
  }
  return 0;
}