[Bug analyzer/98073] error: in can_merge_p, at analyzer/region-model.cc

[marxin at gcc dot gnu.org]

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

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Reduced test-case:

struct ist {
  char ptr;
  long len
} __trans_tmp_1, http_update_host_authority;
http_update_host_sl_0_0_0;
http_update_host(const struct ist uri) {
  uri.len || uri.ptr;
  if (http_update_host_sl_0_0_0) {
    http_update_host_authority = __trans_tmp_1;
    !http_update_host_authority.len;
  } else
    http_update_host_authority = uri;
}