llvm-project
960 строк · 33.9 Кб
1//===-- ubsan_handlers.cpp ------------------------------------------------===//2//3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.4// See https://llvm.org/LICENSE.txt for license information.5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception6//7//===----------------------------------------------------------------------===//8//9// Error logging entry points for the UBSan runtime.10//11//===----------------------------------------------------------------------===//12}39/// Situations in which we might emit a check for the suitability of a41/// pointer or glvalue. Needs to be kept in sync with CodeGenFunction.h in42/// clang.43enum TypeCheckKind {44/// Checking the operand of a load. Must be suitably sized and aligned.45TCK_Load,46/// Checking the destination of a store. Must be suitably sized and aligned.47TCK_Store,48/// Checking the bound value in a reference binding. Must be suitably sized49/// and aligned, but is not required to refer to an object (until the50/// reference is used), per core issue 453.51TCK_ReferenceBinding,52/// Checking the object expression in a non-static data member access. Must53/// be an object within its lifetime.54TCK_MemberAccess,55/// Checking the 'this' pointer for a call to a non-static member function.56/// Must be an object within its lifetime.57TCK_MemberCall,58/// Checking the 'this' pointer for a constructor call.59TCK_ConstructorCall,60/// Checking the operand of a static_cast to a derived pointer type. Must be61/// null or an object within its lifetime.62TCK_DowncastPointer,63/// Checking the operand of a static_cast to a derived reference type. Must64/// be an object within its lifetime.65TCK_DowncastReference,66/// Checking the operand of a cast to a base object. Must be suitably sized67/// and aligned.68TCK_Upcast,69/// Checking the operand of a cast to a virtual base object. Must be an70/// object within its lifetime.71TCK_UpcastToVirtualBase,72/// Checking the value assigned to a _Nonnull pointer. Must not be null.73TCK_NonnullAssign,74/// Checking the operand of a dynamic_cast or a typeid expression. Must be75/// null or an object within its lifetime.76TCK_DynamicOperation77};78}85}138}144void __ubsan::__ubsan_handle_type_mismatch_v1_abort(TypeMismatchData *Data,145ValueHandle Pointer) {146GET_REPORT_OPTIONS(true);147handleTypeMismatchImpl(Data, Pointer, Opts);148Die();149}150}191}199void __ubsan::__ubsan_handle_alignment_assumption_abort(200AlignmentAssumptionData *Data, ValueHandle Pointer, ValueHandle Alignment,201ValueHandle Offset) {202GET_REPORT_OPTIONS(true);203handleAlignmentAssumptionImpl(Data, Pointer, Alignment, Offset, Opts);204Die();205}206/// \brief Common diagnostic emission for various forms of integer overflow.208template <typename T>209static void handleIntegerOverflowImpl(OverflowData *Data, ValueHandle LHS,210const char *Operator, T RHS,211ReportOptions Opts) {212SourceLocation Loc = Data->Loc.acquire();213bool IsSigned = Data->Type.isSignedIntegerTy();214ErrorType ET = IsSigned ? ErrorType::SignedIntegerOverflow215: ErrorType::UnsignedIntegerOverflow;216}232}273}279void __ubsan::__ubsan_handle_negate_overflow_abort(OverflowData *Data,280ValueHandle OldVal) {281GET_REPORT_OPTIONS(true);282handleNegateOverflowImpl(Data, OldVal, Opts);283Die();284}285}316}322void __ubsan::__ubsan_handle_divrem_overflow_abort(OverflowData *Data,323ValueHandle LHS,324ValueHandle RHS) {325GET_REPORT_OPTIONS(true);326handleDivremOverflowImpl(Data, LHS, RHS, Opts);327Die();328}329}365}372void __ubsan::__ubsan_handle_shift_out_of_bounds_abort(373ShiftOutOfBoundsData *Data,374ValueHandle LHS,375ValueHandle RHS) {376GET_REPORT_OPTIONS(true);377handleShiftOutOfBoundsImpl(Data, LHS, RHS, Opts);378Die();379}380}395}401void __ubsan::__ubsan_handle_out_of_bounds_abort(OutOfBoundsData *Data,402ValueHandle Index) {403GET_REPORT_OPTIONS(true);404handleOutOfBoundsImpl(Data, Index, Opts);405Die();406}407}415}421}429}435}450}456void __ubsan::__ubsan_handle_vla_bound_not_positive_abort(VLABoundData *Data,457ValueHandle Bound) {458GET_REPORT_OPTIONS(true);459handleVLABoundNotPositive(Data, Bound, Opts);460Die();461}462}480}510}515void __ubsan::__ubsan_handle_float_cast_overflow_abort(void *Data,516ValueHandle From) {517GET_REPORT_OPTIONS(true);518handleFloatCastOverflow(Data, From, Opts);519Die();520}521}541}547void __ubsan::__ubsan_handle_load_invalid_value_abort(InvalidValueData *Data,548ValueHandle Val) {549GET_REPORT_OPTIONS(true);550handleLoadInvalidValue(Data, Val, Opts);551Die();552}553}613}620void __ubsan::__ubsan_handle_implicit_conversion_abort(621ImplicitConversionData *Data, ValueHandle Src, ValueHandle Dst) {622GET_REPORT_OPTIONS(true);623handleImplicitConversion(Data, Opts, Src, Dst);624Die();625}626}640}645void __ubsan::__ubsan_handle_invalid_builtin_abort(InvalidBuiltinData *Data) {646GET_REPORT_OPTIONS(true);647handleInvalidBuiltin(Data, Opts);648Die();649}650}668}674void __ubsan::__ubsan_handle_invalid_objc_cast_abort(InvalidObjCCast *Data,675ValueHandle Pointer) {676GET_REPORT_OPTIONS(true);677handleInvalidObjCCast(Data, Pointer, Opts);678Die();679}680}702}708}715}721}728}748}753}759}764}770}817}824}832}874}887SANITIZER_WEAK_ATTRIBUTE891#endif892void __ubsan_handle_cfi_bad_type(CFICheckFailData *Data, ValueHandle Vtable,893bool ValidVtable, ReportOptions Opts);894}900#endif901}913}924}946}952}959