220 24199 article Path: news.gmane.org!not-for-mail From: "'Edward Catmur' via ISO C++ Standard - Future Proposals" 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: Thu, 4 Feb 2016 23:25:50 +0000 Lines: 83 Approved: news@gmane.org Message-ID: References: <5115b78c-8fb4-4c72-a278-f74c636f5217@isocpp.org> <2511401.bv6yOhHB5J@tjmaciei-mobl4> <1851432.TiVlt5xrhH@tjmaciei-mobl4> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=001a1135e2381a9a76052afa0ef2 X-Trace: ger.gmane.org 1454628366 24401 80.91.229.3 (4 Feb 2016 23:26:06 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 4 Feb 2016 23:26:06 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBDZLZTXF7UJBB7V3Z62QKGQEISQJZ3I@isocpp.org Fri Feb 05 00:25:52 2016 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-ig0-f199.google.com ([209.85.213.199]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1aRTHc-0003fG-FJ for gclcip-std-proposals@m.gmane.org; Fri, 05 Feb 2016 00:25:52 +0100 Original-Received: by mail-ig0-f199.google.com with SMTP id ik10sf9108889igb.2 for ; Thu, 04 Feb 2016 15:25:52 -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=clXR2lYYK/64pf0Hs7vB9t0aSQSsIb0RXiembTIOl0M=; b=mJJ8dycwxcANhH/ZrFau4iqAzrE7f7gpGn4mEM4YtASwcp5XkvOWRuLc/r+8b9JCAl v/wk7n0nAsBAaO60GMxScD0SuPcZhuoLm4bsoUmmcvnDKyvXeYsboCJxozpVqy1bjz3c Hi+mVgQ2bOMk8jjimOcJ29DtWyzSqNdfLHaDZFk9LzlmgQB1actOW3ezbdOgCrVPAFma a5gxIodtGuiemYgYdpaA/wqI+VeeE0B4ImIUXHFQYoEGjLiflfq63r81PUJ1VjUBL7xz qGjgorCfSYFRQDbeYsHxZK28eO9T2nfQK8Mqq/pJLQN/aDigctWSGdd4MFxhIRyJIWeQ y2BQ== 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=clXR2lYYK/64pf0Hs7vB9t0aSQSsIb0RXiembTIOl0M=; b=JezALaBW3C8s/ZhUR5ytcOYTY+hzOOmdBBfjZCjBHUZK0mxBleHKNusi3FQC35glsg 4kZN9zoeUh4HKST7IT2XfKBq/sDyEwp8b7y9cs9FHQhZgGV8mE86z6NbfhEbdRLXGcPF jcIKzXbNPL8mOlBBprVCzyuHSI9wcwSeEUmRBiL71SVWiiEZZW9TZe4YwYiuejeuSLbm AcNAcpdKs5dZuB67ApE4bfJk3/kXvwTbdRbGBF/f77IWKsaypbyDBZTsT1g/iZE0tFAj B4TBK+rzJt0eU26wzVwkGaMGl1ZZuasXq5i3AHi0mzT0ZjcLntuOojiL48AG0TRaftEQ NhLg== X-Gm-Message-State: AG10YOSnz3CEa0TWHtRNGVipXvSPfJSAHJh1JAkPS487PqvEc3cjEW0v9zzPCS/G7p/U5g== X-Received: by 10.182.19.164 with SMTP id g4mr9491101obe.42.1454628351262; Thu, 04 Feb 2016 15:25:51 -0800 (PST) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.107.129.226 with SMTP id l95ls719346ioi.95.gmail; Thu, 04 Feb 2016 15:25:50 -0800 (PST) X-Received: by 10.50.147.38 with SMTP id th6mr1154048igb.13.1454628350504; Thu, 04 Feb 2016 15:25:50 -0800 (PST) Original-Received: from mail-ig0-x22f.google.com (mail-ig0-x22f.google.com. [2607:f8b0:4001:c05::22f]) by mx.google.com with ESMTPS id j192si23164155ioe.177.2016.02.04.15.25.50 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 04 Feb 2016 15:25:50 -0800 (PST) Received-SPF: pass (google.com: domain of ecatmur@googlemail.com designates 2607:f8b0:4001:c05::22f as permitted sender) client-ip=2607:f8b0:4001:c05::22f; Original-Received: by mail-ig0-x22f.google.com with SMTP id ik10so27899836igb.1 for ; Thu, 04 Feb 2016 15:25:50 -0800 (PST) X-Received: by 10.50.160.11 with SMTP id xg11mr1527306igb.51.1454628350364; Thu, 04 Feb 2016 15:25:50 -0800 (PST) Original-Received: by 10.36.124.76 with HTTP; Thu, 4 Feb 2016 15:25:50 -0800 (PST) In-Reply-To: <1851432.TiVlt5xrhH@tjmaciei-mobl4> X-Original-Sender: ecatmur@googlemail.com X-Original-Authentication-Results: mx.google.com; spf=pass (google.com: domain of ecatmur@googlemail.com designates 2607:f8b0:4001:c05::22f as permitted sender) smtp.mailfrom=ecatmur@googlemail.com; dkim=pass header.i=@googlemail.com; dmarc=pass (p=QUARANTINE dis=NONE) header.from=googlemail.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: , X-Original-From: Edward Catmur Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:24199 Archived-At: --001a1135e2381a9a76052afa0ef2 Content-Type: text/plain; charset=UTF-8 On Thu, Feb 4, 2016 at 11:18 PM, Thiago Macieira wrote: > On quinta-feira, 4 de fevereiro de 2016 22:58:24 PST 'Edward Catmur' via > ISO C > ++ Standard - Future Proposals wrote: > > > The information loss is not a requirement. The runtime could print the > > > reason > > > for termination before termination. > > > > How? std::terminate_handler is specified as void(*)() so there's nowhere > to > > pass in the reason. Existing terminate_handlers look at > > std::current_exception, so I suppose you could smuggle it in there, but > > then you might as well throw that exception directly. > > Because the compiler does not need to directly call std::terminate. It can > call a function of its own that prints the information, then calls > std::terminate. Thereby requiring that all C++ programs have a console attached, and denying them control over what is output to that console? -- --- 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/. --001a1135e2381a9a76052afa0ef2 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
On T= hu, Feb 4, 2016 at 11:18 PM, Thiago Macieira <thiago@macieira.org&g= t; wrote:
On quinta-feira, 4 de fe= vereiro de 2016 22:58:24 PST 'Edward Catmur' via ISO C
++ Standard - Future Proposals wrote:
> > The information loss is not a requirement. The runtime could prin= t the
> > reason
> > for termination before termination.
>
> How? std::terminate_handler is specified as void(*)() so there's n= owhere to
> pass in the reason. Existing terminate_handlers look at
> std::current_exception, so I suppose you could smuggle it in there, bu= t
> then you might as well throw that exception directly.

Because the compiler does not need to directly call std::terminate. = It can
call a function of its own that prints the information, then calls
std::terminate.

Thereby requiring that all = C++ programs have a console attached, and denying them control over what is= output to that console?

--

---
You received this message because you are subscribed to the Google Groups &= quot;ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to std-proposa= ls+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= /.
--001a1135e2381a9a76052afa0ef2-- .