From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2122) id F1F463858017; Tue, 1 Nov 2022 11:43:05 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org F1F463858017 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1667302985; bh=yFb+iwR5Z+/FXwg6x4BJ4CbDExHWyrSMhxx3kcgT4bk=; h=From:To:Subject:Date:From; b=lydp+1Kf+Pkd4GevgHbX2jxrbw0n0/Rl2aD9TX+K49WPXBla+n9x7b5Zw7259S1ea Rlwhlh65/+5dPgPSxvnQUzGokfRtpVYVcM+Bwa5ibUMBJuzdxIUn022EvcQpPSHOVq IHFkZLa98h/7m1blcMTz8vDz5Nh19usVWB/SMKn4= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Jason Merrill To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc/devel/c++-contracts] c++: comment tweaks X-Act-Checkin: gcc X-Git-Author: Jason Merrill X-Git-Refname: refs/heads/devel/c++-contracts X-Git-Oldrev: d7cb97b26da508121906038465609b6437121461 X-Git-Newrev: 3a3e900ba634451f95443077a890f70003ec1fc6 Message-Id: <20221101114305.F1F463858017@sourceware.org> Date: Tue, 1 Nov 2022 11:43:05 +0000 (GMT) List-Id: https://gcc.gnu.org/g:3a3e900ba634451f95443077a890f70003ec1fc6 commit 3a3e900ba634451f95443077a890f70003ec1fc6 Author: Jason Merrill Date: Tue Oct 25 15:55:20 2022 -0400 c++: comment tweaks Diff: --- gcc/cp/contracts.cc | 18 +++++++++++------- libstdc++-v3/include/experimental/contract | 2 +- 2 files changed, 12 insertions(+), 8 deletions(-) diff --git a/gcc/cp/contracts.cc b/gcc/cp/contracts.cc index 0a1626d6b68..2fa7023f76b 100644 --- a/gcc/cp/contracts.cc +++ b/gcc/cp/contracts.cc @@ -1,5 +1,5 @@ /* Definitions for C++ contract levels - Copyright (C) 2020 Free Software Foundation, Inc. + Copyright (C) 2020-2022 Free Software Foundation, Inc. Contributed by Jeff Chapman II (jchapman@lock3software.com) This file is part of GCC. @@ -131,20 +131,24 @@ along with GCC; see the file COPYING3. If not see With the idea being that multiple return statements could collapse the function epilogue after inlining the pre/post functions. clang is able to collapse common function epilogues, while gcc needs -O3 -Os combined. - We're already doing this "manually" for cdtors due to the way they're already - implemented, forcing DECL_CDTOR_NEEDS_LABLED_EXIT_P to be true when the - cdtor has active contracts. Directly laying the pre contracts down in the function body doesn't have many issues. The post contracts may need to be repeated multiple times, once - for each return, or a goto epilogue would need generated similarly to cdtors. + for each return, or a goto epilogue would need to be generated. For this initial implementation, generating function calls and letting later optimizations decide whether to inline and duplicate the actual checks or whether to collapse the shared epilogue was chosen. + For cdtors a post contract is implemented using a CLEANUP_STMT. + FIXME the compiler already handles sharing cleanup code on multiple exit - paths properly, this outlining isn't necessary if we represent the - postcondition as a cleanup (like I already did for dtors). */ + paths properly, so this outlining seems unnecessary if we represent the + postcondition as a cleanup for all functions. + + More helpful for optimization might be to make the contracts a wrapper + function (for non-variadic functions), that could be inlined into a + caller while preserving the call to the actual function? Either that or + turn a never-continue post contract into an assume in the caller. */ #include "config.h" #include "system.h" diff --git a/libstdc++-v3/include/experimental/contract b/libstdc++-v3/include/experimental/contract index a52c2a485cf..7a5f743665b 100644 --- a/libstdc++-v3/include/experimental/contract +++ b/libstdc++-v3/include/experimental/contract @@ -1,6 +1,6 @@ // Contracts support header for -*- C++ -*- -// Copyright (C) 1995-2018 Free Software Foundation, Inc. +// Copyright (C) 1995-2022 Free Software Foundation, Inc. // // This file is part of GCC. //