Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:67623 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 79374 invoked from network); 4 Jun 2013 08:41:26 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 4 Jun 2013 08:41:26 -0000 Authentication-Results: pb1.pair.com header.from=ivan.enderlin@hoa-project.net; sender-id=unknown Authentication-Results: pb1.pair.com smtp.mail=ivan.enderlin@hoa-project.net; spf=permerror; sender-id=unknown Received-SPF: error (pb1.pair.com: domain hoa-project.net from 95.130.12.24 cause and error) X-PHP-List-Original-Sender: ivan.enderlin@hoa-project.net X-Host-Fingerprint: 95.130.12.24 host1.trois-doubles.net Linux 2.6 Received: from [95.130.12.24] ([95.130.12.24:39855] helo=host1.trois-doubles.net) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 65/8D-21406-438ADA15 for ; Tue, 04 Jun 2013 04:41:25 -0400 Received: from Hwhost2.local (65-72.62-81.cust.bluewin.ch [81.62.72.65]) by host1.trois-doubles.net (Postfix) with ESMTPSA id 530F5209C54 for ; Tue, 4 Jun 2013 10:41:20 +0200 (CEST) Message-ID: <51ADA82F.6040407@hoa-project.net> Date: Tue, 04 Jun 2013 10:41:19 +0200 Reply-To: ivan.enderlin@hoa-project.net User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8; rv:23.0) Gecko/20100101 Thunderbird/23.0a2 MIME-Version: 1.0 To: internals@lists.php.net References: <3e1b2d12-97cd-4928-b526-0a4b9d443ca5@email.android.com> In-Reply-To: <3e1b2d12-97cd-4928-b526-0a4b9d443ca5@email.android.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: quoted-printable Subject: Re: [PHP-DEV] 5.NEXT Integer and String type modifications From: ivan.enderlin@hoa-project.net ("Ivan Enderlin @ Hoa") 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 cons= istent 64 >> bit int support). The performance considerations should be minimal for= >> non-legacy code (as both would still be using native data types)... > History shows that such gigantic patches are often not finished and don= e as people underestimate the size of PHP and the fact that all etensions= 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 every= body spending time on fixing bugs instead of adding such high-risk change= s ;-)) Is it possible to use a static C analyzer here? It could help a lot. I=20 think about Frama-C [1], Pork [2] (now included in Oink [3]) or Clang=20 Static Analyser [4] to name a few. A more complete list can be found in [= 5]. The idea is excellent by the way :-). Cheers. [1] http://frama-c.com/ [2] https://developer.mozilla.org/en/docs/Pork [3] http://daniel-wilkerson.appspot.com/oink/index.html [4] http://clang-analyzer.llvm.org/ [5]=20 http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis#C.2FC= =2E2B.2B --=20 Ivan Enderlin Developer of Hoa http://hoa-project.net/ PhD. student at DISC/Femto-ST (Vesontio) and INRIA (Cassis) http://disc.univ-fcomte.fr/ and http://www.inria.fr/ Member of HTML and WebApps Working Group of W3C http://w3.org/