Skip to content

@memcpy aliasing isnt checked at comptime #21748

Closed
@xdBronch

Description

@xdBronch

Zig Version

0.14.0-dev.1887+008acd054

Steps to Reproduce and Observed Behavior

pub fn main() !void {
    comptime {
        var buffer = [2]u8{ 1, 2 } ** 5;
        var len: usize = 5;
        _ = &len;
        @memcpy(buffer[0..len], buffer[4 .. 4 + len]);
    }
}

just taking the test case for memcpy aliasing but wrap it in a comptime block gives no compile error

Expected Behavior

compile error, safety checks should be an error at comptime

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugObserved behavior contradicts documented or intended behavior

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions