The case for NaN

[monkyyy]

On Monday, 6 July 2026 at 02:21:12 UTC, Richard (Rikki) Andrew 
Cattermole wrote:
> On 06/07/2026 7:08 AM, Walter Bright wrote:
>>
>> Static analysis cannot solve the problem 100%. It's the ole' 
>> halting problem.
>
> 20 years ago yeah.
>
> But today it is considered solved in the sense that we do have 
> static analyzers that are sound that catch it.

Then they are wrong; you just chasing more and more complex 
approximations with stranger and stranger rules or ignoring more 
and more edge cases.