[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[creduce-bugs] Last versions of creduce run pass_lines after final pass_indent

> So creduce does not produce nicely formatted output at the end of operation anymore.

Every C-Reduce transformation occurs inside a delta debugging loop. 
This means that if any transformation creates a program that does not 
trigger the compiler bug anymore, then that program is discarded. 
C-Reduce's final run of GNU indent happens to create a program that does 
not trigger the bug you sent the other day. This might be because your 
compiler bug is sensitive to formatting (this often means there's a 
memory safety error in the frontend) or it might be due to a bug in GNU 
indent where it fails to be semantics preserving.