43 	int *p = (void *)&x[0];  in main()  local
47 	verify_addc_m(0, p, 0, 0, 0, 0, 0);  in main()
51 	verify_addc_m(0, p, 0, 0, 1, 0, 0);  in main()
55 	verify_addc_m(0, p, 1, 0, 0, 0, 0);  in main()
59 	verify_addc_pi_m(0, &p, 0, 0, 1, 0, 0);  in main()
61 	p = &x[1];  in main()
64 	verify_addc_pi_m(0, &p, 1, 0, 0, 0, 0);  in main()
66 	if (p != &x[2])  in main()
71 	verify_addc_pi_m(-1, &p, 1, 0, 0, 0, 1);  in main()
73 	if (p != &x[3])  in main()
76 	p = &x[3];  in main()
80 	verify_addc_m(2, p, 2, 0, 0, 0, 1);  in main()
81 	p += 4;  in main()