From 7bb0bc353f990bc49c98420f450aecd43ba63325 Mon Sep 17 00:00:00 2001
From: mo <mocompute@outlook.com>
Date: Sat, 22 Aug 2026 10:42:18 +1200
Subject: [PATCH] add regression test for incorrect offset_of

---
 tests/issues/run.bat              |  1 +
 tests/issues/run.sh               |  1 +
 tests/issues/test_issue_7008.odin | 27 +++++++++++++++++++++++++++
 3 files changed, 29 insertions(+)
 create mode 100644 tests/issues/test_issue_7008.odin

diff --git a/tests/issues/run.bat b/tests/issues/run.bat
index d01c85e14..c5de8434a 100644
--- a/tests/issues/run.bat
+++ b/tests/issues/run.bat
@@ -40,6 +40,7 @@ set COMMON=-define:ODIN_TEST_FANCY=false -file -vet -strict-style -ignore-unused
 ..\..\..\odin test ..\test_issue_6753.odin %COMMON%  || exit /b
 ..\..\..\odin check ..\test_issue_6874.odin %COMMON% 2>&1 | find /c "Error:" | findstr /x "1" || exit /b
 ..\..\..\odin check ..\test_issue_6979.odin -no-entry-point %COMMON%  || exit /b
+..\..\..\odin test ..\test_issue_7008.odin %COMMON%  || exit /b
 ..\..\..\odin check ..\test_issue_7012.odin -no-entry-point %COMMON% || exit /b
 ..\..\..\odin build ..\test_issue_7037.odin %COMMON% -o:none  || exit /b
 ..\..\..\odin build ..\test_issue_7188.odin %COMMON%  || exit /b
diff --git a/tests/issues/run.sh b/tests/issues/run.sh
index f0cbea3fd..c1d6ff2f1 100755
--- a/tests/issues/run.sh
+++ b/tests/issues/run.sh
@@ -88,6 +88,7 @@ else
 	exit 1
 fi
 $ODIN check ../test_issue_6979.odin -no-entry-point $COMMON_CHECK
+$ODIN test ../test_issue_7008.odin $COMMON
 $ODIN check ../test_issue_7012.odin -no-entry-point $COMMON_CHECK
 $ODIN build ../test_issue_7037.odin $COMMON -o:none
 $ODIN test ../test_issue_7356.odin $COMMON
diff --git a/tests/issues/test_issue_7008.odin b/tests/issues/test_issue_7008.odin
new file mode 100644
index 000000000..5869f61e6
--- /dev/null
+++ b/tests/issues/test_issue_7008.odin
@@ -0,0 +1,27 @@
+// Tests issue #7008 https://github.com/odin-lang/Odin/issues/7008
+package test_issues
+
+import "core:testing"
+import "core:slice"
+
+Bar :: struct {
+	p: ^Foo,
+}
+
+Maybe_Bar :: union {
+	Bar,
+}
+
+Foo :: struct {
+	bar: Maybe_Bar,
+	value: byte,
+}
+
+@(test)
+test_offset_of_is_correct :: proc(t: ^testing.T) {
+	foo: Foo
+	foo.value = 42
+
+	bytes := slice.bytes_from_ptr(&foo, size_of(Foo))
+	testing.expect_value(t, bytes[offset_of(foo.value)], 42)
+}