ubsan_handlers.cc revision 80af605afd0e92a2a128c81898f647207f384e08
1eda8bd0fc07df35c9ad7de5b698bb717b063e7afRichard Smith//===-- ubsan_handlers.cc -------------------------------------------------===// 26ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith// 36ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith// The LLVM Compiler Infrastructure 46ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith// 56ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith// This file is distributed under the University of Illinois Open Source 66ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith// License. See LICENSE.TXT for details. 76ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith// 86ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith//===----------------------------------------------------------------------===// 96ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith// 106ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith// Error logging entry points for the UBSan runtime. 116ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith// 126ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith//===----------------------------------------------------------------------===// 136ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith 146ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith#include "ubsan_handlers.h" 156ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith#include "ubsan_diag.h" 166ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith 176ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith#include "sanitizer_common/sanitizer_common.h" 186ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith 196ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smithusing namespace __sanitizer; 206ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smithusing namespace __ubsan; 216ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith 22eda8bd0fc07df35c9ad7de5b698bb717b063e7afRichard Smithnamespace __ubsan { 236ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith const char *TypeCheckKinds[] = { 246ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith "load of", "store to", "reference binding to", "member access within", 25eda8bd0fc07df35c9ad7de5b698bb717b063e7afRichard Smith "member call on", "constructor call on" 266ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith }; 27eda8bd0fc07df35c9ad7de5b698bb717b063e7afRichard Smith} 28eda8bd0fc07df35c9ad7de5b698bb717b063e7afRichard Smith 29eda8bd0fc07df35c9ad7de5b698bb717b063e7afRichard Smithvoid __ubsan::__ubsan_handle_type_mismatch(TypeMismatchData *Data, 30eda8bd0fc07df35c9ad7de5b698bb717b063e7afRichard Smith ValueHandle Pointer) { 316ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith if (!Pointer) 326ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Diag(Data->Loc, "%0 null pointer of type %1") 336ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith << TypeCheckKinds[Data->TypeCheckKind] << Data->Type; 346ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith else if (Data->Alignment && (Pointer & (Data->Alignment - 1))) 356ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Diag(Data->Loc, "%0 misaligned address %1 for type %3, " 366ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith "which requires %2 byte alignment") 376ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith << TypeCheckKinds[Data->TypeCheckKind] << (void*)Pointer 386ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith << Data->Alignment << Data->Type; 396ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith else 406ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Diag(Data->Loc, "%0 address %1 with insufficient space " 416ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith "for an object of type %2") 426ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith << TypeCheckKinds[Data->TypeCheckKind] << (void*)Pointer << Data->Type; 436ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Die(); 446ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith} 456ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith 4680af605afd0e92a2a128c81898f647207f384e08Will Dietz/// \brief Common diagnostic emission for various forms of integer overflow. 4780af605afd0e92a2a128c81898f647207f384e08Will Dietztemplate<typename T> static void HandleIntegerOverflow(OverflowData *Data, 486ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith ValueHandle LHS, 496ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith const char *Operator, 506ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith T RHS) { 5180af605afd0e92a2a128c81898f647207f384e08Will Dietz Diag(Data->Loc, "%0 integer overflow: " 5280af605afd0e92a2a128c81898f647207f384e08Will Dietz "%1 %2 %3 cannot be represented in type %4") 5380af605afd0e92a2a128c81898f647207f384e08Will Dietz << (Data->Type.isSignedIntegerTy() ? "signed" : "unsigned") 546ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith << Value(Data->Type, LHS) << Operator << RHS << Data->Type; 556ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Die(); 566ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith} 576ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith 586ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smithvoid __ubsan::__ubsan_handle_add_overflow(OverflowData *Data, 596ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith ValueHandle LHS, ValueHandle RHS) { 6080af605afd0e92a2a128c81898f647207f384e08Will Dietz HandleIntegerOverflow(Data, LHS, "+", Value(Data->Type, RHS)); 616ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith} 626ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith 636ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smithvoid __ubsan::__ubsan_handle_sub_overflow(OverflowData *Data, 646ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith ValueHandle LHS, ValueHandle RHS) { 6580af605afd0e92a2a128c81898f647207f384e08Will Dietz HandleIntegerOverflow(Data, LHS, "-", Value(Data->Type, RHS)); 666ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith} 676ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith 686ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smithvoid __ubsan::__ubsan_handle_mul_overflow(OverflowData *Data, 696ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith ValueHandle LHS, ValueHandle RHS) { 7080af605afd0e92a2a128c81898f647207f384e08Will Dietz HandleIntegerOverflow(Data, LHS, "*", Value(Data->Type, RHS)); 716ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith} 726ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith 736ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smithvoid __ubsan::__ubsan_handle_negate_overflow(OverflowData *Data, 746ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith ValueHandle OldVal) { 756ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Diag(Data->Loc, "negation of %0 cannot be represented in type %1; " 766ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith "cast to an unsigned type to negate this value to itself") 776ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith << Value(Data->Type, OldVal) << Data->Type; 786ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Die(); 796ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith} 806ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith 816ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smithvoid __ubsan::__ubsan_handle_divrem_overflow(OverflowData *Data, 826ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith ValueHandle LHS, ValueHandle RHS) { 836ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Value LHSVal(Data->Type, LHS); 846ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Value RHSVal(Data->Type, RHS); 856ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith if (RHSVal.isMinusOne()) 866ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Diag(Data->Loc, "division of %0 by -1 cannot be represented in type %1") 876ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith << LHSVal << Data->Type; 886ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith else 896ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Diag(Data->Loc, "division by zero"); 906ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Die(); 916ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith} 926ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith 936ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smithvoid __ubsan::__ubsan_handle_shift_out_of_bounds(ShiftOutOfBoundsData *Data, 946ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith ValueHandle LHS, 956ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith ValueHandle RHS) { 966ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Value LHSVal(Data->LHSType, LHS); 976ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Value RHSVal(Data->RHSType, RHS); 986ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith if (RHSVal.isNegative()) 996ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Diag(Data->Loc, "shift exponent %0 is negative") << RHSVal; 1006ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith else if (RHSVal.getPositiveIntValue() >= Data->LHSType.getIntegerBitWidth()) 1016ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Diag(Data->Loc, "shift exponent %0 is too large for %1-bit type %2") 1026ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith << RHSVal << Data->LHSType.getIntegerBitWidth() << Data->LHSType; 1036ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith else if (LHSVal.isNegative()) 1046ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Diag(Data->Loc, "left shift of negative value %0") << LHSVal; 1056ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith else 1066ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Diag(Data->Loc, "left shift of %0 by %1 places cannot be represented " 1076ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith "in type %2") << LHSVal << RHSVal << Data->LHSType; 1086ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Die(); 1096ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith} 1106ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith 1116ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smithvoid __ubsan::__ubsan_handle_builtin_unreachable(UnreachableData *Data) { 1126ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Diag(Data->Loc, "execution reached a __builtin_unreachable() call"); 1136ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Die(); 1146ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith} 1156ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith 1166ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smithvoid __ubsan::__ubsan_handle_missing_return(UnreachableData *Data) { 1176ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Diag(Data->Loc, "execution reached the end of a value-returning function " 1186ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith "without returning a value"); 1196ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith Die(); 1206ebe45146a2d93eb010b9bb5ea34cb94c6900f83Richard Smith} 121b04caf1385a4279a7b95d41c3ccefc61842c3633Richard Smith 122b04caf1385a4279a7b95d41c3ccefc61842c3633Richard Smithvoid __ubsan::__ubsan_handle_vla_bound_not_positive(VLABoundData *Data, 123b04caf1385a4279a7b95d41c3ccefc61842c3633Richard Smith ValueHandle Bound) { 124b04caf1385a4279a7b95d41c3ccefc61842c3633Richard Smith Diag(Data->Loc, "variable length array bound evaluates to " 125b04caf1385a4279a7b95d41c3ccefc61842c3633Richard Smith "non-positive value %0") 126b04caf1385a4279a7b95d41c3ccefc61842c3633Richard Smith << Value(Data->Type, Bound); 127b04caf1385a4279a7b95d41c3ccefc61842c3633Richard Smith Die(); 128b04caf1385a4279a7b95d41c3ccefc61842c3633Richard Smith} 12958561700a4abad310911a24a867da49a14fae91eRichard Smith 13058561700a4abad310911a24a867da49a14fae91eRichard Smithvoid __ubsan::__ubsan_handle_float_cast_overflow(FloatCastOverflowData *Data, 13158561700a4abad310911a24a867da49a14fae91eRichard Smith ValueHandle From) { 13258561700a4abad310911a24a867da49a14fae91eRichard Smith Diag(SourceLocation(), "value %0 is outside the range of representable " 13358561700a4abad310911a24a867da49a14fae91eRichard Smith "values of type %2") 13458561700a4abad310911a24a867da49a14fae91eRichard Smith << Value(Data->FromType, From) << Data->FromType << Data->ToType; 13558561700a4abad310911a24a867da49a14fae91eRichard Smith Die(); 13658561700a4abad310911a24a867da49a14fae91eRichard Smith} 137