Sample commands: reduce -v test/subjects/codegen/0001.php reduce "-c--run=plugins/tools/debug_zval.la -dump-xml=plugins/tools/debug_zval.la" test/subjects/codegen/0001.php reduce -v 0001.uhir.php reduce -F plugins/tests/limit_assignments.la test/subjects/codegen/bench_simple.php EOL ); } $filename = $arguments[0]; $reduce = new Reduce($filename); $reduce->set_phc("src/phc"); $reduce->set_comment($command_line); $reduce->set_plugin_path($opt_phc_prefix); $reduce->set_run_command_function("myrun"); $reduce->set_debug_function("mydebug"); $reduce->set_dump_function("mydump"); // Checking functions $reduce->set_checking_function("check_against_compiled"); if ($opt_failure) { $reduce->set_checking_function("check_for_failure_string"); } if ($opt_interpret) { $reduce->set_checking_function("check_against_interpreted"); } $input = file_get_contents($filename); // TODO: call this on the first instance if ($opt_command != "") { // TODO use opt_command on the first instance // TODO: use --no-xml-attrs
function reduce_failure($reason, $bundle) { inst("reduce failure: {$reason}, {$bundle->subject}"); global $phc; $subject = $bundle->subject; if (isset($this->is_special_reduction[$subject])) { // Found: we're already reducing, and the bug is kept in $this->reduction_result[$subject] = true; } else { // Start reducing try { $reduce = new Reduce(); $this->reductions[$subject] = $reduce; $reduce->set_checking_function(array($this, "reduce_checking_function")); $reduce->set_run_command_function(array($this, "reduce_run_function")); $reduce->set_phc($phc); $reduce->set_debug_function(array($this, "reduce_debug_function")); // Get the file, and send it to the reducer $contents = file_get_contents($subject); if (!$reduce->has_syntax_errors($contents)) { $final_contents = $reduce->run_on_php($contents); file_put_contents("{$subject}.{$this->get_name()}_reduced", $final_contents); } } catch (ReduceException $e) { // There can be lots of reasons for this, many benign. Ignore it. } $this->mark_failure($bundle->subject, $bundle->commands, $bundle->outs, $bundle->errs, $bundle->exits, $reason); } }