|
|
|
@ -581,8 +581,8 @@ if (isset($argc) && $argc > 1) { |
|
|
|
if (!$valgrind_header) { |
|
|
|
error("Valgrind returned no version info, cannot proceed.\nPlease check if Valgrind is installed."); |
|
|
|
} else { |
|
|
|
$valgrind_version = preg_replace("/valgrind-(\d)\.(\d)\.(\d+)([.\w_-]+)?(\s+)/", '$1$2$3', $valgrind_header, 1, $replace_count); |
|
|
|
if ($replace_count != 1 || !is_numeric($valgrind_version)) { |
|
|
|
$valgrind_version = preg_replace("/valgrind-(\d+)\.(\d+)\.(\d+)([.\w_-]+)?(\s+)/", '$1.$2.$3', $valgrind_header, 1, $replace_count); |
|
|
|
if ($replace_count != 1) { |
|
|
|
error("Valgrind returned invalid version info (\"$valgrind_header\"), cannot proceed.");
|
|
|
|
} |
|
|
|
$valgrind_header = trim($valgrind_header); |
|
|
|
@ -1784,7 +1784,7 @@ TEST $file |
|
|
|
$env['USE_ZEND_ALLOC'] = '0'; |
|
|
|
$env['ZEND_DONT_UNLOAD_MODULES'] = 1; |
|
|
|
|
|
|
|
if ($valgrind_version >= 330) { |
|
|
|
if (version_compare($valgrind_version, '3.3.0', '>=')) { |
|
|
|
/* valgrind 3.3.0+ doesn't have --log-file-exactly option */ |
|
|
|
$cmd = "valgrind -q --tool=memcheck --trace-children=yes --log-file=$memcheck_filename $cmd"; |
|
|
|
} else { |
|
|
|
|