1 // RUN: %clang_cc1 %s -emit-llvm -o - -triple x86_64-windows-msvc | FileCheck %s --check-prefix=WINDOWS
2 // RUN: %clang_cc1 %s -emit-llvm -o - -triple x86_64-linux | FileCheck %s --check-prefix=LINUX
3
4 // Make it possible to pass NULL through variadic functions on platforms where
5 // NULL has an integer type that is more narrow than a pointer. On such
6 // platforms we widen null pointer constants passed to variadic functions to a
7 // pointer-sized integer. We don't apply this special case to K&R-style
8 // unprototyped functions, because MSVC doesn't either.
9
10 #define NULL 0
11
12 void v(const char *f, ...);
13 void kr();
f(const char * f)14 void f(const char *f) {
15 v(f, 1, 2, 3, NULL);
16 kr(f, 1, 2, 3, 0);
17 }
18 // WINDOWS: define dso_local void @f(ptr noundef %f)
19 // WINDOWS: call void (ptr, ...) @v(ptr {{.*}}, i32 noundef 1, i32 noundef 2, i32 noundef 3, i64 noundef 0)
20 // WINDOWS: call void @kr(ptr noundef {{.*}}, i32 noundef 1, i32 noundef 2, i32 noundef 3, i32 noundef 0)
21 // LINUX: define{{.*}} void @f(ptr noundef %f)
22 // LINUX: call void (ptr, ...) @v(ptr {{.*}}, i32 noundef 1, i32 noundef 2, i32 noundef 3, i32 noundef 0)
23 // LINUX: call void (ptr, i32, i32, i32, i32, ...) @kr(ptr {{.*}}, i32 noundef 1, i32 noundef 2, i32 noundef 3, i32 noundef 0)
24