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
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.
12 void v(const char *f
, ...);
14 void f(const char *f
) {
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)