Home | History | Annotate | Download | only in ubsan

Lines Matching defs:ET

27 bool ignoreReport(SourceLocation SLoc, ReportOptions Opts, ErrorType ET) {
37 return SLoc.isDisabled() || IsPCSuppressed(ET, Opts.pc, SLoc.getFilename());
91 ErrorType ET;
93 ET = (Data->TypeCheckKind == TCK_NonnullAssign)
97 ET = ErrorType::MisalignedPointerUse;
99 ET = ErrorType::InsufficientObjectSize;
103 if (ignoreReport(Loc.getSourceLocation(), Opts, ET))
112 ScopedReport R(Opts, Loc, ET);
114 switch (ET) {
117 Diag(Loc, DL_Error, ET, "%0 null pointer of type %1")
121 Diag(Loc, DL_Error, ET, "%0 misaligned address %1 for type %3, "
127 Diag(Loc, DL_Error, ET, "%0 address %1 with insufficient space "
136 Diag(Pointer, DL_Note, ET, "pointer points here");
159 ErrorType ET = ErrorType::AlignmentAssumption;
161 if (ignoreReport(Loc.getSourceLocation(), Opts, ET))
164 ScopedReport R(Opts, Loc, ET);
174 Diag(Loc, DL_Error, ET,
178 Diag(Loc, DL_Error, ET,
185 Diag(AssumptionLoc, DL_Note, ET, "alignment assumption was specified here");
187 Diag(RealPointer, DL_Note, ET,
214 ErrorType ET = IsSigned ? ErrorType::SignedIntegerOverflow
217 if (ignoreReport(Loc, Opts, ET))
225 ScopedReport R(Opts, Loc, ET);
227 Diag(Loc, DL_Error, ET, "%0 integer overflow: "
253 ErrorType ET = IsSigned ? ErrorType::SignedIntegerOverflow
256 if (ignoreReport(Loc, Opts, ET))
262 ScopedReport R(Opts, Loc, ET);
265 Diag(Loc, DL_Error, ET,
270 Diag(Loc, DL_Error, ET, "negation of %0 cannot be represented in type %1")
292 ErrorType ET;
294 ET = ErrorType::SignedIntegerOverflow;
296 ET = ErrorType::IntegerDivideByZero;
298 ET = ErrorType::FloatDivideByZero;
300 if (ignoreReport(Loc, Opts, ET))
303 ScopedReport R(Opts, Loc, ET);
305 switch (ET) {
307 Diag(Loc, DL_Error, ET,
312 Diag(Loc, DL_Error, ET, "division by zero");
337 ErrorType ET;
340 ET = ErrorType::InvalidShiftExponent;
342 ET = ErrorType::InvalidShiftBase;
344 if (ignoreReport(Loc, Opts, ET))
347 ScopedReport R(Opts, Loc, ET);
349 if (ET == ErrorType::InvalidShiftExponent) {
351 Diag(Loc, DL_Error, ET, "shift exponent %0 is negative") << RHSVal;
353 Diag(Loc, DL_Error, ET,
358 Diag(Loc, DL_Error, ET, "left shift of negative value %0") << LHSVal;
360 Diag(Loc, DL_Error, ET,
384 ErrorType ET = ErrorType::OutOfBoundsIndex;
386 if (ignoreReport(Loc, Opts, ET))
389 ScopedReport R(Opts, Loc, ET);
392 Diag(Loc, DL_Error, ET, "index %0 out of bounds for type %1")
410 ErrorType ET = ErrorType::UnreachableCall;
411 ScopedReport R(Opts, Data->Loc, ET);
412 Diag(Data->Loc, DL_Error, ET,
423 ErrorType ET = ErrorType::MissingReturn;
424 ScopedReport R(Opts, Data->Loc, ET);
425 Diag(Data->Loc, DL_Error, ET,
439 ErrorType ET = ErrorType::NonPositiveVLAIndex;
441 if (ignoreReport(Loc, Opts, ET
444 ScopedReport R(Opts, Loc, ET);
446 Diag(Loc, DL_Error, ET, "variable length array bound evaluates to "
486 ErrorType ET = ErrorType::FloatCastOverflow;
497 if (ignoreReport(SLoc, Opts, ET))
504 ScopedReport R(Opts, Loc, ET);
506 Diag(Loc, DL_Error, ET,
529 ErrorType ET =
532 if (ignoreReport(Loc, Opts, ET))
535 ScopedReport R(Opts, Loc, ET);
537 Diag(Loc, DL_Error, ET,
558 ErrorType ET = ErrorType::GenericUB;
572 ET = ErrorType::ImplicitUnsignedIntegerTruncation;
574 ET = ErrorType::ImplicitSignedIntegerTruncation;
579 ET = ErrorType::ImplicitUnsignedIntegerTruncation;
582 ET = ErrorType::ImplicitSignedIntegerTruncation;
585 ET = ErrorType::ImplicitIntegerSignChange;
588 ET = ErrorType::ImplicitSignedIntegerTruncationOrSignChange;
592 if (ignoreReport(Loc, Opts, ET))
595 ScopedReport R(Opts, Loc, ET);
599 Diag(Loc, DL_Error, ET,
622 ErrorType ET = ErrorType::InvalidBuiltin;
624 if (ignoreReport(Loc, Opts, ET))
627 ScopedReport R(Opts, Loc, ET);
629 Diag(Loc, DL_Error, ET,
647 ErrorType ET = ErrorType::InvalidObjCCast;
649 if (ignoreReport(Loc, Opts, ET))
652 ScopedReport R(Opts, Loc, ET);
657 Diag(Loc, DL_Error, ET,
680 ErrorType ET = IsAttr ? ErrorType::InvalidNullReturn
683 if (ignoreReport(Loc, Opts, ET))
686 ScopedReport R(Opts, Loc, ET);
688 Diag(Loc, DL_Error, ET,
691 Diag(Data->AttrLoc, DL_Note, ET, "%0 specified here")
725 ErrorType ET = IsAttr ? ErrorType::InvalidNullArgument
728 if (ignoreReport(Loc, Opts, ET))
731 ScopedReport R(Opts, Loc, ET);
733 Diag(Loc, DL_Error, ET,
738 Diag(Data->AttrLoc, DL_Note, ET, "%0 specified here")
769 ErrorType ET;
772 ET = ErrorType::NullptrWithOffset;
774 ET = ErrorType::NullptrWithNonZeroOffset;
776 ET = ErrorType::NullptrAfterNonZeroOffset;
778 ET = ErrorType::PointerOverflow;
780 if (ignoreReport(Loc, Opts, ET))
783 ScopedReport R(Opts, Loc, ET);
785 if (ET == ErrorType::NullptrWithOffset) {
786 Diag(Loc, DL_Error, ET, "applying zero offset to null pointer");
787 } else if (ET == ErrorType::NullptrWithNonZeroOffset) {
788 Diag(Loc, DL_Error, ET, "applying non-zero offset %0 to null pointer")
790 } else if (ET == ErrorType::NullptrAfterNonZeroOffset) {
792 Loc, DL_Error, ET,
797 Diag(Loc, DL_Error, ET,
801 Diag(Loc, DL_Error, ET,
805 Diag(Loc, DL_Error, ET,
832 ErrorType ET = ErrorType::CFIBadType;
834 if (ignoreReport(Loc, Opts, ET))
837 ScopedReport R(Opts, Loc, ET);
842 Diag(Loc, DL_Error, ET,
850 Diag(FLoc, DL_Note, ET, "%0 defined here") << FName;
863 Diag(Loc, DL_Note, ET,