lib/ubsan/ubsan_handlers.cpp

26 bool ignoreReport(SourceLocation SLoc, ReportOptions Opts, ErrorType ET) {
36   return SLoc.isDisabled() || IsPCSuppressed(ET, Opts.pc, SLoc.getFilename());
51   ErrorType ET;
53     ET = ErrorType::NullPointerUse;
55     ET = ErrorType::MisalignedPointerUse;
57     ET = ErrorType::InsufficientObjectSize;
61   if (ignoreReport(Loc.getSourceLocation(), Opts, ET))
70   ScopedReport R(Opts, Loc, ET);
72   switch (ET) {
74     Diag(Loc, DL_Error, ET, "%0 null pointer of type %1")
78     Diag(Loc, DL_Error, ET, "%0 misaligned address %1 for type %3, "
84     Diag(Loc, DL_Error, ET, "%0 address %1 with insufficient space "
93     Diag(Pointer, DL_Note, ET, "pointer points here");
116   ErrorType ET = ErrorType::AlignmentAssumption;
118   if (ignoreReport(Loc.getSourceLocation(), Opts, ET))
121   ScopedReport R(Opts, Loc, ET);
131     Diag(Loc, DL_Error, ET,
135     Diag(Loc, DL_Error, ET,
142     Diag(AssumptionLoc, DL_Note, ET, "alignment assumption was specified here");
144   Diag(RealPointer, DL_Note, ET,
171   ErrorType ET = IsSigned ? ErrorType::SignedIntegerOverflow
174   if (ignoreReport(Loc, Opts, ET))
182   ScopedReport R(Opts, Loc, ET);
184   Diag(Loc, DL_Error, ET, "%0 integer overflow: "
210   ErrorType ET = IsSigned ? ErrorType::SignedIntegerOverflow
213   if (ignoreReport(Loc, Opts, ET))
219   ScopedReport R(Opts, Loc, ET);
222     Diag(Loc, DL_Error, ET,
227     Diag(Loc, DL_Error, ET, "negation of %0 cannot be represented in type %1")
249   ErrorType ET;
251     ET = ErrorType::SignedIntegerOverflow;
253     ET = ErrorType::IntegerDivideByZero;
255     ET = ErrorType::FloatDivideByZero;
257   if (ignoreReport(Loc, Opts, ET))
260   ScopedReport R(Opts, Loc, ET);
262   switch (ET) {
264     Diag(Loc, DL_Error, ET,
269     Diag(Loc, DL_Error, ET, "division by zero");
294   ErrorType ET;
297     ET = ErrorType::InvalidShiftExponent;
299     ET = ErrorType::InvalidShiftBase;
301   if (ignoreReport(Loc, Opts, ET))
304   ScopedReport R(Opts, Loc, ET);
306   if (ET == ErrorType::InvalidShiftExponent) {
308       Diag(Loc, DL_Error, ET, "shift exponent %0 is negative") << RHSVal;
310       Diag(Loc, DL_Error, ET,
315       Diag(Loc, DL_Error, ET, "left shift of negative value %0") << LHSVal;
317       Diag(Loc, DL_Error, ET,
341   ErrorType ET = ErrorType::OutOfBoundsIndex;
343   if (ignoreReport(Loc, Opts, ET))
346   ScopedReport R(Opts, Loc, ET);
349   Diag(Loc, DL_Error, ET, "index %0 out of bounds for type %1")
367   ErrorType ET = ErrorType::UnreachableCall;
368   ScopedReport R(Opts, Data->Loc, ET);
369   Diag(Data->Loc, DL_Error, ET,
380   ErrorType ET = ErrorType::MissingReturn;
381   ScopedReport R(Opts, Data->Loc, ET);
382   Diag(Data->Loc, DL_Error, ET,
396   ErrorType ET = ErrorType::NonPositiveVLAIndex;
398   if (ignoreReport(Loc, Opts, ET))
401   ScopedReport R(Opts, Loc, ET);
403   Diag(Loc, DL_Error, ET, "variable length array bound evaluates to "
443   ErrorType ET = ErrorType::FloatCastOverflow;
454     if (ignoreReport(SLoc, Opts, ET))
461   ScopedReport R(Opts, Loc, ET);
463   Diag(Loc, DL_Error, ET,
486   ErrorType ET =
489   if (ignoreReport(Loc, Opts, ET))
492   ScopedReport R(Opts, Loc, ET);
494   Diag(Loc, DL_Error, ET,
515   ErrorType ET = ErrorType::GenericUB;
529       ET = ErrorType::ImplicitUnsignedIntegerTruncation;
531       ET = ErrorType::ImplicitSignedIntegerTruncation;
536     ET = ErrorType::ImplicitUnsignedIntegerTruncation;
539     ET = ErrorType::ImplicitSignedIntegerTruncation;
542     ET = ErrorType::ImplicitIntegerSignChange;
545     ET = ErrorType::ImplicitSignedIntegerTruncationOrSignChange;
549   if (ignoreReport(Loc, Opts, ET))
552   ScopedReport R(Opts, Loc, ET);
556   Diag(Loc, DL_Error, ET,
579   ErrorType ET = ErrorType::InvalidBuiltin;
581   if (ignoreReport(Loc, Opts, ET))
584   ScopedReport R(Opts, Loc, ET);
586   Diag(Loc, DL_Error, ET,
607   ErrorType ET = ErrorType::InvalidNullReturn;
609   if (ignoreReport(Loc, Opts, ET))
612   ScopedReport R(Opts, Loc, ET);
614   Diag(Loc, DL_Error, ET,
617     Diag(Data->AttrLoc, DL_Note, ET, "%0 specified here")
651   ErrorType ET = ErrorType::InvalidNullArgument;
653   if (ignoreReport(Loc, Opts, ET))
656   ScopedReport R(Opts, Loc, ET);
658   Diag(Loc, DL_Error, ET,
663     Diag(Data->AttrLoc, DL_Note, ET, "%0 specified here")
694   ErrorType ET;
697     ET = ErrorType::NullptrWithOffset;
699     ET = ErrorType::NullptrWithNonZeroOffset;
701     ET = ErrorType::NullptrAfterNonZeroOffset;
703     ET = ErrorType::PointerOverflow;
705   if (ignoreReport(Loc, Opts, ET))
708   ScopedReport R(Opts, Loc, ET);
710   if (ET == ErrorType::NullptrWithOffset) {
711     Diag(Loc, DL_Error, ET, "applying zero offset to null pointer");
712   } else if (ET == ErrorType::NullptrWithNonZeroOffset) {
713     Diag(Loc, DL_Error, ET, "applying non-zero offset %0 to null pointer")
715   } else if (ET == ErrorType::NullptrAfterNonZeroOffset) {
717         Loc, DL_Error, ET,
722       Diag(Loc, DL_Error, ET,
726       Diag(Loc, DL_Error, ET,
730     Diag(Loc, DL_Error, ET,
757   ErrorType ET = ErrorType::CFIBadType;
759   if (ignoreReport(Loc, Opts, ET))
762   ScopedReport R(Opts, Loc, ET);
767   Diag(Loc, DL_Error, ET,
775   Diag(FLoc, DL_Note, ET, "%0 defined here") << FName;
788     Diag(Loc, DL_Note, ET,