Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:105099
Return-Path: <robehickman@gmail.com>
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 65766 invoked from network); 5 Apr 2019 12:01:53 -0000
Received: from unknown (HELO mail-ot1-f54.google.com) (209.85.210.54)
  by pb1.pair.com with SMTP; 5 Apr 2019 12:01:53 -0000
Received: by mail-ot1-f54.google.com with SMTP id o74so4969347ota.3
        for <internals@lists.php.net>; Fri, 05 Apr 2019 01:57:44 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20161025;
        h=mime-version:references:in-reply-to:from:date:message-id:subject:to
         :cc;
        bh=eMDHbzWnyBMsrTfRDziH0UYJS/HcIgl0U9RVny5dxN8=;
        b=syqoMORd5QSBW5bU5waXd6YrDjhGTcRMm65pEKF0y8r+UXwpDHRd4WMO0fneiUTSrK
         ow6wJAcQBSiheGlHGZPCg1fjPMI5Oc2rfcwFEZn0+usch1Tl3nIKcPd6hvSJNJJ1x10k
         H4rNYq21B2Hc+aP4r6+nNKr4WXwq2NoZY/NedwhjO038uIMEkUTmYnHuangBnzra9Qyk
         5tjaflEicJQx29CX6HprbeotrsreJogeUlaWNp1cBqKsZcolGQKwZ4N+rFVk3mAJgQ1f
         EEqeT7BXw/v7tSG4VHJGcWPayBX+YalMJBOoLa6h++9VGwG14cd1LB8gJQs4AfjFyUni
         Jubg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:mime-version:references:in-reply-to:from:date
         :message-id:subject:to:cc;
        bh=eMDHbzWnyBMsrTfRDziH0UYJS/HcIgl0U9RVny5dxN8=;
        b=NR47utkKjDA5KFdJvk8l5JJDsamQsIQBs3S/jQ7FQMUC377OzyzthkH0vMyk8gJ8RS
         SiLMBK5qzK3trLtmCh8CIhlWRDcwbA6E0rE6sB3/5L0XYMVthmZvdfLGqdGpjvBLhsgE
         XHeHFnS+Mihe9je/KHdGblv8n6AC1ou1MqYyNjdT4Tl1m4KuYCnQfkIVFFcsIKuro/gZ
         JFl2QjmXtkHi+SVpcRRaLkmfuwcMEq8TgqWnZka4b0Iy4ZJ9U/nD7/24Tcv6kx2RCVYI
         KAVcYTfE8UlQJPomBEbFJc7fkg/vbbCjKvlzQlp0KfBGDWCOGA49zvSRUOzxvbrOEcVd
         h9Iw==
X-Gm-Message-State: APjAAAVFznTxZCPe84Zrq+SPvyzJVcbZk+NPRJj3OlbFc+kbnjDA9nIL
	TyjV/Fdbrr0nTemEtkfYs+un7ABwyZtOoIwzQ+k=
X-Google-Smtp-Source: APXvYqwqCMhJ/Dju6hF31RQlPDv6vgeDBM6KjkvyIFsDIvS4sEAUYesj2kOqkQKttQ5ADbzL1YtpvBEeEnIEx8kul9M=
X-Received: by 2002:a05:6830:1107:: with SMTP id w7mr7897461otq.14.1554454664098;
 Fri, 05 Apr 2019 01:57:44 -0700 (PDT)
MIME-Version: 1.0
References: <CAHN63oMjO-7cdnF55Mrj-MxVrq9mvm5=c2M681CuXLkE_Hez_A@mail.gmail.com>
 <CAESVnVpcTTC-77EjLgH-9jwbPgzaR2x_JV+D00SMffWKgU=bkw@mail.gmail.com>
 <CAHN63oP4p-VdK=J3L3vi0GygHawRq5KkCHJEF0tFoQBtSezGiQ@mail.gmail.com>
 <CALKiJKrbcv42cyWYqLfizzNVGc55Z4qEW+X6gfxzoVENSrnZuw@mail.gmail.com>
 <CAHN63oOfR3DD9b_xHLPUh20=jJFQTJH+Qce298k-4vm6X4bdKg@mail.gmail.com>
 <65AF9E1E-DFA6-47AE-952B-9ABEBD9B6038@gmail.com> <CAHN63oMqOgCgh6voyL0sjXQJEnMKQ=NJ+MXQuU0355EG8Apffw@mail.gmail.com>
 <CAHN63oMz1YM5c0V7QLGOJ=1LKEasMuHVxwsdbrxC==5Up6=mMQ@mail.gmail.com>
 <284d1f9f-03d3-1488-77dd-82e18edf9f4c@gmail.com> <CAHN63oOqx9AxU=ofAQceKEQoJqYTuku1AWGa-sw=BLMTMP0Vjw@mail.gmail.com>
 <db94829a-3ffb-998b-08cd-67eb36ea4cc2@gmail.com> <CAFPFaMK5hs3y5VziAnqDjM1sz3-RLvQUgUj0gQYuxshbd_rFGA@mail.gmail.com>
 <CAHN63oOZ6x6PEOJo=u9gVR-5f+87sD7jpwKnw7kKiohf3LSDLg@mail.gmail.com>
 <3144F5D1-1F18-4C42-9B3E-AF1B1E598E47@koalephant.com> <CAESVnVqC+WkyCGp+EOUP_FVpbR2avoyVoRTXBLh5B0TiogykBA@mail.gmail.com>
 <917cb7bc-4abc-4bae-1a5a-b2ba1777fa55@gmail.com>
In-Reply-To: <917cb7bc-4abc-4bae-1a5a-b2ba1777fa55@gmail.com>
Date: Fri, 5 Apr 2019 09:57:32 +0100
Message-ID: <CAMuFt-5-U0KLnJEOT99-tVWntpT66RjWMWyc_E8b6i3XE42wfg@mail.gmail.com>
To: Rowan Collins <rowan.collins@gmail.com>
Cc: PHP internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Subject: Re: [PHP-DEV] Question about adding !function_identifier
From: robehickman@gmail.com (Robert Hickman)

>
> For instance:
>
> function foo(): type nothrow {
>     throw new SomethingException;
> }

Would it be possible to analyse the call graph at compile time
(bytecode generation) and then trigger a fatal error? It wouldn't be
possible for variable functions/methods though. A separate static
analyser could do the same thing.