(credit to WaffleLapkin, BoxyUwU, m-ou-se, and Victoronz.)
At first glance, you'd think both are unsound. "Obviously" it's unsound to deference a null pointer. Even Claude 4 Opus with extended thinking agrees. Is that your final answer? Make up your mind now - spoilers below
(credit to WaffleLapkin, BoxyUwU, m-ou-se, and Victoronz.)
At first glance, you'd think both are unsound. "Obviously" it's unsound to deference a null pointer. Even Claude 4 Opus with extended thinking agrees. Is that your final answer? Make up your mind now - spoilers below