From daf63cc983fd5f8f2b24872a9125e0394ed2180e Mon Sep 17 00:00:00 2001 From: Yong He Date: Mon, 1 Apr 2024 18:45:21 -0700 Subject: Fix static member lookup in pointer types. (#3869) --- source/slang/slang-check-expr.cpp | 4 +++- tests/language-feature/extensions/ptr-extension.slang | 14 ++++++++++++++ .../extensions/ptr-extension.slang.expected | 6 ++++++ 3 files changed, 23 insertions(+), 1 deletion(-) create mode 100644 tests/language-feature/extensions/ptr-extension.slang create mode 100644 tests/language-feature/extensions/ptr-extension.slang.expected diff --git a/source/slang/slang-check-expr.cpp b/source/slang/slang-check-expr.cpp index ad6bb2a86..d3341e87b 100644 --- a/source/slang/slang-check-expr.cpp +++ b/source/slang/slang-check-expr.cpp @@ -3728,7 +3728,9 @@ namespace Slang this, expr->name, type, - m_outerScope); + m_outerScope, + LookupMask::Default, + LookupOptions::NoDeref); // We need to confirm that whatever member we // are trying to refer to is usable via static reference. diff --git a/tests/language-feature/extensions/ptr-extension.slang b/tests/language-feature/extensions/ptr-extension.slang new file mode 100644 index 000000000..4dd755185 --- /dev/null +++ b/tests/language-feature/extensions/ptr-extension.slang @@ -0,0 +1,14 @@ +//TEST:EXECUTABLE: +__generic extension Ptr { + static func FromHandle(uint64_t handle) -> Ptr { + return (Ptr)handle; + } +} + +__extern_cpp export +func main() -> int +{ + let x = Ptr::FromHandle(0ull); + printf("%d\n", (int)x); + return 0; +} \ No newline at end of file diff --git a/tests/language-feature/extensions/ptr-extension.slang.expected b/tests/language-feature/extensions/ptr-extension.slang.expected new file mode 100644 index 000000000..f2ceb249b --- /dev/null +++ b/tests/language-feature/extensions/ptr-extension.slang.expected @@ -0,0 +1,6 @@ +result code = 0 +standard error = { +} +standard output = { +0 +} -- cgit v1.2.3