| ; RUN: opt -passes=verify < %s 2>&1 | FileCheck %s |
| ; CHECK-NOT: Global is marked as dllimport, but not external |
| |
| target datalayout = "e-m:w-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" |
| target triple = "x86_64-pc-windows-msvc19.11.0" |
| |
| @"?var_hook@@3HA" = extern_weak dllimport global i32, align 4 |
| |
| ; Function Attrs: noinline optnone uwtable |
| define dso_local zeroext i1 @"?foo@@YA_NPEAHH@Z"(ptr %0, i32 %1) #0 { |
| ret i1 0 |
| } |
| |
| declare extern_weak dllimport void @func_hook(i32) #1 |
| |
| attributes #0 = { noinline optnone uwtable } |
| attributes #1 = { uwtable } |
| |
| ; Compiled from the following C++ example with --target=x86_64-pc-win32, |
| ; using the non-checking configuration |
| ;__declspec(dllimport) __attribute__((weak)) extern "C" void func_hook(int); |
| ;extern __declspec(dllimport) __attribute__((weak)) int var_hook; |
| ;bool foo(int *q, int p) |
| ;{ |
| ; if (func_hook) |
| ; func_hook(p); |
| ; return &var_hook == q; |
| ;} |
