mlugg 8bcb578507 Sema: fix is_non_null_ptr handling for runtime-known pointers ...

We can still often determine a comptime result based on the type, even
if the pointer is runtime-known.

Also, we previously used load -> is non null instead of AIR
`is_non_null_ptr` if the pointer is comptime-known, but that's a bad
heuristic. Instead, we should check for the pointer to be
comptime-known, *and* for the load to be comptime-known, and only in
that case should we call `Sema.analyzeIsNonNull`.

Resolves: #22556

2025-01-21 00:33:32 +00:00

20 KiB

Raw Blame History

View Raw