News for hackers. Stuff that matters.
Re:Google broke a conditional statement that verifies passwo... by khazhoux on Thursday July 22, 2021 @08:24PM (#27925954)
I don't think that's right. It seems far-fetched that the compiler would know that accessing key_data->label() implies that k_d->has_value() == true

I believe the explanation is:

   A && B : compiler will evaluate B only if A==true

   A & B : compiler will evaluate both A (safe) and B (unsafe), then perform bitwise operation
Re:Google broke a conditional statement that verifies passwo... by dataflow on Friday July 23, 2021 @04:09PM (#27935033)
No, it's not far-fetched, this is a pretty well-known optimization.

https://blog.regehr.org/archives/970