220 24217 article Path: news.gmane.org!not-for-mail From: Ville Voutilainen Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Proposal: Change the specified behavior when control flow reaches the end of non-void functions Date: Fri, 5 Feb 2016 13:52:38 +0200 Lines: 41 Approved: news@gmane.org Message-ID: References: <5115b78c-8fb4-4c72-a278-f74c636f5217@isocpp.org> <2390270.BM3DFplE2E@tjmaciei-mobl4> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: ger.gmane.org 1454673168 16717 80.91.229.3 (5 Feb 2016 11:52:48 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 5 Feb 2016 11:52:48 +0000 (UTC) To: "ISO C++ Standard - Future Proposals" Original-X-From: std-proposals+bncBC5JHI7A7ALRBB422K2QKGQEJAC364Y@isocpp.org Fri Feb 05 12:52:48 2016 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-ob0-f200.google.com ([209.85.214.200]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1aRewR-0000Ld-Su for gclcip-std-proposals@m.gmane.org; Fri, 05 Feb 2016 12:52:48 +0100 Original-Received: by mail-ob0-f200.google.com with SMTP id d1sf158851038obk.1 for ; Fri, 05 Feb 2016 03:52:42 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:x-spam-checked-in-group :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=vy2stzxySS6Xt3XgFlr65K+V6gZ4/i2DeedQH7X8qlI=; b=OhHOhTPMpcPIvJffmf/18JSgYjtrUI94NJgmL/65m/j+H04lPNU1E5mAXXGK5Ji1f3 4bKjhFX69peDedioVvhslKsZATa8xGSUVGosTUgS9jSpGRN2xRgfMZ8E87zMppcEdpOU X9riIDUyN+8EiVixwc/XnAh1YDAdaStUZrjVZqiijmDdMq7ZfPbP8I8m4k9YEUTv6yrw kzXLIbOu4tpktPBEX9S+D8pXDmKanelaS4b/ADOQaUJ9JNqU45kyKog4Zz5bEtqfCyIY 9sEX6h8O9U3+QQOywFutkqhuGSzsWZgSbqIhDLeczHUzooUycbyRUEXxVyVQ9Jcitk/a ox2w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:content-type:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=vy2stzxySS6Xt3XgFlr65K+V6gZ4/i2DeedQH7X8qlI=; b=Lyqj8zaRXy/rpgRmsricpcARCZ+IK+mOwRiOWOou3el0KCA89M6Jajuug7ORfh5vKs 6qCpWe2xpKk7Wq/HSo2bheQTiit5t/aNUCbouB2IF0hK9l/EAPKSarpW3/yNfztxnTPe zmqtH5xVwYU/IQVmuTKciGa3tbEn08Qh2pO8iv+H+inMRx4klP+8nvubD2wV6m2x24f1 F/bJfc0QQDDbG1ZZ/KMBCj34tdVJNirLW/fl2K4T+AFKbzShK1PU3vS9VMsJ9DgBohm+ 0I2H+DK2Ggz5vGW8NtDf+l7G3eU2F/+l2oYLWWJV7wPmy7RX1k1GPD894/qplr7+EIRx Cfwg== X-Gm-Message-State: AG10YORvdNmmNIONUP8d5vJxE0P+XOSUEQlKZkUzlOw06iSIFyqwX8LLBqJldezPnqOhVQ== X-Received: by 10.50.70.42 with SMTP id j10mr8632105igu.9.1454673162075; Fri, 05 Feb 2016 03:52:42 -0800 (PST) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.140.30.2 with SMTP id c2ls603959qgc.17.gmail; Fri, 05 Feb 2016 03:52:39 -0800 (PST) X-Received: by 10.31.152.130 with SMTP id a124mr9298681vke.54.1454673159137; Fri, 05 Feb 2016 03:52:39 -0800 (PST) Original-Received: from mail-vk0-x233.google.com (mail-vk0-x233.google.com. [2607:f8b0:400c:c05::233]) by mx.google.com with ESMTPS id b7si14394987vkd.48.2016.02.05.03.52.39 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 05 Feb 2016 03:52:39 -0800 (PST) Received-SPF: pass (google.com: domain of ville.voutilainen@gmail.com designates 2607:f8b0:400c:c05::233 as permitted sender) client-ip=2607:f8b0:400c:c05::233; Original-Received: by mail-vk0-x233.google.com with SMTP id e64so55347652vkg.0 for ; Fri, 05 Feb 2016 03:52:39 -0800 (PST) X-Received: by 10.31.8.133 with SMTP id 127mr8878362vki.140.1454673158868; Fri, 05 Feb 2016 03:52:38 -0800 (PST) Original-Received: by 10.103.112.131 with HTTP; Fri, 5 Feb 2016 03:52:38 -0800 (PST) In-Reply-To: X-Original-Sender: ville.voutilainen@gmail.com X-Original-Authentication-Results: mx.google.com; spf=pass (google.com: domain of ville.voutilainen@gmail.com designates 2607:f8b0:400c:c05::233 as permitted sender) smtp.mailfrom=ville.voutilainen@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: X-Spam-Checked-In-Group: std-proposals@isocpp.org X-Google-Group-Id: 399137483710 List-Post: , List-Help: , List-Archive: List-Subscribe: , List-Unsubscribe: , Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:24217 Archived-At: On 5 February 2016 at 13:30, 'Edward Catmur' via ISO C++ Standard - Future Proposals >> > When std::terminate is invoked in a manner prescribed by the standard, >> > there >> > is a current exception available to the terminate handler. >> None of what we have described changes any of that. > I'm not suggesting a change; I'm pointing out that terminate is not an > appropriate mechanism for terminating the program in cases that do not > involve the exception handling mechanism. The standard disagrees with you, because terminate is also used in cases where an exception cannot be thrown, which is the same situation as we would have with a non-void function falling of its end. >> >> The proposal in question is that the program be terminated. Nothing in >> >> it >> >> says >> >> that it needs to be a silent termination. Nor does it require a >> >> diagnostic. >> > And then you're throwing away information that existing implementations >> > have >> > shown is readily available. >> I fail to see what information we would supposedly throw away. > Source location and nature of the error causing termination. There's no reason why that information would be thrown away, if it existed in the first place, which is not always the case in a terminate handler. > But terminate() *is* part of the exception handling mechanism; it is not a > general error handling mechanism. That first part is incorrect, and the second part is debatable. -- --- You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group. To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org. To post to this group, send email to std-proposals@isocpp.org. Visit this group at https://groups.google.com/a/isocpp.org/group/std-proposals/. .