[Bug analyzer/108100] GCC Static Analyzer does not know "(a || b) == true" in the true branch of "if (a || b) "

[geoffreydgr at icloud dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108100

--- Comment #1 from Geoffrey <geoffreydgr at icloud dot com> ---
Hi, David. Could you spare some time to explain why GSA cannot handle `||`?
Will you fix this? I'd like to contribute. Thanks a lot!