[csmith-project/creduce] 028990: there was a silly special case in creduce where pa...

[John Regehr <regehr@cs.utah.edu>]

  Branch: refs/heads/advance-on-success
  Home:   https://github.com/csmith-project/creduce
  Commit: 0289905d2f021af9ffa310ddb19cf19b467643e7
      https://github.com/csmith-project/creduce/commit/0289905d2f021af9ffa310ddb19cf19b467643e7
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-11-16 (Mon, 16 Nov 2015)

  Changed paths:
    M creduce/creduce.in
    M creduce/pass_balanced.pm
    M creduce/pass_blank.pm
    M creduce/pass_clang.pm
    M creduce/pass_clang_binsrch.pm
    M creduce/pass_clex.pm
    M creduce/pass_comments.pm
    M creduce/pass_include_includes.pm
    M creduce/pass_includes.pm
    M creduce/pass_indent.pm
    M creduce/pass_ints.pm
    M creduce/pass_lines.pm
    M creduce/pass_peep.pm
    M creduce/pass_special.pm
    M creduce/pass_ternary.pm
    M creduce/pass_unifdef.pm

  Log Message:
  -----------
  there was a silly special case in creduce where pass_indent was
allowed to not change its input; this fixes that but also changes the
contract between creduce and its passes-- there's now a new pass
method called advance_on_success that gets called even when a
transformation succeeded, that can be used to avoid termination
problems when (unlike almost all C-Reduce passes) a successful
transformation does not eliminate a transformation opportunity