Req #76030 [NEW]: RE2C_FLAGS rarely honoured

From: crrodriguez at opensuse dot org Operating system: linux PHP version: master-Git-2018-02-28 (Git) Package: *Compile Issues Bug Type: Feature/Change Request Bug description:RE2C_FLAGS rarely honoured 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. -- Edit bug report at https://bugs.php.net/bug.php?id=76030&edit=1 -- Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=76030&r=trysnapshot54 Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=76030&r=trysnapshot55 Try a snapshot (trunk): https://bugs.php.net/fix.php?id=76030&r=trysnapshottrunk Fixed in SVN: https://bugs.php.net/fix.php?id=76030&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=76030&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=76030&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=76030&r=needscript Try newer version: https://bugs.php.net/fix.php?id=76030&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=76030&r=support Expected behavior: https://bugs.php.net/fix.php?id=76030&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=76030&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=76030&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=76030&r=globals PHP 4 support discontinued: https://bugs.php.net/fix.php?id=76030&r=php4 Daylight Savings: https://bugs.php.net/fix.php?id=76030&r=dst IIS Stability: https://bugs.php.net/fix.php?id=76030&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=76030&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=76030&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=76030&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=76030&r=mysqlcfg