maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

ubsan: Add -fsanitize=bool and -fsanitize=enum, which check for loads of 

bit-patterns which are not valid values for enumerated or boolean types.
These checks are the ubsan analogue of !range metadata.

llvm-svn: 170107
This commit is contained in:
Richard Smith 2012-12-13 07:00:14 +00:00
parent a1bbeeca72
commit 32952215b6
2 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
compiler-rt/lib/ubsan/ubsan_handlers.cc
View File

@ -179,3 +179,15 @@ void __ubsan::__ubsan_handle_float_cast_overflow_abort(
__ubsan_handle_float_cast_overflow(Data, From);
Die();
}
void __ubsan::__ubsan_handle_load_invalid_value(InvalidValueData *Data,
ValueHandle Val) {
Diag(SourceLocation(), "load of value %0, which is not a valid value for "
"type %1")
<< Value(Data->Type, Val) << Data->Type;
}
void __ubsan::__ubsan_handle_load_invalid_value_abort(InvalidValueData *Data,
ValueHandle Val) {
__ubsan_handle_load_invalid_value(Data, Val);
Die();
}

8
compiler-rt/lib/ubsan/ubsan_handlers.h
View File

@ -91,6 +91,14 @@ struct FloatCastOverflowData {
/// \brief Handle overflow in a conversion to or from a floating-point type.
RECOVERABLE(float_cast_overflow, FloatCastOverflowData *Data, ValueHandle From)
struct InvalidValueData {
// FIXME: SourceLocation Loc;
const TypeDescriptor &Type;
};
/// \brief Handle a load of an invalid value for the type.
RECOVERABLE(load_invalid_value, InvalidValueData *Data, ValueHandle Val)
}
#endif // UBSAN_HANDLERS_H