Zig's New Relationship with LLVM

Re:Zig's New Relationship with LLVM by nyanpasu64 on Monday September 28, 2020 @10:49AM (#24617208)

Not a Zig user, but this seems to indicate Zig still doesn't always detect use-after-free even with all safety flags on. It seems progress is being made though. https://github.com/ziglang/zig/issues/3180

[ Parent | on HN ]

Re:Zig's New Relationship with LLVM by pron on Monday September 28, 2020 @10:52AM (#24617246)

You are correct, that's still a WIP, but the goal is to have "safe Zig" (i.e. Zig with safety checks on) catch all undefined behaviour modulo explicitly marked unsafe casts (which correspond to unsafe Rust code).

[ Parent | on HN ]

Re:Zig's New Relationship with LLVM by IshKebab on Monday September 28, 2020 @12:46PM (#24618586)

That sounds great as long as the performance cost is not too high.

[ Parent | on HN ]

Re:Zig's New Relationship with LLVM by atombender on Tuesday September 29, 2020 @10:15AM (#24628077)

By "catch", do you mean at compile time?

[ Parent | on HN ]

Re:Zig's New Relationship with LLVM by pron on Tuesday September 29, 2020 @05:03PM (#24632945)

Some at compile-time, and some at runtime.

[ Parent | on HN ]