From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp.gentoo.org (smtp.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) by sourceware.org (Postfix) with ESMTP id E8B643858D20 for ; Sun, 12 Nov 2023 23:51:23 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org E8B643858D20 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gentoo.org Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gentoo.org ARC-Filter: OpenARC Filter v1.0.0 sourceware.org E8B643858D20 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2001:470:ea4a:1:5054:ff:fec7:86e4 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1699833085; cv=none; b=bxVt98BCShBF15SIRny2X/FWSIESXEikpZUrW5hh85oCr4C+ZiUfgdmBKp/jvBz740A6A8wAIs50i3nALpkC+mJ0IcTh+J1Yn3sucwzMzY3ZbWHx27VQXY1NMICSRjfADyFaDOIPyIUvOmLrRasYubStOZwmyHvUKo7KN71kEoQ= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1699833085; c=relaxed/simple; bh=sR6hEJTyR8Cqxdy3AZjShE0OVDjn332xj8jEToPGYig=; h=From:To:Subject:Date:Message-ID:MIME-Version; b=WWHpKasqtMgxT5XiFTj0Wk/m9bUNhxqcZnMC64J013wVY/8RO+snlNgBUF719DPW2CcqEXiOrcgvic1WFnEQfj01mST552r3uWT+Hlq1JBI29vU4CiOXW6xmWmSvOzAvTZAz5vA3STh0+Pp4aw/xOjUXGSgbMF7KQ5TWtQIQATM= ARC-Authentication-Results: i=1; server2.sourceware.org References: <20231024141124.210708-1-exactlywb@ispras.ru> <87zfzj6hvx.fsf@gentoo.org> <87zfzj48p9.fsf@gentoo.org> User-agent: mu4e 1.10.8; emacs 30.0.50 From: Sam James To: Sam James Cc: Alexander Monakov , Daniil Frolov , Arsen =?utf-8?Q?Arsenovi=C4=87?= , gcc-patches@gcc.gnu.org Subject: Re: [RFC PATCH] Detecting lifetime-dse issues via Valgrind [PR66487] Date: Sun, 12 Nov 2023 22:53:56 +0000 Organization: Gentoo In-reply-to: <87zfzj48p9.fsf@gentoo.org> Message-ID: <87sf5a4jk8.fsf@gentoo.org> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Status: No, score=-3.8 required=5.0 tests=BAYES_00,JMQ_SPF_NEUTRAL,KAM_DMARC_STATUS,SPF_HELO_PASS,SPF_PASS,TO_EQ_FM_DIRECT_MX,TXREP,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: Sam James writes: > Alexander Monakov writes: > [...] >> >> I'm very curious what you mean by "this has come up with LLVM [] too": ttbomk, >> LLVM doesn't do such lifetime-based optimization yet, which is why compiling >> LLVM with LLVM doesn't break it. Can you share some examples? Or do you mean >> instances when libLLVM-miscompiled-with-GCC was linked elsewhere, and that >> program crashed mysteriously as a result? >> >> Indeed this work is inspired by the LLVM incident in PR 106943. > > [...] > I had some vague memories in the back of my head so I went digging > because I enjoy this: > [...] I ended up stumbling on two more: * charm (https://github.com/UIUC-PPL/charm/issues/1045) * firebird (https://github.com/FirebirdSQL/firebird/issues/5384, starring richi) Now I'm really done :) > [...] >> >> Alexander > > thanks, > sam