[csmith-project/creduce] 4200a1: passes now have the option to return ERROR when so...

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

  Branch: refs/heads/llvm-svn-compatible
  Home:   https://github.com/csmith-project/creduce
  Commit: 4200a1b494b503da304345ac0eb567ca39d4ee45
      https://github.com/csmith-project/creduce/commit/4200a1b494b503da304345ac0eb567ca39d4ee45
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-11-09 (Mon, 09 Nov 2015)

  Changed paths:
    M clex/driver.c
    M creduce/creduce.in
    M creduce/creduce_utils.pm
    M creduce/pass_clang.pm
    M creduce/pass_clang_binsrch.pm
    M creduce/pass_clex.pm
    M creduce/pass_comments.pm

  Log Message:
  -----------
  passes now have the option to return ERROR when something goes wrong

add an option to kill c-reduce when a pass returns ERROR and actually
do this when any pass except those that invoke clang_delta do that

refactor error codes of clex a bit


  Commit: 85fed22e875c52df21a739c00e0bdea61bb23419
      https://github.com/csmith-project/creduce/commit/85fed22e875c52df21a739c00e0bdea61bb23419
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-11-09 (Mon, 09 Nov 2015)

  Changed paths:
    M TODO
    M creduce/creduce.in

  Log Message:
  -----------
  move todo items out of creduce.in

move todo items out of my own private list

edit merged todo items a bit


  Commit: 69afae074df549e2e17a1380e736c44a0af0b22f
      https://github.com/csmith-project/creduce/commit/69afae074df549e2e17a1380e736c44a0af0b22f
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-11-09 (Mon, 09 Nov 2015)

  Changed paths:
    M scripts/localize_headers

  Log Message:
  -----------
  fix some bugs


  Commit: ef3037e127d1ebbfae8af5707b8624d87476c2d0
      https://github.com/csmith-project/creduce/commit/ef3037e127d1ebbfae8af5707b8624d87476c2d0
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-11-09 (Mon, 09 Nov 2015)

  Changed paths:
    M scripts/localize_headers

  Log Message:
  -----------
  handle symlinks in include paths


  Commit: 892abb1ab4cef84a4e909d96c70926b540b92963
      https://github.com/csmith-project/creduce/commit/892abb1ab4cef84a4e909d96c70926b540b92963
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-11-10 (Tue, 10 Nov 2015)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  another pass over the help message


  Commit: 88d760639334f2fb2c233e2e69204a1157674b28
      https://github.com/csmith-project/creduce/commit/88d760639334f2fb2c233e2e69204a1157674b28
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-11-10 (Tue, 10 Nov 2015)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  consistent quoting


  Commit: dd873ed224e31713d7a52f1637b4e873bb9995db
      https://github.com/csmith-project/creduce/commit/dd873ed224e31713d7a52f1637b4e873bb9995db
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-11-10 (Tue, 10 Nov 2015)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  don't make .orig files unless asked

don't ever make .best files, these were a relic from when C-Reduce ran
the interestingness test in the current directory


  Commit: eff553b91bf23e0a3759578a20ed0545a37fb379
      https://github.com/csmith-project/creduce/commit/eff553b91bf23e0a3759578a20ed0545a37fb379
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-11-11 (Wed, 11 Nov 2015)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  clean up some ugly code


  Commit: fd35cb23e54a7de1640ce9f9d35f3593752852b2
      https://github.com/csmith-project/creduce/commit/fd35cb23e54a7de1640ce9f9d35f3593752852b2
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-11-11 (Wed, 11 Nov 2015)

  Changed paths:
    M scripts/localize_headers

  Log Message:
  -----------
  cleanup and debugging

still not properly handling something for clang-based compilers on OS X


  Commit: efef01f6f73fc67770cf0c5478c010e39ee14373
      https://github.com/csmith-project/creduce/commit/efef01f6f73fc67770cf0c5478c010e39ee14373
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-11-11 (Wed, 11 Nov 2015)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  continuing to clean up


  Commit: 13c58c44f6c3cfdd9432536cf1867f3600268700
      https://github.com/csmith-project/creduce/commit/13c58c44f6c3cfdd9432536cf1867f3600268700
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-11-11 (Wed, 11 Nov 2015)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  continuing to clean up


  Commit: 1d4b0d36e78acdbe7fc5a1f682ff6af65356dd7c
      https://github.com/csmith-project/creduce/commit/1d4b0d36e78acdbe7fc5a1f682ff6af65356dd7c
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-11-11 (Wed, 11 Nov 2015)

  Changed paths:
    M TODO
    M clex/driver.c
    M creduce/creduce.in
    M creduce/creduce_utils.pm
    M creduce/pass_clang.pm
    M creduce/pass_clang_binsrch.pm
    M creduce/pass_clex.pm
    M creduce/pass_comments.pm
    M scripts/localize_headers

  Log Message:
  -----------
  Merge branch 'master' into llvm-svn-compatible


Compare: https://github.com/csmith-project/creduce/compare/4516ac0448ea...1d4b0d36e78a