Justus Klausecker 36069a2a7d Sema: make dereferences of comptime-known null C pointers runtime-known ...

This allows `@TypeOf(@as([*c]T, null).*.x)` to (continue to) work.
In the long term these are probably not the semantics we want, unwrapping
a comptime-known `null` pointer should always result in `unreachable`.

Also adds missing runtime safety checks for loading null C pointers.

2026-06-20 09:45:38 +02:00

..

conflicting_externs

…

hasdecl

…

import

…

namespace_depends_on_compile_var

…

pub_enum

…

x86_64

x86_64: implement and test @intFromBool

2026-06-03 22:28:39 +02:00

zon

LowerZon: fix packed containers

2026-05-02 20:05:33 +02:00

abs.zig

spirv: composite integers

2026-06-18 13:38:58 +02:00

addrspace_and_linksection.zig

…

align.zig

spirv: implement switch with ranges and loop_switch_br switch_dispatch

2026-06-18 13:38:58 +02:00

alignof.zig

…

array.zig

spirv: implement switch with ranges and loop_switch_br switch_dispatch

2026-06-18 13:38:58 +02:00

asm.zig

spirv: implement switch with ranges and loop_switch_br switch_dispatch

2026-06-18 13:38:58 +02:00

atomics.zig

std.meta: Remove Int in favor of @Int

2026-05-03 21:42:06 +01:00

basic.zig

@extern: add flat decoration

2026-06-18 13:38:58 +02:00

bit_shifting.zig

std.meta: Remove Int in favor of @Int

2026-05-03 21:42:06 +01:00

bitcast.zig

@extern: add flat decoration

2026-06-18 13:38:58 +02:00

bitreverse.zig

stage2-wasm: vector, std tests

2026-04-22 00:19:46 +02:00

bool.zig

spirv: int/bool fixes

2026-06-18 13:38:58 +02:00

builtin_functions_returning_void_or_noreturn.zig

…

byteswap.zig

stage2-wasm: vector, std tests

2026-04-22 00:19:46 +02:00

byval_arg_var.zig

…

call.zig

test: skip failing/crashing behavior tests for spirv backend

2026-06-14 09:11:59 +02:00

cast_int.zig

@extern: add flat decoration

2026-06-18 13:38:58 +02:00

cast.zig

@extern: add flat decoration

2026-06-18 13:38:58 +02:00

comptime_memory.zig

spirv: implement switch with ranges and loop_switch_br switch_dispatch

2026-06-18 13:38:58 +02:00

const_slice_child.zig

…

decl_literals.zig

test: skip failing/crashing behavior tests for spirv backend

2026-06-14 09:11:59 +02:00

decltest.zig

…

defer.zig

spirv: implement switch with ranges and loop_switch_br switch_dispatch

2026-06-18 13:38:58 +02:00

destructure.zig

…

duplicated_test_names.zig

spirv: int/bool fixes

2026-06-18 13:38:58 +02:00

enum.zig

@extern: add flat decoration

2026-06-18 13:38:58 +02:00

error.zig

@extern: add flat decoration

2026-06-18 13:38:58 +02:00

eval.zig

@extern: add flat decoration

2026-06-18 13:38:58 +02:00

export_builtin.zig

…

export_c_keywords.zig

…

export_keyword.zig

…

export_self_referential_type_info.zig

…

extern_struct_zero_size_fields.zig

remove uses of array multiplication

2026-04-30 08:57:51 +01:00

extern.zig

…

field_parent_ptr.zig

lib,test: remove uses of i0

2026-04-30 08:57:51 +01:00

file_to_embed.txt

…

floatop.zig

@extern: add flat decoration

2026-06-18 13:38:58 +02:00

fn_delegation.zig

…

fn_in_struct_in_comptime.zig

…

fn.zig

@extern: add flat decoration

2026-06-18 13:38:58 +02:00

for.zig

test: skip failing/crashing behavior tests for spirv backend

2026-06-14 09:11:59 +02:00

generics.zig

spirv: implement switch with ranges and loop_switch_br switch_dispatch

2026-06-18 13:38:58 +02:00

globals.zig

test: skip failing/crashing behavior tests for spirv backend

2026-06-14 09:11:59 +02:00

hasdecl.zig

spirv: int/bool fixes

2026-06-18 13:38:58 +02:00

hasfield.zig

…

if.zig

…

import_c_keywords.zig

…

import.zig

spirv: int/bool fixes

2026-06-18 13:38:58 +02:00

incomplete_struct_param_tld.zig

test: skip failing/crashing behavior tests for spirv backend

2026-06-14 09:11:59 +02:00

inline_switch.zig

spirv: implement switch with ranges and loop_switch_br switch_dispatch

2026-06-18 13:38:58 +02:00

int128.zig

spirv: composite integers

2026-06-18 13:38:58 +02:00

int_comparison_elision.zig

lib,test: remove uses of i0

2026-04-30 08:57:51 +01:00

ir_block_deps.zig

spirv: int/bool fixes

2026-06-18 13:38:58 +02:00

lower_strlit_to_vector.zig

stage2-wasm: vector, std tests

2026-04-22 00:19:46 +02:00

math.zig

@extern: add flat decoration

2026-06-18 13:38:58 +02:00

maximum_minimum.zig

@extern: add flat decoration

2026-06-18 13:38:58 +02:00

member_func.zig

…

memcpy.zig

@extern: add flat decoration

2026-06-18 13:38:58 +02:00

memmove.zig

stage2-wasm: vector, std tests

2026-04-22 00:19:46 +02:00

memset.zig

test: skip failing/crashing behavior tests for spirv backend

2026-06-14 09:11:59 +02:00

merge_error_sets.zig

spirv: implement switch with ranges and loop_switch_br switch_dispatch

2026-06-18 13:38:58 +02:00

muladd.zig

@extern: add flat decoration

2026-06-18 13:38:58 +02:00

multiple_externs_with_conflicting_types.zig

test: skip failing/crashing behavior tests for spirv backend

2026-06-14 09:11:59 +02:00

namespace_depends_on_compile_var.zig

spirv: int/bool fixes

2026-06-18 13:38:58 +02:00

nan.zig

…

null.zig

…

optional.zig

Sema: correctly copy pointer attributes for optional pointer payload

2026-06-18 22:42:42 +02:00

packed_struct_explicit_backing_int.zig

…

packed-struct.zig

@extern: add flat decoration

2026-06-18 13:38:58 +02:00

packed-union.zig

test: skip failing/crashing behavior tests for spirv backend

2026-06-14 09:11:59 +02:00

pointers.zig

spirv: implement switch with ranges and loop_switch_br switch_dispatch

2026-06-18 13:38:58 +02:00

popcount.zig

remove uses of array multiplication

2026-04-30 08:57:51 +01:00

prefetch.zig

…

ptrcast.zig

test: skip failing/crashing behavior tests for spirv backend

2026-06-14 09:11:59 +02:00

ptrfromint.zig

…

pub_enum.zig

spirv: int/bool fixes

2026-06-18 13:38:58 +02:00

ref_var_in_if_after_if_2nd_switch_prong.zig

…

reflection.zig

all: update to use new std.lang.Type definitions

2026-05-27 10:03:51 +01:00

return_address.zig

…

saturating_arithmetic.zig

test: skip failing/crashing behavior tests for spirv backend

2026-06-14 09:11:59 +02:00

select.zig

stage2-wasm: vector, std tests

2026-04-22 00:19:46 +02:00

shuffle.zig

spirv: implement switch with ranges and loop_switch_br switch_dispatch

2026-06-18 13:38:58 +02:00

sizeof_and_typeof.zig

Sema: make dereferences of comptime-known null C pointers runtime-known

2026-06-20 09:45:38 +02:00

slice_sentinel_comptime.zig

remove uses of array multiplication

2026-04-30 08:57:51 +01:00

slice.zig

Sema: copy alignment flags to pointer of slice field

2026-06-18 22:40:04 +02:00

spirv.zig

add @SpirvType builtin

2026-06-07 04:58:53 +02:00

src.zig

…

string_literals.zig

spirv: implement switch with ranges and loop_switch_br switch_dispatch

2026-06-18 13:38:58 +02:00

struct_contains_null_ptr_itself.zig

…

struct_contains_slice_of_itself.zig

…

struct.zig

@extern: add flat decoration

2026-06-18 13:38:58 +02:00

switch_loop.zig

spirv: implement switch with ranges and loop_switch_br switch_dispatch

2026-06-18 13:38:58 +02:00

switch_on_captured_error.zig

…

switch_prong_err_enum.zig

test: skip failing/crashing behavior tests for spirv backend

2026-06-14 09:11:59 +02:00

switch_prong_implicit_cast.zig

test: skip failing/crashing behavior tests for spirv backend

2026-06-14 09:11:59 +02:00

switch.zig

spirv: implement switch with ranges and loop_switch_br switch_dispatch

2026-06-18 13:38:58 +02:00

this.zig

…

threadlocal.zig

…

truncate.zig

test: skip failing/crashing behavior tests for spirv backend

2026-06-14 09:11:59 +02:00

try.zig

…

tuple_declarations.zig

all: update to use new std.lang.Type definitions

2026-05-27 10:03:51 +01:00

tuple.zig

spirv: implement tuple types

2026-06-18 13:38:58 +02:00

type_info.zig

test: skip failing/crashing behavior tests for spirv backend

2026-06-14 09:11:59 +02:00

type.zig

test: skip failing/crashing behavior tests for spirv backend

2026-06-14 09:11:59 +02:00

typename.zig

…

undefined.zig

remove uses of array multiplication

2026-04-30 08:57:51 +01:00

underscore.zig

…

union.zig

spirv: implement switch with ranges and loop_switch_br switch_dispatch

2026-06-18 13:38:58 +02:00

var_args.zig

- Fixup != .stage2_x86_64 -> == .stage2_llvm in var_args tests

2026-04-11 14:53:55 -04:00

vector.zig

@extern: add flat decoration

2026-06-18 13:38:58 +02:00

void.zig

remove uses of array multiplication

2026-04-30 08:57:51 +01:00

wasm.zig

stage2-wasm: support assembly

2026-04-15 22:57:41 +02:00

while.zig

@extern: add flat decoration

2026-06-18 13:38:58 +02:00

widening.zig

spirv: composite integers

2026-06-18 13:38:58 +02:00

wrapping_arithmetic.zig

spirv: composite integers

2026-06-18 13:38:58 +02:00

x86_64.zig

…

zero.bin

…

zon.zig

all: update to use new std.lang.Type definitions

2026-05-27 10:03:51 +01:00