[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[csmith-project/creduce] 028990: there was a silly special case in creduce where pa...
Branch: refs/heads/master
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