linux-master/lib/overflow_kunit.c

811 #define TEST_OVERFLOWS_TYPE(__t1, __t2, v, of) do {			\
820 	TEST_OVERFLOWS_TYPE(u8, u8, U8_MAX, false);
821 	TEST_OVERFLOWS_TYPE(u8, u16, U8_MAX, false);
822 	TEST_OVERFLOWS_TYPE(u8, s8, U8_MAX, true);
823 	TEST_OVERFLOWS_TYPE(u8, s8, S8_MAX, false);
824 	TEST_OVERFLOWS_TYPE(u8, s8, (u8)S8_MAX + 1, true);
825 	TEST_OVERFLOWS_TYPE(u8, s16, U8_MAX, false);
826 	TEST_OVERFLOWS_TYPE(s8, u8, S8_MAX, false);
827 	TEST_OVERFLOWS_TYPE(s8, u8, -1, true);
828 	TEST_OVERFLOWS_TYPE(s8, u8, S8_MIN, true);
829 	TEST_OVERFLOWS_TYPE(s8, u16, S8_MAX, false);
830 	TEST_OVERFLOWS_TYPE(s8, u16, -1, true);
831 	TEST_OVERFLOWS_TYPE(s8, u16, S8_MIN, true);
832 	TEST_OVERFLOWS_TYPE(s8, u32, S8_MAX, false);
833 	TEST_OVERFLOWS_TYPE(s8, u32, -1, true);
834 	TEST_OVERFLOWS_TYPE(s8, u32, S8_MIN, true);
836 	TEST_OVERFLOWS_TYPE(s8, u64, S8_MAX, false);
837 	TEST_OVERFLOWS_TYPE(s8, u64, -1, true);
838 	TEST_OVERFLOWS_TYPE(s8, u64, S8_MIN, true);
840 	TEST_OVERFLOWS_TYPE(s8, s8, S8_MAX, false);
841 	TEST_OVERFLOWS_TYPE(s8, s8, S8_MIN, false);
842 	TEST_OVERFLOWS_TYPE(s8, s16, S8_MAX, false);
843 	TEST_OVERFLOWS_TYPE(s8, s16, S8_MIN, false);
844 	TEST_OVERFLOWS_TYPE(u16, u8, U8_MAX, false);
845 	TEST_OVERFLOWS_TYPE(u16, u8, (u16)U8_MAX + 1, true);
846 	TEST_OVERFLOWS_TYPE(u16, u8, U16_MAX, true);
847 	TEST_OVERFLOWS_TYPE(u16, s8, S8_MAX, false);
848 	TEST_OVERFLOWS_TYPE(u16, s8, (u16)S8_MAX + 1, true);
849 	TEST_OVERFLOWS_TYPE(u16, s8, U16_MAX, true);
850 	TEST_OVERFLOWS_TYPE(u16, s16, S16_MAX, false);
851 	TEST_OVERFLOWS_TYPE(u16, s16, (u16)S16_MAX + 1, true);
852 	TEST_OVERFLOWS_TYPE(u16, s16, U16_MAX, true);
853 	TEST_OVERFLOWS_TYPE(u16, u32, U16_MAX, false);
854 	TEST_OVERFLOWS_TYPE(u16, s32, U16_MAX, false);
855 	TEST_OVERFLOWS_TYPE(s16, u8, U8_MAX, false);
856 	TEST_OVERFLOWS_TYPE(s16, u8, (s16)U8_MAX + 1, true);
857 	TEST_OVERFLOWS_TYPE(s16, u8, -1, true);
858 	TEST_OVERFLOWS_TYPE(s16, u8, S16_MIN, true);
859 	TEST_OVERFLOWS_TYPE(s16, u16, S16_MAX, false);
860 	TEST_OVERFLOWS_TYPE(s16, u16, -1, true);
861 	TEST_OVERFLOWS_TYPE(s16, u16, S16_MIN, true);
862 	TEST_OVERFLOWS_TYPE(s16, u32, S16_MAX, false);
863 	TEST_OVERFLOWS_TYPE(s16, u32, -1, true);
864 	TEST_OVERFLOWS_TYPE(s16, u32, S16_MIN, true);
866 	TEST_OVERFLOWS_TYPE(s16, u64, S16_MAX, false);
867 	TEST_OVERFLOWS_TYPE(s16, u64, -1, true);
868 	TEST_OVERFLOWS_TYPE(s16, u64, S16_MIN, true);
870 	TEST_OVERFLOWS_TYPE(s16, s8, S8_MAX, false);
871 	TEST_OVERFLOWS_TYPE(s16, s8, S8_MIN, false);
872 	TEST_OVERFLOWS_TYPE(s16, s8, (s16)S8_MAX + 1, true);
873 	TEST_OVERFLOWS_TYPE(s16, s8, (s16)S8_MIN - 1, true);
874 	TEST_OVERFLOWS_TYPE(s16, s8, S16_MAX, true);
875 	TEST_OVERFLOWS_TYPE(s16, s8, S16_MIN, true);
876 	TEST_OVERFLOWS_TYPE(s16, s16, S16_MAX, false);
877 	TEST_OVERFLOWS_TYPE(s16, s16, S16_MIN, false);
878 	TEST_OVERFLOWS_TYPE(s16, s32, S16_MAX, false);
879 	TEST_OVERFLOWS_TYPE(s16, s32, S16_MIN, false);
880 	TEST_OVERFLOWS_TYPE(u32, u8, U8_MAX, false);
881 	TEST_OVERFLOWS_TYPE(u32, u8, (u32)U8_MAX + 1, true);
882 	TEST_OVERFLOWS_TYPE(u32, u8, U32_MAX, true);
883 	TEST_OVERFLOWS_TYPE(u32, s8, S8_MAX, false);
884 	TEST_OVERFLOWS_TYPE(u32, s8, (u32)S8_MAX + 1, true);
885 	TEST_OVERFLOWS_TYPE(u32, s8, U32_MAX, true);
886 	TEST_OVERFLOWS_TYPE(u32, u16, U16_MAX, false);
887 	TEST_OVERFLOWS_TYPE(u32, u16, U16_MAX + 1, true);
888 	TEST_OVERFLOWS_TYPE(u32, u16, U32_MAX, true);
889 	TEST_OVERFLOWS_TYPE(u32, s16, S16_MAX, false);
890 	TEST_OVERFLOWS_TYPE(u32, s16, (u32)S16_MAX + 1, true);
891 	TEST_OVERFLOWS_TYPE(u32, s16, U32_MAX, true);
892 	TEST_OVERFLOWS_TYPE(u32, u32, U32_MAX, false);
893 	TEST_OVERFLOWS_TYPE(u32, s32, S32_MAX, false);
894 	TEST_OVERFLOWS_TYPE(u32, s32, U32_MAX, true);
895 	TEST_OVERFLOWS_TYPE(u32, s32, (u32)S32_MAX + 1, true);
897 	TEST_OVERFLOWS_TYPE(u32, u64, U32_MAX, false);
898 	TEST_OVERFLOWS_TYPE(u32, s64, U32_MAX, false);
900 	TEST_OVERFLOWS_TYPE(s32, u8, U8_MAX, false);
901 	TEST_OVERFLOWS_TYPE(s32, u8, (s32)U8_MAX + 1, true);
902 	TEST_OVERFLOWS_TYPE(s32, u16, S32_MAX, true);
903 	TEST_OVERFLOWS_TYPE(s32, u8, -1, true);
904 	TEST_OVERFLOWS_TYPE(s32, u8, S32_MIN, true);
905 	TEST_OVERFLOWS_TYPE(s32, u16, U16_MAX, false);
906 	TEST_OVERFLOWS_TYPE(s32, u16, (s32)U16_MAX + 1, true);
907 	TEST_OVERFLOWS_TYPE(s32, u16, S32_MAX, true);
908 	TEST_OVERFLOWS_TYPE(s32, u16, -1, true);
909 	TEST_OVERFLOWS_TYPE(s32, u16, S32_MIN, true);
910 	TEST_OVERFLOWS_TYPE(s32, u32, S32_MAX, false);
911 	TEST_OVERFLOWS_TYPE(s32, u32, -1, true);
912 	TEST_OVERFLOWS_TYPE(s32, u32, S32_MIN, true);
914 	TEST_OVERFLOWS_TYPE(s32, u64, S32_MAX, false);
915 	TEST_OVERFLOWS_TYPE(s32, u64, -1, true);
916 	TEST_OVERFLOWS_TYPE(s32, u64, S32_MIN, true);
918 	TEST_OVERFLOWS_TYPE(s32, s8, S8_MAX, false);
919 	TEST_OVERFLOWS_TYPE(s32, s8, S8_MIN, false);
920 	TEST_OVERFLOWS_TYPE(s32, s8, (s32)S8_MAX + 1, true);
921 	TEST_OVERFLOWS_TYPE(s32, s8, (s32)S8_MIN - 1, true);
922 	TEST_OVERFLOWS_TYPE(s32, s8, S32_MAX, true);
923 	TEST_OVERFLOWS_TYPE(s32, s8, S32_MIN, true);
924 	TEST_OVERFLOWS_TYPE(s32, s16, S16_MAX, false);
925 	TEST_OVERFLOWS_TYPE(s32, s16, S16_MIN, false);
926 	TEST_OVERFLOWS_TYPE(s32, s16, (s32)S16_MAX + 1, true);
927 	TEST_OVERFLOWS_TYPE(s32, s16, (s32)S16_MIN - 1, true);
928 	TEST_OVERFLOWS_TYPE(s32, s16, S32_MAX, true);
929 	TEST_OVERFLOWS_TYPE(s32, s16, S32_MIN, true);
930 	TEST_OVERFLOWS_TYPE(s32, s32, S32_MAX, false);
931 	TEST_OVERFLOWS_TYPE(s32, s32, S32_MIN, false);
933 	TEST_OVERFLOWS_TYPE(s32, s64, S32_MAX, false);
934 	TEST_OVERFLOWS_TYPE(s32, s64, S32_MIN, false);
935 	TEST_OVERFLOWS_TYPE(u64, u8, U64_MAX, true);
936 	TEST_OVERFLOWS_TYPE(u64, u8, U8_MAX, false);
937 	TEST_OVERFLOWS_TYPE(u64, u8, (u64)U8_MAX + 1, true);
938 	TEST_OVERFLOWS_TYPE(u64, u16, U64_MAX, true);
939 	TEST_OVERFLOWS_TYPE(u64, u16, U16_MAX, false);
940 	TEST_OVERFLOWS_TYPE(u64, u16, (u64)U16_MAX + 1, true);
941 	TEST_OVERFLOWS_TYPE(u64, u32, U64_MAX, true);
942 	TEST_OVERFLOWS_TYPE(u64, u32, U32_MAX, false);
943 	TEST_OVERFLOWS_TYPE(u64, u32, (u64)U32_MAX + 1, true);
944 	TEST_OVERFLOWS_TYPE(u64, u64, U64_MAX, false);
945 	TEST_OVERFLOWS_TYPE(u64, s8, S8_MAX, false);
946 	TEST_OVERFLOWS_TYPE(u64, s8, (u64)S8_MAX + 1, true);
947 	TEST_OVERFLOWS_TYPE(u64, s8, U64_MAX, true);
948 	TEST_OVERFLOWS_TYPE(u64, s16, S16_MAX, false);
949 	TEST_OVERFLOWS_TYPE(u64, s16, (u64)S16_MAX + 1, true);
950 	TEST_OVERFLOWS_TYPE(u64, s16, U64_MAX, true);
951 	TEST_OVERFLOWS_TYPE(u64, s32, S32_MAX, false);
952 	TEST_OVERFLOWS_TYPE(u64, s32, (u64)S32_MAX + 1, true);
953 	TEST_OVERFLOWS_TYPE(u64, s32, U64_MAX, true);
954 	TEST_OVERFLOWS_TYPE(u64, s64, S64_MAX, false);
955 	TEST_OVERFLOWS_TYPE(u64, s64, U64_MAX, true);
956 	TEST_OVERFLOWS_TYPE(u64, s64, (u64)S64_MAX + 1, true);
957 	TEST_OVERFLOWS_TYPE(s64, u8, S64_MAX, true);
958 	TEST_OVERFLOWS_TYPE(s64, u8, S64_MIN, true);
959 	TEST_OVERFLOWS_TYPE(s64, u8, -1, true);
960 	TEST_OVERFLOWS_TYPE(s64, u8, U8_MAX, false);
961 	TEST_OVERFLOWS_TYPE(s64, u8, (s64)U8_MAX + 1, true);
962 	TEST_OVERFLOWS_TYPE(s64, u16, S64_MAX, true);
963 	TEST_OVERFLOWS_TYPE(s64, u16, S64_MIN, true);
964 	TEST_OVERFLOWS_TYPE(s64, u16, -1, true);
965 	TEST_OVERFLOWS_TYPE(s64, u16, U16_MAX, false);
966 	TEST_OVERFLOWS_TYPE(s64, u16, (s64)U16_MAX + 1, true);
967 	TEST_OVERFLOWS_TYPE(s64, u32, S64_MAX, true);
968 	TEST_OVERFLOWS_TYPE(s64, u32, S64_MIN, true);
969 	TEST_OVERFLOWS_TYPE(s64, u32, -1, true);
970 	TEST_OVERFLOWS_TYPE(s64, u32, U32_MAX, false);
971 	TEST_OVERFLOWS_TYPE(s64, u32, (s64)U32_MAX + 1, true);
972 	TEST_OVERFLOWS_TYPE(s64, u64, S64_MAX, false);
973 	TEST_OVERFLOWS_TYPE(s64, u64, S64_MIN, true);
974 	TEST_OVERFLOWS_TYPE(s64, u64, -1, true);
975 	TEST_OVERFLOWS_TYPE(s64, s8, S8_MAX, false);
976 	TEST_OVERFLOWS_TYPE(s64, s8, S8_MIN, false);
977 	TEST_OVERFLOWS_TYPE(s64, s8, (s64)S8_MAX + 1, true);
978 	TEST_OVERFLOWS_TYPE(s64, s8, (s64)S8_MIN - 1, true);
979 	TEST_OVERFLOWS_TYPE(s64, s8, S64_MAX, true);
980 	TEST_OVERFLOWS_TYPE(s64, s16, S16_MAX, false);
981 	TEST_OVERFLOWS_TYPE(s64, s16, S16_MIN, false);
982 	TEST_OVERFLOWS_TYPE(s64, s16, (s64)S16_MAX + 1, true);
983 	TEST_OVERFLOWS_TYPE(s64, s16, (s64)S16_MIN - 1, true);
984 	TEST_OVERFLOWS_TYPE(s64, s16, S64_MAX, true);
985 	TEST_OVERFLOWS_TYPE(s64, s32, S32_MAX, false);
986 	TEST_OVERFLOWS_TYPE(s64, s32, S32_MIN, false);
987 	TEST_OVERFLOWS_TYPE(s64, s32, (s64)S32_MAX + 1, true);
988 	TEST_OVERFLOWS_TYPE(s64, s32, (s64)S32_MIN - 1, true);
989 	TEST_OVERFLOWS_TYPE(s64, s32, S64_MAX, true);
990 	TEST_OVERFLOWS_TYPE(s64, s64, S64_MAX, false);
991 	TEST_OVERFLOWS_TYPE(s64, s64, S64_MIN, false);
1005 #undef TEST_OVERFLOWS_TYPE