crazywhalecc/static-php-cli
1
0
Fork 0
mirror of https://github.com/crazywhalecc/static-php-cli.git synced 2026-07-09 01:45:36 +08:00
Code Issues Packages Projects Releases Wiki Activity

deduplicate_flags: keep paired flag+value tokens together (#1168)

Browse Source
This commit is contained in:
Jerry Ma
2026-05-24 22:57:23 +08:00
committed by GitHub
parent ec3fd0f4b0 c666cd6cd0
commit 6cab47db67
1 changed files with 22 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
src/globals/functions.php
View File

@@ -256,10 +256,30 @@ function clean_spaces(string $string): string
*/ */
function deduplicate_flags(string $flags): string function deduplicate_flags(string $flags): string
{ {
$tokens = preg_split('/\s+/', trim($flags)); // Flags that take their value as a separate token.
static $paired = [
'-Xclang', '-Xpreprocessor', '-Xlinker', '-Xassembler',
'-framework', '-arch', '-target',
'-include', '-imacros', '-isystem', '-isysroot', '-iquote', '-idirafter',
'-MT', '-MF', '-MQ',
];
$tokens = preg_split('/\s+/', trim($flags)) ?: [];
// Group paired flag+value into a single atom before dedup.
$atoms = [];
$n = count($tokens);
for ($i = 0; $i < $n; ++$i) {
if (in_array($tokens[$i], $paired, true) && $i + 1 < $n) {
$atoms[] = $tokens[$i] . ' ' . $tokens[$i + 1];
++$i;
} else {
$atoms[] = $tokens[$i];
}
}
// Reverse, unique, reverse back - keeps last occurrence of duplicates // Reverse, unique, reverse back - keeps last occurrence of duplicates
$deduplicated = array_reverse(array_unique(array_reverse($tokens))); $deduplicated = array_reverse(array_unique(array_reverse($atoms)));
return implode(' ', $deduplicated); return implode(' ', $deduplicated);
} }