On 1/30/25 4:29 PM, David Malcolm wrote:
Arguably the state-merging code could be smarter here; I haven't investigated the details, but have filed it as PR analyzer/118702 here: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118702
Thanks. You might be also interesting in https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118707 I've just created. Dmitry
