[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[csmith-project/creduce] a4ff08: Skip TemplateTemplateParmDecl for querying Templat...
Branch: refs/heads/llvm-svn-compatible
Home: https://github.com/csmith-project/creduce
Commit: a4ff0895591b17101805192bbf3b9a631cefacce
https://github.com/csmith-project/creduce/commit/a4ff0895591b17101805192bbf3b9a631cefacce
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-06-22 (Wed, 22 Jun 2016)
Changed paths:
M clang_delta/Transformation.cpp
Log Message:
-----------
Skip TemplateTemplateParmDecl for querying TemplateSpecializationType
When the template declaration is of TemplateTemplateParmDecl, we
can get a NULL templated declaration. In this case, just return a NULL
pointer.
Commit: 73bf231720d0c7b8856c01238e628aac8bb0f77c
https://github.com/csmith-project/creduce/commit/73bf231720d0c7b8856c01238e628aac8bb0f77c
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-06-22 (Wed, 22 Jun 2016)
Changed paths:
M clang_delta/Transformation.cpp
Log Message:
-----------
Handle TypeOfExprType for getBaseDeclFromType
Commit: 96bcd65b9f38e879e12579bd88e6ea9746068bed
https://github.com/csmith-project/creduce/commit/96bcd65b9f38e879e12579bd88e6ea9746068bed
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-06-22 (Wed, 22 Jun 2016)
Changed paths:
M clang_delta/MoveGlobalVar.cpp
Log Message:
-----------
disalbe move-global-var for C++ code
it's not for C++ input.
Commit: d8a34224824278d5a4d43883f969854daf5facaf
https://github.com/csmith-project/creduce/commit/d8a34224824278d5a4d43883f969854daf5facaf
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-23 (Thu, 23 Jun 2016)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
dead code cleanup
Commit: 01ad36191c4e0d12258684642e4838cc7b25cc10
https://github.com/csmith-project/creduce/commit/01ad36191c4e0d12258684642e4838cc7b25cc10
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-23 (Thu, 23 Jun 2016)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
add a sanity check to trip on any typo in the priority table
Commit: a09d023a241b152069a7b9d112eea122217343f5
https://github.com/csmith-project/creduce/commit/a09d023a241b152069a7b9d112eea122217343f5
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-23 (Thu, 23 Jun 2016)
Changed paths:
M clex/driver.c
Log Message:
-----------
remove some dead (and never-finished) code
Commit: 0e1843ff4fd590966957eb4e7a25a3c20510d9ff
https://github.com/csmith-project/creduce/commit/0e1843ff4fd590966957eb4e7a25a3c20510d9ff
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-23 (Thu, 23 Jun 2016)
Changed paths:
M clex/driver.c
Log Message:
-----------
staticize stuff while I'm looking at this code
Commit: 10d79f9d9ba26135f83500f06a81035463f4b761
https://github.com/csmith-project/creduce/commit/10d79f9d9ba26135f83500f06a81035463f4b761
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-23 (Thu, 23 Jun 2016)
Changed paths:
M clex/driver.c
Log Message:
-----------
remove useless comment
Commit: 5225a8412434dfa8a5b665cae98b38377bbb464c
https://github.com/csmith-project/creduce/commit/5225a8412434dfa8a5b665cae98b38377bbb464c
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-24 (Fri, 24 Jun 2016)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
start timestamps at zero, unclear why this wasn't done already
Commit: 8aef9684e5ca913431e4cb87e3b6b0edf1112356
https://github.com/csmith-project/creduce/commit/8aef9684e5ca913431e4cb87e3b6b0edf1112356
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-24 (Fri, 24 Jun 2016)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
run pass_ints later in the schedule, it is slow and doesn't benefit other passes much
Commit: a8fd9cd0e3dcedd2f4f445822aeeb440f55b7477
https://github.com/csmith-project/creduce/commit/a8fd9cd0e3dcedd2f4f445822aeeb440f55b7477
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-25 (Sat, 25 Jun 2016)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
let's try putting parns-only near the end of the regular phase
ordering, rationale is that sometimes there are lot of parens but
removing them never speeds up the interestingness test
Commit: 5443cd57732428b53de273828c6feb4b73f67cc0
https://github.com/csmith-project/creduce/commit/5443cd57732428b53de273828c6feb4b73f67cc0
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-25 (Sat, 25 Jun 2016)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
Merge branch 'master' of github.com:csmith-project/creduce
Commit: 6cd4980390132a85f6d52a5a740317f686843fa7
https://github.com/csmith-project/creduce/commit/6cd4980390132a85f6d52a5a740317f686843fa7
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-25 (Sat, 25 Jun 2016)
Changed paths:
M clex/driver.c
M creduce/creduce.in
Log Message:
-----------
Merge branch 'master' of github.com:csmith-project/creduce
Commit: 16562fcf60acf21d3ac09ec8b9c011b0a628fedc
https://github.com/csmith-project/creduce/commit/16562fcf60acf21d3ac09ec8b9c011b0a628fedc
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-25 (Sat, 25 Jun 2016)
Changed paths:
M creduce/creduce.in
M creduce/pass_balanced.pm
Log Message:
-----------
to deal with super paren-heavy code like emitted by Csmith, let's try
running a pass somewhat early that replaces balanced parens (and their
contents) with 0 -- this isn't going to eliminate a ton of code but it
can do a nice job chopping dependencies
Commit: a737594945e386e589760b0faff1439f6e04fda4
https://github.com/csmith-project/creduce/commit/a737594945e386e589760b0faff1439f6e04fda4
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-25 (Sat, 25 Jun 2016)
Changed paths:
M creduce/creduce.in
M creduce/pass_balanced.pm
Log Message:
-----------
Merge branch 'master' of github.com:csmith-project/creduce
Commit: 9df1c31d5f1032de8f5d6ca074a8127f837b47bc
https://github.com/csmith-project/creduce/commit/9df1c31d5f1032de8f5d6ca074a8127f837b47bc
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-06-25 (Sat, 25 Jun 2016)
Changed paths:
M delta/Makefile.am
M delta/Makefile.in
M unifdef/Makefile.am
M unifdef/Makefile.in
Log Message:
-----------
Add `{delta,unifdef}/CMakeLists.txt` to dists.
Put the `{delta,unifdef}/CMakeLists.txt` files into distribtion
tarballs. Whoops!
Commit: 718b613f183252c311e9127730853a53f28476d8
https://github.com/csmith-project/creduce/commit/718b613f183252c311e9127730853a53f28476d8
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-06-25 (Sat, 25 Jun 2016)
Changed paths:
M clang_delta/ClangDelta.cpp
M clang_delta/Makefile.am
M clang_delta/Makefile.in
A clang_delta/git_version.cpp.in
A clang_delta/git_version.h
Log Message:
-----------
Burn git hash into `clang_delta` via source file.
Generate a source file containing the current (short) git hash. When
the git hash changes, regenerate that source file --- thus triggering
recompilation of that file and relinking of `clang_delta`.
Previously, we made the git hash available at compile time through a
command-line option to the compiler. We did not have any kind of
dependency on the git hash value, however, so we couldn't trigger a
recompilation when it changed. Worse: if it *did* change and we
noticed, we would in principle have needed to recompile every source
file.
The CMake-based build system already tracks the git hash as a
configuration dependency, and so it already suffers from the
recompile-everything problem described above.
This commit changes our strategy. Now, we have an explicit dependency
on the git hash value, and when it changes, we only need to regenerate
and recompile one source file. This is "sexy," but more significantly,
it will help us to make the CMake-based build system more usable for
developers. (This commit does not update the CMake-based build system,
however. Forthcoming!)
Commit: 2507dbb8a8a67717c98e373f688a04117ae482ca
https://github.com/csmith-project/creduce/commit/2507dbb8a8a67717c98e373f688a04117ae482ca
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-06-25 (Sat, 25 Jun 2016)
Changed paths:
M creduce/Makefile.am
M creduce/Makefile.in
M creduce/creduce.in
M creduce/creduce_config.pm.in
Log Message:
-----------
Rebuild `creduce_config.pm` when git hash changes.
Commit: 543a800be7a95ede74cc5d40c152f1a7449df755
https://github.com/csmith-project/creduce/commit/543a800be7a95ede74cc5d40c152f1a7449df755
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-06-25 (Sat, 25 Jun 2016)
Changed paths:
M clex/Makefile.am
M clex/Makefile.in
M delta/Makefile.am
M delta/Makefile.in
M unifdef/Makefile.am
M unifdef/Makefile.in
Log Message:
-----------
Remove "old way" of handling git hash for compiles.
Remove the code that passes the current git commit hash to the compiler
as a command-line option. We don't do it this way any more. And, in
the files affected by this commit, we weren't using the hash at compile
time anyway.
Commit: e049c05f2a33b66feb7afbec663a94e83a2f47cd
https://github.com/csmith-project/creduce/commit/e049c05f2a33b66feb7afbec663a94e83a2f47cd
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-06-25 (Sat, 25 Jun 2016)
Changed paths:
M CMakeLists.txt
M clang_delta/CMakeLists.txt
Log Message:
-----------
Generate and compile `clang_delta/git_version.cpp`.
Commit: 9b0d49394e2bc3a0c29d39181f7161e3a684de42
https://github.com/csmith-project/creduce/commit/9b0d49394e2bc3a0c29d39181f7161e3a684de42
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-06-25 (Sat, 25 Jun 2016)
Changed paths:
M CMakeLists.txt
M clang_delta/CMakeLists.txt
M clang_delta/ClangDelta.cpp
M clang_delta/Makefile.am
M clang_delta/Makefile.in
A clang_delta/git_version.cpp.in
A clang_delta/git_version.h
M clex/Makefile.am
M clex/Makefile.in
M creduce/Makefile.am
M creduce/Makefile.in
M creduce/creduce.in
M creduce/creduce_config.pm.in
M delta/Makefile.am
M delta/Makefile.in
M unifdef/Makefile.am
M unifdef/Makefile.in
Log Message:
-----------
Merge new way to handle git hash at compile time.
Previously, we passed the current (short) git hash to the C/C++ compiler
at compile time via a command-line option. Now, we generate a source
file containing the git hash at compile time. More significantly, if we
detect that the git hash has changed, we regenerate the source file.
This method is more friendly to users of the CMake-based build path.
Previously, CMake would detect that the current git hash had changed,
and thus the command-line options had changed, and thus trigger a
recompilation of every C/C++ file. Ugh. Now this doesn't happen: now,
only the one C/C++ file that contains the hash value needs to be
recompiled. (The `creduce/creduce_config.pm` file also needs to be
regenerated. The CMake-based path already did this, and this has not
changed.)
This method is also more precise for users of the Automake-based build
path. Previously, we didn't detect when changes to the current git hash
required things to be rebuilt. Now we do.
Commit: 2321aabadefb73178619165c23e7f8901256b612
https://github.com/csmith-project/creduce/commit/2321aabadefb73178619165c23e7f8901256b612
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-26 (Sun, 26 Jun 2016)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
fix bug where, when we timeout an interestingness test, its
subprocesses were not being killed, potentially leading to /tmp
exhaustion if very many timeouts occurred (not a theoretical worry, I
saw it happen)
Commit: 6643ffcdadd16f6ad9e4a3402bee0e85272115b3
https://github.com/csmith-project/creduce/commit/6643ffcdadd16f6ad9e4a3402bee0e85272115b3
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-26 (Sun, 26 Jun 2016)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
just playing with phase ordering a bit-- hope to make some really slow
wrong-code reductions go faster
Commit: d5204388ed8077d2ac0c64b48250c8bcac830a8b
https://github.com/csmith-project/creduce/commit/d5204388ed8077d2ac0c64b48250c8bcac830a8b
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-26 (Sun, 26 Jun 2016)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
nuke the option to not create a new process group-- it did not turn
out to be as useful as I had hoped and also it was going to interact
badly with other chamges, so I'd rather leave it out
Commit: 7819defa72b0a5f3047a16ed8a038051b3f7d51d
https://github.com/csmith-project/creduce/commit/7819defa72b0a5f3047a16ed8a038051b3f7d51d
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-26 (Sun, 26 Jun 2016)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
address contention-related slowdown in the help message
Commit: e6defc384376dc76f19fe071778514b0fec63cd1
https://github.com/csmith-project/creduce/commit/e6defc384376dc76f19fe071778514b0fec63cd1
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-27 (Mon, 27 Jun 2016)
Changed paths:
M creduce/creduce.in
M creduce/pass_clang_binsrch.pm
Log Message:
-----------
let's try a new ordering for the line removal passes, suggested by
Zhendong Su -- would appreciate feedback on how well it works
Commit: c9305e1209772ef3f04d57cbcdf8619018af2b0c
https://github.com/csmith-project/creduce/commit/c9305e1209772ef3f04d57cbcdf8619018af2b0c
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-06-28 (Tue, 28 Jun 2016)
Changed paths:
M CMakeLists.txt
Log Message:
-----------
Build `unifdef` only on UNIX-y platforms.
This changes only the CMake-based build path. I'm going to assume for
now that if you can run the Automake-based build path, you must be using
a UNIX-y platform. (CMake's definition of UNIX-y includes Cygwin, for
example.)
Commit: 55c6dc7148e1218a488ad7fa27fac1865199be18
https://github.com/csmith-project/creduce/commit/55c6dc7148e1218a488ad7fa27fac1865199be18
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-29 (Wed, 29 Jun 2016)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
say something when the interestingness test reports a timeout
Commit: 7095c471906cede1c2b9de5c60e641eeff58f5c3
https://github.com/csmith-project/creduce/commit/7095c471906cede1c2b9de5c60e641eeff58f5c3
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-29 (Wed, 29 Jun 2016)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
a bit more documentation about timeouts
Commit: 88050f3f7e62b752ca7fd1906d10bc79f427aa49
https://github.com/csmith-project/creduce/commit/88050f3f7e62b752ca7fd1906d10bc79f427aa49
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-06-29 (Wed, 29 Jun 2016)
Changed paths:
M scripts/travis_deps.sh
Log Message:
-----------
Update access to LLVM Ubuntu nightly packages.
The URLs for accessing changed a little while ago, breaking this
script. Fix.
Commit: 9723b45b037d22ca31bc65ecd460e2451ff37005
https://github.com/csmith-project/creduce/commit/9723b45b037d22ca31bc65ecd460e2451ff37005
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-07-01 (Fri, 01 Jul 2016)
Changed paths:
M clang_delta/Transformation.cpp
Log Message:
-----------
Skip VectorType for querying base classes
Commit: cbda7ee3386f1f90e6c70bcdab208c678b1c41b6
https://github.com/csmith-project/creduce/commit/cbda7ee3386f1f90e6c70bcdab208c678b1c41b6
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-07-02 (Sat, 02 Jul 2016)
Changed paths:
M clang_delta/Transformation.cpp
Log Message:
-----------
handle TypeOfType for retrieving base class
Commit: 59543ee7408b30a737f5114e6c0343a3e76a4cb5
https://github.com/csmith-project/creduce/commit/59543ee7408b30a737f5114e6c0343a3e76a4cb5
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-07-06 (Wed, 06 Jul 2016)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
tweak line removal passes
Commit: 56670fd83292b81a6aea8f7664aa013302cdb7c1
https://github.com/csmith-project/creduce/commit/56670fd83292b81a6aea8f7664aa013302cdb7c1
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-07-09 (Sat, 09 Jul 2016)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
a bit of debugging code that (I think) will be harmless for regular users:
- better stack dumps by redefining the die handler to call carp::confess
- check for duplicate files on cmd line
- bit more verbosity when file copy fails
Commit: b368f6bcb6abaeb48b37360d1eaa4766bf228a9b
https://github.com/csmith-project/creduce/commit/b368f6bcb6abaeb48b37360d1eaa4766bf228a9b
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-07-14 (Thu, 14 Jul 2016)
Changed paths:
M creduce/pass_peep.pm
Log Message:
-----------
remove spurious whitespace
Commit: 14a5a932dcc9cf7168fbff94bb9088ea8f3fcba8
https://github.com/csmith-project/creduce/commit/14a5a932dcc9cf7168fbff94bb9088ea8f3fcba8
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-07-15 (Fri, 15 Jul 2016)
Changed paths:
M creduce/creduce.in
M creduce/pass_peep.pm
Log Message:
-----------
quick new pass that specializes in eliminating while loops that result
from macro expansions
Commit: ac86064bd1768deb9b12c1d219b7cf0ba3580c52
https://github.com/csmith-project/creduce/commit/ac86064bd1768deb9b12c1d219b7cf0ba3580c52
Author: Moritz Pflanzer <moritz@pflanzer.eu>
Date: 2016-07-15 (Fri, 15 Jul 2016)
Changed paths:
M creduce/creduce.in
M creduce/pass_lines.pm
Log Message:
-----------
Fix C-Reduce on Windows
- The exitcode handling was incorrect since the last refactoring
- The grep tool has been replaced by a Perl loop as it is not available
on Windows
Commit: cee1b4db5eed64d1f057b50b66d59f43053847ed
https://github.com/csmith-project/creduce/commit/cee1b4db5eed64d1f057b50b66d59f43053847ed
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-07-18 (Mon, 18 Jul 2016)
Changed paths:
M clang_delta/RewriteUtils.cpp
M clang_delta/RewriteUtils.h
Log Message:
-----------
Added a helper function for adding string before stmt
* Minor refactoring to addStringBeforeStmt
* added a similar one that also replaces an expr in the target statement
Commit: 95368c339c9b6afddb23d54ecddf0fdb68bb509f
https://github.com/csmith-project/creduce/commit/95368c339c9b6afddb23d54ecddf0fdb68bb509f
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-07-18 (Mon, 18 Jul 2016)
Changed paths:
M clang_delta/TransformationManager.cpp
M clang_delta/TransformationManager.h
Log Message:
-----------
added an interface getPreprocessor for TransformationManager
Commit: 8cb378e28eb6d488760ce65674b886122d4a87d5
https://github.com/csmith-project/creduce/commit/8cb378e28eb6d488760ce65674b886122d4a87d5
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-07-20 (Wed, 20 Jul 2016)
Changed paths:
M creduce/creduce_utils.pm
Log Message:
-----------
let's stop adding a space before and after the file; c-reduce started
doing this a long time ago to make some regexes work better but I
doubt it is still useful to do
Commit: 6ca9dbfaabdd0669492eb74fbd3c3696171ff340
https://github.com/csmith-project/creduce/commit/6ca9dbfaabdd0669492eb74fbd3c3696171ff340
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-07-21 (Thu, 21 Jul 2016)
Changed paths:
M clang_delta/CMakeLists.txt
A clang_delta/ExpressionDetector.cpp
A clang_delta/ExpressionDetector.h
M clang_delta/Makefile.am
M clang_delta/Makefile.in
Log Message:
-----------
added a new transformation expression-detector
The pass is currently enabled for only C programs. It
inserts a printf statement to print out the value of an expression
based on the counter. Currently, only expressions of type integer and
floating point are considered valid. This pass also injects a
static variable to ensure that the expression of interest will
be printed only once.
Transformation is forbidden on some cases such as lifting the sub-expression
of an addrof operator or an increment operator, because we want to avoid
changing the program's outcome as much as possible. For example, consider
the following statements:
a = &b;
*a = 1;
The transformation will not generate output such as:
int __creduce_expr_tmp = b;
...
a = &__creduce_expr_tmp;
*a = 1;
If we allow such transformation on b, we would end up assigning
"1" to __creduce_expr_tmp rather than "b", and hence change
the program's outcome.
Another note is that the pass has some optimization to reduce
the number of valid instances. For example, for the given code below:
int a[5] = {b[1], b[1], b[1], b[1], b[1]};
We don't need to lift all "b[1]". Lifting only one "b[1]" is enough.
Furthermore, the pass avoids repeatly rewriting temp vars such as
__creduce_tmp_xxx.
Note that to work with Csmith, it's better to pass preprocessed programs
to this pass. Currently, C-Reduce doesn't provide a way for specifying
search paths for header files. If we feed the pass a Csmith-generated program
without preprocessing, we won't have many valid transformation instances
because almost all statements are broken due to the miss of the definitions
of int_8, int_16 etc.
Commit: 8d77616303294cee8caed1399264e7b8edc1d18f
https://github.com/csmith-project/creduce/commit/8d77616303294cee8caed1399264e7b8edc1d18f
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-07-21 (Thu, 21 Jul 2016)
Changed paths:
M clang_delta/ExpressionDetector.cpp
M clang_delta/ExpressionDetector.h
Log Message:
-----------
Fixed an issue of lifting LHS of a binary operator
* Unify the local process of visiting UO and BO for a statement.
* also avoid lifting the LHS of a binary opeartor
Commit: 634c597fb9dd9d383f1d206d9e475211d45d188e
https://github.com/csmith-project/creduce/commit/634c597fb9dd9d383f1d206d9e475211d45d188e
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-07-21 (Thu, 21 Jul 2016)
Changed paths:
M clang_delta/ExpressionDetector.cpp
Log Message:
-----------
added some note for known issues
Commit: d6a26c4471544743b523fd6a6979c943f02a50db
https://github.com/csmith-project/creduce/commit/d6a26c4471544743b523fd6a6979c943f02a50db
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-07-22 (Fri, 22 Jul 2016)
Changed paths:
M clang_delta/TransformationManager.h
Log Message:
-----------
update copyright year
Commit: 5f5a46bcf8936f66f6e7c96d17c0d29465afe602
https://github.com/csmith-project/creduce/commit/5f5a46bcf8936f66f6e7c96d17c0d29465afe602
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-07-22 (Fri, 22 Jul 2016)
Changed paths:
M clang_delta/ClangDelta.cpp
M clang_delta/ExpressionDetector.cpp
M clang_delta/Transformation.h
M clang_delta/TransformationManager.cpp
M clang_delta/TransformationManager.h
Log Message:
-----------
Added an option --replacement=string
Instead of performing normal rewriting, the candidate
designated by the counter will be replaced by the string
argument. Currently, this option works only with transformation
expression-detector.
Commit: 2b73536b8be9c4fbd7da1f36fc2f9dbf77d04372
https://github.com/csmith-project/creduce/commit/2b73536b8be9c4fbd7da1f36fc2f9dbf77d04372
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-07-22 (Fri, 22 Jul 2016)
Changed paths:
M clang_delta/ClangDelta.cpp
Log Message:
-----------
minor change to help message for --replacement
Commit: 498ba9957fba1f9a98e817e2f722e1b71258e1db
https://github.com/csmith-project/creduce/commit/498ba9957fba1f9a98e817e2f722e1b71258e1db
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-07-22 (Fri, 22 Jul 2016)
Changed paths:
M clang_delta/TransformationManager.cpp
M clang_delta/TransformationManager.h
Log Message:
-----------
perform replacement only if --replacement is passed
Commit: 6d464c0f72483f6c7edb81886f13cedb7f5400d2
https://github.com/csmith-project/creduce/commit/6d464c0f72483f6c7edb81886f13cedb7f5400d2
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-07-22 (Fri, 22 Jul 2016)
Changed paths:
M creduce/creduce.in
M creduce/pass_lines.pm
Log Message:
-----------
Merge pull request #103 from mpflanzer/windows-fix
Fix C-Reduce on Windows
Commit: 8d72e0f977270676a40ad495e6a6cc6857f6c313
https://github.com/csmith-project/creduce/commit/8d72e0f977270676a40ad495e6a6cc6857f6c313
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-07-22 (Fri, 22 Jul 2016)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
back out a dumb change I made a few weeks ago-- thanks for the tip Moritz!
Commit: 2817331c9814aa802a05ac47e050f81fb52e7099
https://github.com/csmith-project/creduce/commit/2817331c9814aa802a05ac47e050f81fb52e7099
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-07-24 (Sun, 24 Jul 2016)
Changed paths:
M clang_delta/test_transformation
Log Message:
-----------
added some options for testing --expression-detector
* made the test driver accept --replacement=xxx and
--check-reference=xxx;
* added --incremental option that allows to perform transformation
on the last transformed output;
* added --run-output option that enables to execute transformed output
Commit: 092e4adae23115c8ac95001501a7333ce477881d
https://github.com/csmith-project/creduce/commit/092e4adae23115c8ac95001501a7333ce477881d
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-07-24 (Sun, 24 Jul 2016)
Changed paths:
M creduce/creduce.in
M creduce/pass_lines.pm
Log Message:
-----------
Merge branch 'master' of github.com:csmith-project/creduce
Commit: 1f250b2055843ec186b8148f798d829501dc93fe
https://github.com/csmith-project/creduce/commit/1f250b2055843ec186b8148f798d829501dc93fe
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-07-24 (Sun, 24 Jul 2016)
Changed paths:
M clang_delta/ClangDelta.cpp
M clang_delta/ExpressionDetector.cpp
M clang_delta/ExpressionDetector.h
M clang_delta/Transformation.h
M clang_delta/TransformationManager.cpp
M clang_delta/TransformationManager.h
Log Message:
-----------
added an option --check-reference=<val>
Passing --check-reference=<ref_val> to clang_delta will insert the
following code pattern for the expression candidate:
__creduce_expr_tmp_1 = expr_candidate;
if (__creduce_expr_tmp_1 != ref_val) abort();
...
Currently, this option only works with --expression-detector.
Commit: 92682706d4957c5e8453a5f80865bbb2cddb7367
https://github.com/csmith-project/creduce/commit/92682706d4957c5e8453a5f80865bbb2cddb7367
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-07-24 (Sun, 24 Jul 2016)
Changed paths:
M CMakeLists.txt
M clang_delta/CMakeLists.txt
M clang_delta/ClangDelta.cpp
A clang_delta/ExpressionDetector.cpp
A clang_delta/ExpressionDetector.h
M clang_delta/Makefile.am
M clang_delta/Makefile.in
M clang_delta/MoveGlobalVar.cpp
M clang_delta/RewriteUtils.cpp
M clang_delta/RewriteUtils.h
M clang_delta/Transformation.cpp
M clang_delta/Transformation.h
M clang_delta/TransformationManager.cpp
M clang_delta/TransformationManager.h
A clang_delta/git_version.cpp.in
A clang_delta/git_version.h
M clang_delta/test_transformation
M clex/Makefile.am
M clex/Makefile.in
M clex/driver.c
M creduce/Makefile.am
M creduce/Makefile.in
M creduce/creduce.in
M creduce/creduce_config.pm.in
M creduce/creduce_utils.pm
M creduce/pass_balanced.pm
M creduce/pass_clang_binsrch.pm
M creduce/pass_lines.pm
M creduce/pass_peep.pm
M delta/Makefile.am
M delta/Makefile.in
M scripts/travis_deps.sh
M unifdef/Makefile.am
M unifdef/Makefile.in
Log Message:
-----------
Merge remote-tracking branch 'origin/master' into llvm-svn-compatible
Commit: afbb1091fde369fe515f0eeb7a34d44c5bb5570c
https://github.com/csmith-project/creduce/commit/afbb1091fde369fe515f0eeb7a34d44c5bb5570c
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-07-24 (Sun, 24 Jul 2016)
Changed paths:
A LAST_KNOWN_WORKING_LLVM
Log Message:
-----------
record last known working llvm
Compare: https://github.com/csmith-project/creduce/compare/566883aec28b...afbb1091fde3