Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:69310 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 75100 invoked from network); 24 Sep 2013 08:00:15 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 24 Sep 2013 08:00:15 -0000 Authentication-Results: pb1.pair.com smtp.mail=martin.keckeis1@gmail.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=martin.keckeis1@gmail.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.214.169 as permitted sender) X-PHP-List-Original-Sender: martin.keckeis1@gmail.com X-Host-Fingerprint: 209.85.214.169 mail-ob0-f169.google.com Received: from [209.85.214.169] ([209.85.214.169:52548] helo=mail-ob0-f169.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 73/30-07330-E8641425 for ; Tue, 24 Sep 2013 04:00:14 -0400 Received: by mail-ob0-f169.google.com with SMTP id wp4so4635208obc.28 for ; Tue, 24 Sep 2013 01:00:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=4LiRF9B2B3yQGNLvcX4G2sf2pIYQJw8zpmxMSNhqtUA=; b=QFG9SpHaGgXmNLN9oFGwkR9BFqrzVC/VQXARmbkmbjqWKTuafwnM0iAvD5PjTxR/p/ CYsVbkx+0y35frs+odFYBJQy14B9VGT4zK6NKY5x+D741urAIak2qpuOJpMa7zmcwf+m ickRiXLCbSPXr1kYkBkW87hw2e9539MV7qteSzaMiQuh0ZzvRJd7kwOVNt7ucpVjTlNP PTZlqLpJpzYxflKTc2BW0MbBPMAq0jU3D6LgIE4oZBks3g8kbFqQkju0sS4QIiSWOdxq VRlDKtuOL5BaApixanQY4VxLZDODLXSSGoGA+MNNibpVGhHYA0PkS3xR+oiUoem3PRDa CKQA== MIME-Version: 1.0 X-Received: by 10.182.130.131 with SMTP id oe3mr6803808obb.34.1380009611137; Tue, 24 Sep 2013 01:00:11 -0700 (PDT) Received: by 10.182.26.112 with HTTP; Tue, 24 Sep 2013 01:00:11 -0700 (PDT) In-Reply-To: <51ADEAA7.9080309@hoa-project.net> References: <3e1b2d12-97cd-4928-b526-0a4b9d443ca5@email.android.com> <51ADA82F.6040407@hoa-project.net> <51ADEAA7.9080309@hoa-project.net> Date: Tue, 24 Sep 2013 10:00:11 +0200 Message-ID: To: ivan.enderlin@hoa-project.net Cc: PHP internals Content-Type: multipart/alternative; boundary=089e013cbdc4a89c5c04e71c86bd Subject: Re: [PHP-DEV] 5.NEXT Integer and String type modifications From: martin.keckeis1@gmail.com (Martin Keckeis) --089e013cbdc4a89c5c04e71c86bd Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 2013/6/4 Ivan Enderlin @ Hoa > > On 04/06/13 12:08, Pierre Joye wrote: > >> On Tue, Jun 4, 2013 at 10:41 AM, Ivan Enderlin @ Hoa >> wrote: >> >>> Hey :-), >>> >>> >>> On 02/06/13 08:52, Johannes Schl=C3=BCter wrote: >>> >>>> It would be a *gigantic* patch, but the userland effects should be >>>>> minimal (the only changes would be supporting longer strings, and >>>>> consistent 64 >>>>> bit int support). The performance considerations should be minimal fo= r >>>>> non-legacy code (as both would still be using native data types)... >>>>> >>>> History shows that such gigantic patches are often not finished and do= ne >>>> as people underestimate the size of PHP and the fact that all etension= s >>>> have >>>> to be checked which for this case means checking each external lib for >>>> their >>>> correct type for all their functions etc ... but I don't wan to stop >>>> you, >>>> I'm happy if you do this :-) (while I'm also happy about everybody >>>> spending >>>> time on fixing bugs instead of adding such high-risk changes ;-)) >>>> >>> Is it possible to use a static C analyzer here? It could help a lot. I >>> think >>> about Frama-C [1], Pork [2] (now included in Oink [3]) or Clang Static >>> Analyser [4] to name a few. A more complete list can be found in [5]. >>> >> We do it using Visual C++ static analyzer, which is an excellent tool >> for this kind of issue, almost on all commits. As soon as we have a >> fork for these changes I will add it so we can get regular updates. >> > Excellent! Since Anthony is sadly gone, is there still something going on in this direction? Just fallen into a bug related to this with future DateTimes.... after 2038-01-19 03:14:07 --089e013cbdc4a89c5c04e71c86bd--