55 #define	ASSERT(x) KASSERT(x, ("%s: " __STRING(x) " failed", __func__))  macro
66 #include <assert.h>
81 #define ASSERT(x) _DIAGASSERT(x)  macro
84 #define ASSERT(x) assert(x)  macro
356 	ASSERT(pData);  in HandleOverflow()
375 	ASSERT(pData);  in HandleNegateOverflow()
392 	ASSERT(pData);  in HandleBuiltinUnreachable()
408 	ASSERT(mLocation);  in HandleTypeMismatch()
409 	ASSERT(mType);  in HandleTypeMismatch()
434 	ASSERT(pData);  in HandleVlaBoundNotPositive()
452 	ASSERT(pData);  in HandleOutOfBounds()
471 	ASSERT(pData);  in HandleShiftOutOfBounds()
500 	ASSERT(pData);  in HandleLoadInvalidValue()
517 	ASSERT(pData);  in HandleInvalidBuiltin()
543 	ASSERT(pData);  in HandleFunctionTypeMismatch()
564 	ASSERT(pData);  in HandleCFIBadType()
595 	ASSERT(pData);  in HandleDynamicTypeCacheMiss()
613 	ASSERT(pData);  in HandleFloatCastOverflow()
630 	ASSERT(pData);  in HandleMissingReturn()
647 	ASSERT(pData);  in HandleNonnullArg()
668 	ASSERT(pData);  in HandleNonnullReturn()
669 	ASSERT(pLocationPointer);  in HandleNonnullReturn()
689 	ASSERT(pData);  in HandlePointerOverflow()
707 	ASSERT(pData);  in HandleAlignmentAssumption()
733 	ASSERT(pData);  in __ubsan_handle_add_overflow()
742 	ASSERT(pData);  in __ubsan_handle_add_overflow_abort()
751 	ASSERT(pData);  in __ubsan_handle_alignment_assumption()
760 	ASSERT(pData);  in __ubsan_handle_alignment_assumption_abort()
769 	ASSERT(pData);  in __ubsan_handle_builtin_unreachable()
778 	ASSERT(pData);  in __ubsan_handle_cfi_bad_type()
787 	ASSERT(pData);  in __ubsan_handle_cfi_check_fail()
796 	ASSERT(pData);  in __ubsan_handle_cfi_check_fail_abort()
805 	ASSERT(pData);  in __ubsan_handle_divrem_overflow()
814 	ASSERT(pData);  in __ubsan_handle_divrem_overflow_abort()
823 	ASSERT(pData);  in __ubsan_handle_dynamic_type_cache_miss()
832 	ASSERT(pData);  in __ubsan_handle_dynamic_type_cache_miss_abort()
841 	ASSERT(pData);  in __ubsan_handle_float_cast_overflow()
850 	ASSERT(pData);  in __ubsan_handle_float_cast_overflow_abort()
859 	ASSERT(pData);  in __ubsan_handle_function_type_mismatch()
868 	ASSERT(pData);  in __ubsan_handle_function_type_mismatch_abort()
877 	ASSERT(pData);  in __ubsan_handle_invalid_builtin()
886 	ASSERT(pData);  in __ubsan_handle_invalid_builtin_abort()
895 	ASSERT(pData);  in __ubsan_handle_load_invalid_value()
904 	ASSERT(pData);  in __ubsan_handle_load_invalid_value_abort()
913 	ASSERT(pData);  in __ubsan_handle_missing_return()
922 	ASSERT(pData);  in __ubsan_handle_mul_overflow()
931 	ASSERT(pData);  in __ubsan_handle_mul_overflow_abort()
940 	ASSERT(pData);  in __ubsan_handle_negate_overflow()
949 	ASSERT(pData);  in __ubsan_handle_negate_overflow_abort()
958 	ASSERT(pData);  in __ubsan_handle_nonnull_arg()
967 	ASSERT(pData);  in __ubsan_handle_nonnull_arg_abort()
976 	ASSERT(pData);  in __ubsan_handle_nonnull_return_v1()
977 	ASSERT(pLocationPointer);  in __ubsan_handle_nonnull_return_v1()
986 	ASSERT(pData);  in __ubsan_handle_nonnull_return_v1_abort()
987 	ASSERT(pLocationPointer);  in __ubsan_handle_nonnull_return_v1_abort()
996 	ASSERT(pData);  in __ubsan_handle_nullability_arg()
1005 	ASSERT(pData);  in __ubsan_handle_nullability_arg_abort()
1014 	ASSERT(pData);  in __ubsan_handle_nullability_return_v1()
1015 	ASSERT(pLocationPointer);  in __ubsan_handle_nullability_return_v1()
1024 	ASSERT(pData);  in __ubsan_handle_nullability_return_v1_abort()
1025 	ASSERT(pLocationPointer);  in __ubsan_handle_nullability_return_v1_abort()
1034 	ASSERT(pData);  in __ubsan_handle_out_of_bounds()
1043 	ASSERT(pData);  in __ubsan_handle_out_of_bounds_abort()
1052 	ASSERT(pData);  in __ubsan_handle_pointer_overflow()
1061 	ASSERT(pData);  in __ubsan_handle_pointer_overflow_abort()
1070 	ASSERT(pData);  in __ubsan_handle_shift_out_of_bounds()
1079 	ASSERT(pData);  in __ubsan_handle_shift_out_of_bounds_abort()
1088 	ASSERT(pData);  in __ubsan_handle_sub_overflow()
1097 	ASSERT(pData);  in __ubsan_handle_sub_overflow_abort()
1106 	ASSERT(pData);  in __ubsan_handle_type_mismatch()
1115 	ASSERT(pData);  in __ubsan_handle_type_mismatch_abort()
1124 	ASSERT(pData);  in __ubsan_handle_type_mismatch_v1()
1133 	ASSERT(pData);  in __ubsan_handle_type_mismatch_v1_abort()
1142 	ASSERT(pData);  in __ubsan_handle_vla_bound_not_positive()
1151 	ASSERT(pData);  in __ubsan_handle_vla_bound_not_positive_abort()
1186 	ASSERT(pFormat);  in Report()
1277 	ASSERT(pLocation);  in isAlreadyReported()
1293 	ASSERT(pType);  in zDeserializeTypeWidth()
1308 	ASSERT(zWidth > 0);  in zDeserializeTypeWidth()
1317 	ASSERT(pLocation);  in DeserializeLocation()
1318 	ASSERT(pLocation->mFilename);  in DeserializeLocation()
1350 	ASSERT(pBuffer);
1351 	ASSERT(zBUfferLength > 0);
1352 	ASSERT(pType);
1353 	ASSERT(ISSET(pType->mTypeInfo, NUMBER_SIGNED_BIT));
1357 		ASSERT(0 && "Invalid codepath");
1377 	ASSERT(pBuffer);
1378 	ASSERT(zBUfferLength > 0);
1379 	ASSERT(pType);
1380 	ASSERT(!ISSET(pType->mTypeInfo, NUMBER_SIGNED_BIT));
1384 		ASSERT(0 && "Invalid codepath");
1409 	ASSERT(pBuffer);
1410 	ASSERT(zBUfferLength > 0);
1411 	ASSERT(pType);
1412 	ASSERT(pNumber);
1416 	ASSERT((sizeof(*pNumber) * CHAR_BIT < WIDTH_64) || (zDeserializeTypeWidth(pType) >= WIDTH_64));
1417 	ASSERT(sizeof(D) == sizeof(uint64_t));
1419 	ASSERT(sizeof(LD) > sizeof(uint64_t));
1445 	ASSERT(pBuffer);
1446 	ASSERT(zBUfferLength > 0);
1447 	ASSERT(pType);
1448 	ASSERT(sizeof(F) == sizeof(uint32_t));
1449 	ASSERT(sizeof(D) == sizeof(uint64_t));
1479 	ASSERT(szLocation);
1480 	ASSERT(pType);
1522 	ASSERT(pType);
1561 	ASSERT(szLocation);
1562 	ASSERT(pBuffer);
1563 	ASSERT(zBUfferLength > 0);
1564 	ASSERT(pType);
1565 	ASSERT(pType->mTypeKind == KIND_FLOAT);
1596 	ASSERT(szLocation);
1597 	ASSERT(pBuffer);
1598 	ASSERT(zBUfferLength > 0);
1599 	ASSERT(pType);
1644 	ASSERT(__arraycount(rgczTypeCheckKinds) > hhuTypeCheckKind);
1657 	ASSERT(__arraycount(rgczBuiltinCheckKinds) > hhuBuiltinCheckKind);
1675 	ASSERT(__arraycount(rgczCFICheckKinds) > hhuCFICheckKind);
1684 	ASSERT(szLocation);
1685 	ASSERT(pType);
1686 	ASSERT(pType->mTypeKind == KIND_INTEGER);
1698 	ASSERT(szLocation);
1699 	ASSERT(pType);
1700 	ASSERT(pType->mTypeKind == KIND_INTEGER);