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