blob: be2b8225e975aab3a964c43fcf72277352e2aa86 (
plain) (
blame)
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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
|
//===-- ubsan_handlers.h ----------------------------------------*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// Entry points to the runtime library for Clang's undefined behavior sanitizer.
//
//===----------------------------------------------------------------------===//
#ifndef UBSAN_HANDLERS_H
#define UBSAN_HANDLERS_H
#include "ubsan_value.h"
#include "klee/Config/Version.h"
using namespace __ubsan;
struct TypeMismatchData {
SourceLocation Loc;
const TypeDescriptor &Type;
#if LLVM_VERSION_MAJOR >= 4
unsigned char LogAlignment;
#else
uptr Alignment;
#endif
unsigned char TypeCheckKind;
};
#if LLVM_VERSION_MAJOR >= 8
struct AlignmentAssumptionData {
SourceLocation Loc;
SourceLocation AssumptionLoc;
const TypeDescriptor &Type;
};
#endif
struct OverflowData {
SourceLocation Loc;
const TypeDescriptor &Type;
};
struct ShiftOutOfBoundsData {
SourceLocation Loc;
const TypeDescriptor &LHSType;
const TypeDescriptor &RHSType;
};
struct OutOfBoundsData {
SourceLocation Loc;
const TypeDescriptor &ArrayType;
const TypeDescriptor &IndexType;
};
struct UnreachableData {
SourceLocation Loc;
};
struct VLABoundData {
SourceLocation Loc;
const TypeDescriptor &Type;
};
struct InvalidValueData {
SourceLocation Loc;
const TypeDescriptor &Type;
};
#if LLVM_VERSION_MAJOR >= 7
/// Known implicit conversion check kinds.
/// Keep in sync with the enum of the same name in CGExprScalar.cpp
enum ImplicitConversionCheckKind : unsigned char {
ICCK_IntegerTruncation = 0, // Legacy, was only used by clang 7.
ICCK_UnsignedIntegerTruncation = 1,
ICCK_SignedIntegerTruncation = 2,
ICCK_IntegerSignChange = 3,
ICCK_SignedIntegerTruncationOrSignChange = 4,
};
#endif
#if LLVM_VERSION_MAJOR >= 7
struct ImplicitConversionData {
SourceLocation Loc;
const TypeDescriptor &FromType;
const TypeDescriptor &ToType;
/* ImplicitConversionCheckKind */ unsigned char Kind;
};
#endif
#if LLVM_VERSION_MAJOR >= 6
struct InvalidBuiltinData {
SourceLocation Loc;
unsigned char Kind;
};
#endif
struct NonNullReturnData {
SourceLocation AttrLoc;
};
struct NonNullArgData {
SourceLocation Loc;
SourceLocation AttrLoc;
int ArgIndex;
};
#if LLVM_VERSION_MAJOR >= 5
struct PointerOverflowData {
SourceLocation Loc;
};
#endif
#endif // UBSAN_HANDLERS_H
|