linux-master/lib/fortify_kunit.c

86 	KUNIT_EXPECT_EQ(test, __compiletime_strlen("88888888"), 8);
87 	KUNIT_EXPECT_EQ(test, __compiletime_strlen(array_of_10), 10);
88 	KUNIT_EXPECT_EQ(test, __compiletime_strlen(ptr_of_11), 11);
90 	KUNIT_EXPECT_EQ(test, __compiletime_strlen(array_unknown), SIZE_MAX);
92 	KUNIT_EXPECT_EQ(test, __compiletime_strlen(test->name), SIZE_MAX);
119 	KUNIT_EXPECT_EQ(test, want_minus_one(pick), SIZE_MAX);
130 	KUNIT_EXPECT_EQ(test, expected, expected)
379 		KUNIT_EXPECT_EQ(test, __builtin_constant_p(len), 0);	\
415 	KUNIT_EXPECT_EQ(test, pad.buf[end], '\0');
416 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
419 	KUNIT_EXPECT_EQ(test, strlen(pad.buf), end);
420 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
425 	KUNIT_EXPECT_EQ(test, strlen(pad.buf), end);
426 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 1);
438 	KUNIT_EXPECT_EQ(test, pad.buf[end], '\0');
439 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
442 	KUNIT_EXPECT_EQ(test, strnlen(pad.buf, sizeof(pad.buf)), end);
443 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
445 	KUNIT_EXPECT_EQ(test, strnlen(pad.buf, sizeof(pad.buf) / 2),
447 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
453 	KUNIT_EXPECT_EQ(test, strnlen(pad.buf, end + 1), end);
454 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 1);
455 	KUNIT_EXPECT_EQ(test, strnlen(pad.buf, end + 2), end);
456 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 2);
459 	KUNIT_EXPECT_EQ(test, strnlen(pad.buf, end), end);
460 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 2);
463 	KUNIT_EXPECT_EQ(test, strnlen(pad.buf, end), end);
464 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 2);
478 	KUNIT_EXPECT_EQ(test, pad.bytes_before, 0);
479 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
480 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 2], '\0');
481 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 3], '\0');
482 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
487 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
488 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 0);
490 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
498 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
499 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 1);
501 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
505 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
515 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 1);
516 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 2);
518 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
522 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
531 	KUNIT_EXPECT_EQ(test, pad.bytes_before, 0);
532 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
533 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 2], '\0');
534 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 3], '\0');
535 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
541 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 0);
543 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
551 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 0);
557 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
564 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 1);
569 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
576 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 2);
581 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
590 	KUNIT_EXPECT_EQ(test, pad.bytes_before, 0);
591 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
592 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 2], '\0');
593 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 3], '\0');
594 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
600 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 0);
602 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
603 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 2], '\0');
610 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 0);
612 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
621 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 1);
622 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
626 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
633 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 2);
634 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
638 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
654 	KUNIT_EXPECT_EQ(test, pad.bytes_before, 0);
655 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
656 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 2], '\0');
657 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 3], '\0');
658 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
662 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 0);
665 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 0);
667 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
668 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 2], '\0');
673 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 0);
675 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
681 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 1);
683 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
686 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
690 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 2);
692 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
695 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
710 	KUNIT_EXPECT_EQ(test, pad.bytes_before, 0);
711 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
712 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 2], '\0');
713 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 3], '\0');
714 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
718 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
719 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 0);
722 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
723 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 0);
725 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
726 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 2], '\0');
731 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
732 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 0);
734 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
740 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
741 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 1);
743 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
746 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
750 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
751 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 2);
753 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
756 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
762 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 1);
763 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 3);
768 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
784 	KUNIT_EXPECT_EQ(test, pad.bytes_before, 0);
785 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
786 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 2], '\0');
787 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 3], '\0');
788 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
792 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
793 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 0);
796 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
797 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 0);
799 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
800 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 2], '\0');
805 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
806 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 0);
808 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
814 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
815 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 1);
817 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
820 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
824 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
825 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 2);
827 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
830 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
836 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 2);
837 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 2);
842 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
849 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 3);
850 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 3);
851 	KUNIT_EXPECT_EQ(test, pad.buf[sizeof(pad.buf) - 1], '\0');
853 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);
878 	KUNIT_EXPECT_EQ(test, pad.buf[0], '\0');		\
879 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);	\
880 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 0);	\
882 	KUNIT_EXPECT_EQ(test, pad.buf[0], '\0');		\
883 	KUNIT_EXPECT_EQ(test, pad.buf[1], 'B');			\
884 	KUNIT_EXPECT_EQ(test, pad.buf[2], '\0');		\
885 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);	\
886 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 0);	\
888 	KUNIT_EXPECT_EQ(test, pad.buf[0], 'A');			\
889 	KUNIT_EXPECT_EQ(test, pad.buf[1], 'B');			\
890 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);	\
891 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 0);	\
893 	KUNIT_EXPECT_EQ(test, pad.buf[1], 'A');			\
894 	KUNIT_EXPECT_EQ(test, pad.buf[len - 1], '\0');		\
895 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);	\
896 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 0);	\
898 	KUNIT_EXPECT_EQ(test, pad.buf[1], 'A');			\
899 	KUNIT_EXPECT_EQ(test, pad.buf[len - 1], 'A');		\
900 	KUNIT_EXPECT_EQ(test, pad.bytes_after, 0);		\
901 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);	\
902 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 0);	\
904 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);	\
905 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 1);	\
907 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);	\
908 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 2);	\
914 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);	\
915 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 0);	\
918 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);	\
919 	KUNIT_EXPECT_EQ(test, fortify_write_overflows, 0);	\
933 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
937 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 1);
940 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 2);
952 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
956 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 1);
959 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 2);
972 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
976 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 1);
979 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 2);
991 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
994 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
998 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 1);
1001 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 2);
1013 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
1019 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
1025 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 0);
1031 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 1);
1037 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 2);
1043 	KUNIT_EXPECT_EQ(test, fortify_read_overflows, 3);