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,
562 ErrorType ET = ErrorType::GenericUB;
570 ET = ErrorType::ImplicitUnsignedIntegerTruncation;
572 ET = ErrorType::ImplicitSignedIntegerTruncation;
577 ET = ErrorType::ImplicitUnsignedIntegerTruncation;
580 ET = ErrorType::ImplicitSignedIntegerTruncation;
583 ET = ErrorType::ImplicitIntegerSignChange;
586 ET = ErrorType::ImplicitSignedIntegerTruncationOrSignChange;
590 if (ignoreReport(Loc, Opts, ET))
593 ScopedReport R(Opts, Loc, ET);
599 Diag(Loc, DL_Error, ET,
606 Diag(Loc, DL_Error, ET,
629 ErrorType ET = ErrorType::InvalidBuiltin;
631 if (ignoreReport(Loc, Opts, ET))
634 ScopedReport R(Opts, Loc, ET);
636 Diag(Loc, DL_Error, ET,
654 ErrorType ET = ErrorType::InvalidObjCCast;
656 if (ignoreReport(Loc, Opts, ET))
659 ScopedReport R(Opts, Loc, ET);
664 Diag(Loc, DL_Error, ET,
687 ErrorType ET = IsAttr ? ErrorType::InvalidNullReturn
690 if (ignoreReport(Loc, Opts, ET))
693 ScopedReport R(Opts, Loc, ET);
695 Diag(Loc, DL_Error, ET,
698 Diag(Data->AttrLoc, DL_Note, ET, "%0 specified here")
732 ErrorType ET = IsAttr ? ErrorType::InvalidNullArgument
735 if (ignoreReport(Loc, Opts, ET))
738 ScopedReport R(Opts, Loc, ET);
740 Diag(Loc, DL_Error, ET,
745 Diag(Data->AttrLoc, DL_Note, ET, "%0 specified here")
776 ErrorType ET;
779 ET = ErrorType::NullptrWithOffset;
781 ET = ErrorType::NullptrWithNonZeroOffset;
783 ET = ErrorType::NullptrAfterNonZeroOffset;
785 ET = ErrorType::PointerOverflow;
787 if (ignoreReport(Loc, Opts, ET))
790 ScopedReport R(Opts, Loc, ET);
792 if (ET == ErrorType::NullptrWithOffset) {
793 Diag(Loc, DL_Error, ET, "applying zero offset to null pointer");
794 } else if (ET == ErrorType::NullptrWithNonZeroOffset) {
795 Diag(Loc, DL_Error, ET, "applying non-zero offset %0 to null pointer")
797 } else if (ET == ErrorType::NullptrAfterNonZeroOffset) {
799 Loc, DL_Error, ET,
804 Diag(Loc, DL_Error, ET,
808 Diag(Loc, DL_Error, ET,
812 Diag(Loc, DL_Error, ET,
839 ErrorType ET = ErrorType::CFIBadType;
841 if (ignoreReport(Loc, Opts, ET))
844 ScopedReport R(Opts, Loc, ET);
849 Diag(Loc, DL_Error, ET,
857 Diag(FLoc, DL_Note, ET, "%0 defined here") << FName;
870 Diag(Loc, DL_Note, ET,
929 ErrorType ET = ErrorType::FunctionTypeMismatch;
930 if (ignoreReport(CallLoc, Opts, ET))
933 ScopedReport R(Opts, CallLoc, ET);
940 Diag(CallLoc, DL_Error, ET,
943 Diag(FLoc, DL_Note, ET, "%0 defined here") << FName;