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

[csmith-project/creduce] c3129e: skip implicit casts and parentheses for check temp...



  Branch: refs/heads/localize_headers_work
  Home:   https://github.com/csmith-project/creduce
  Commit: c3129e987a491b39660ca996ee3c727e9c9b22b0
      https://github.com/csmith-project/creduce/commit/c3129e987a491b39660ca996ee3c727e9c9b22b0
  Author: Yang Chen <chenyang@cs.utah.edu>
  Date:   2015-11-08 (Sun, 08 Nov 2015)

  Changed paths:
    M clang_delta/TemplateNonTypeArgToInt.cpp

  Log Message:
  -----------
  skip implicit casts and parentheses for check template arguments

This fixed a false replacement.


  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: 7aead0297b28ed638cf551067a406d124b93a1e0
      https://github.com/csmith-project/creduce/commit/7aead0297b28ed638cf551067a406d124b93a1e0
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-11-09 (Mon, 09 Nov 2015)

  Changed paths:
    M clang_delta/TemplateNonTypeArgToInt.cpp
    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:
  -----------
  Merge branch 'master' into localize_headers_work


Compare: https://github.com/csmith-project/creduce/compare/71f96dfa17fb...7aead0297b28