← Back to index | Original Bugzilla link

Bug 24045 – Compiler fails to recognize overlapping Union elements in CTFE

Status: NEW
Severity: enhancement
Priority: P1
Component: dmd
Product: D
Version: D2
Platform: x86_64
OS: Linux
Creation time: 2023-07-13T13:27:25Z
Last change time: 2024-12-13T19:30:09Z
Assigned to: No Owner
Creator: Puneet Goel

Moved to GitHub: dmd#20311 →

Comments

Comment #0 by puneet — 2023-07-13T13:27:25Z

enum bool bar = foo(42); bool foo(ubyte c) { union U { uint a; ubyte[4] b; } U u; u.b[0] = c; assert (u.a == c, "This should never happen"); return true; }

Comment #1 by robert.schadek — 2024-12-13T19:30:09Z

THIS ISSUE HAS BEEN MOVED TO GITHUB https://github.com/dlang/dmd/issues/20311 DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB