@@ -22,15 +22,15 @@ pub unsafe extern "C" fn use_foreign_c_variadic_1_0(ap: VaList) {
2222
2323// CHECK-LABEL: use_foreign_c_variadic_1_1
2424pub unsafe extern "C" fn use_foreign_c_variadic_1_1 ( ap : VaList ) {
25- // CHECK: call void ({{.*}}, ...) @foreign_c_variadic_1({{.*}} %ap, i32 noundef 42)
25+ // CHECK: call void ({{.*}}, ...) @foreign_c_variadic_1({{.*}} %ap, i32 noundef{{( signext)?}} 42)
2626 foreign_c_variadic_1 ( ap, 42i32 ) ;
2727}
2828pub unsafe extern "C" fn use_foreign_c_variadic_1_2 ( ap : VaList ) {
29- // CHECK: call void ({{.*}}, ...) @foreign_c_variadic_1({{.*}} %ap, i32 noundef 2, i32 noundef 42)
29+ // CHECK: call void ({{.*}}, ...) @foreign_c_variadic_1({{.*}} %ap, i32 noundef{{( signext)?}} 2, i32 noundef{{( signext)?}} 42)
3030 foreign_c_variadic_1 ( ap, 2i32 , 42i32 ) ;
3131}
3232
3333pub unsafe extern "C" fn use_foreign_c_variadic_1_3 ( ap : VaList ) {
34- // CHECK: call void ({{.*}}, ...) @foreign_c_variadic_1({{.*}} %ap, i32 noundef 2, i32 noundef 42, i32 noundef 0)
34+ // CHECK: call void ({{.*}}, ...) @foreign_c_variadic_1({{.*}} %ap, i32 noundef{{( signext)?}} 2, i32 noundef{{( signext)?}} 42, i32 noundef{{( signext)?}} 0)
3535 foreign_c_variadic_1 ( ap, 2i32 , 42i32 , 0i32 ) ;
3636}
0 commit comments