PHP :: Bug #76030 :: RE2C_FLAGS rarely honoured
php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #76030 RE2C_FLAGS rarely honoured
Submitted: 2018-02-28 18:49 UTC Modified: 2018-08-12 09:27 UTC
From: crrodriguez at opensuse dot org Assigned: petk (profile)
Status: Closed Package: *Compile Issues
PHP Version: master-Git-2018-02-28 (Git) OS: linux
Private report: No CVE-ID: None
View Add Comment Developer Edit
Welcome! If you don't have a Git account, you can't do anything here.
You can add a comment by following this link or if you reported this bug, you can edit this bug over here.
(description)
Block user comment
Status: Assign to:
Package:
Bug Type:
Summary:
From: crrodriguez at opensuse dot org
New email:
PHP Version: OS:

 

 [2018-02-28 18:49 UTC] crrodriguez at opensuse dot org
Description:
------------
--enable-re2c-cgoto sets RE2C_FLAGS to "-g" and that is supposed to be passed to all re2c invocations, unfortunately it is only seldom used. the attached patch corrects the issue.

Test script:
---------------
.

Expected result:
----------------
RE2C_FLAGS honoured everywhere a lexer is generated

Actual result:
--------------
Only some lexers use it.

Patches

usere2cflagseverywhere (last revision 2018-02-28 18:51 UTC) by crrodriguez at opensuse dot org)

Add a Patch

Pull Requests

Add a Pull Request

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2018-08-05 14:16 UTC] petk@php.net
Hello, pull request with above patch has been opened here:
https://github.com/php/php-src/pull/3430
 [2018-08-05 19:28 UTC] petk@php.net
-Assigned To: +Assigned To: petk
 [2018-08-12 09:16 UTC] petk@php.net
Automatic comment on behalf of crrodriguez@opensuse.org
Revision: http://git.php.net/?p=php-src.git;a=commit;h=e0fe667421bfd49d25f0052d873cef7c344ebb74
Log: Fix bug #76030 RE2C_FLAGS rarely honoured
 [2018-08-12 09:16 UTC] petk@php.net
-Status: Assigned +Status: Closed
 [2018-08-12 09:27 UTC] petk@php.net
-Type: Feature/Change Request +Type: Bug
 
PHP Copyright © 2001-2018 The PHP Group
All rights reserved.
Last updated: Fri Aug 17 18:01:26 2018 UTC