From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id DECFA385840F; Thu, 30 Mar 2023 10:16:32 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org DECFA385840F
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1680171392;
	bh=yWCLl+5FWexOBsVl0VFjX3OMa0SfLTcUdkNJ8uKhS64=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=VTTZwdtYhvT0VQAasGKqiTw3jlo61yMFo/BQV6r/neBrhCwlkVZ36Q6FXVHb0VUZb
	 aWho0q6u3LAwYymdLbFXxKgEO9ggFjuNWE3sqli+Hj/oyvHXkKUj/L7nPI3wl+MsAw
	 1IQKBsIpI/uXipEmkp/STZ93FcDRonHgPE3uU0Rs=
From: "rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug analyzer/107943] [11/12/13 Regression] gcc -fanalyzer hangs in
 openssl curve25519.c since r11-3840-gaf66094d03779377
Date: Thu, 30 Mar 2023 10:16:30 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: analyzer
X-Bugzilla-Version: 12.2.1
X-Bugzilla-Keywords: compile-time-hog, needs-reduction
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rguenth at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: dmalcolm at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 11.4
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-107943-4-8asZKCccSP@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-107943-4@http.gcc.gnu.org/bugzilla/>
References: <bug-107943-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

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

--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
Samples: 193K of event 'cycles', Event count (approx.): 206254655627=20=20=
=20=20=20=20=20=20=20=20=20=20
Overhead       Samples  Command  Shared Object     Symbol=20=20=20=20=20=20=
=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20
  12.11%         23476  cc1      cc1               [.]
ana::store_manager::get_concrete_binding
   9.71%         18828  cc1      cc1               [.]
hash_table<hash_map<ana::concrete_binding, ana::concrete_binding*,
simple_hashmap_traits<default_hash_traits<ana::concrete_binding>,
ana::concrete_binding*> >::hash_entry, false, xcallocator>::find_with_hash
   6.73%         13045  cc1      cc1               [.]
hash_table<hash_map<ana::binding_key const*, ana::svalue const*,
simple_hashmap_traits<default_hash_traits<ana::binding_key const*>, ana::sv=
alue
const*> >::hash_entry, false, xcallocator>::find_slot_with_hash
   5.64%         10937  cc1      libc-2.31.so      [.] _int_malloc
   5.20%         10087  cc1      cc1               [.]
ana::region_model_manager::get_or_create_constant_svalue
   5.06%          9815  cc1      libc-2.31.so      [.] _int_free
   4.84%          9380  cc1      cc1               [.]
hash_table<hash_map<ana::binding_key const*, ana::svalue const*,
simple_hashmap_traits<default_hash_traits<ana::binding_key const*>, ana::sv=
alue
const*> >::hash_entry, false, xcallocator>::expand
   4.63%          8971  cc1      cc1               [.]
hash_table<hash_map<ana::element_region::key_t, ana::element_region*,
simple_hashmap_traits<default_hash_traits<ana::element_region::key_t>,
ana::element_region*> >::hash_entry, false, xcallocator>::find_with_hash
   4.59%          8886  cc1      cc1               [.] iterative_hash
   3.30%          6396  cc1      cc1               [.]
ana::binding_cluster::bind_compound_sval
   2.58%          4995  cc1      cc1               [.] ana::store::~store
   2.19%          4250  cc1      cc1               [.]
hash_table<hash_map<ana::binding_key const*, ana::svalue const*,
simple_hashmap_traits<default_hash_traits<ana::binding_key const*>, ana::sv=
alue
const*> >::hash_entry, false, xcallocator>::find_with_hash

looks like for larger workloads it gets memory bound - optimizing data
structures (and hash functions?) might be helpful.=