1// 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
4
5// Test for alignment assumption failure.
6
7#include <assert.h>
8#include <climits>
9#include <cstddef>
10#include <cstdint>
11#include <cstdlib>
12#include <iostream>
13
14static volatile int32_t Sink;
15
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] == '!') {
23 auto r = __builtin_assume_aligned(Data + 1, 0x8000);
24 }
25 }
26 }
27 return 0;
28}
29

source code of compiler-rt/test/fuzzer/AlignmentAssumptionTest.cpp