[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[csmith-project/creduce] 11dbbb: Update copyright years.
Branch: refs/heads/clang-delta-improvements
Home: https://github.com/csmith-project/creduce
Commit: 11dbbbe48a0357c14457de90cca2a8a7394a93bf
https://github.com/csmith-project/creduce/commit/11dbbbe48a0357c14457de90cca2a8a7394a93bf
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-03-15 (Tue, 15 Mar 2016)
Changed paths:
M clang_delta/AggregateToScalar.cpp
M clang_delta/BinOpSimplification.cpp
M clang_delta/CallExprToValue.cpp
M clang_delta/CombineGlobalVarDecl.cpp
M clang_delta/CombineLocalVarDecl.cpp
M clang_delta/CommonTemplateArgumentVisitor.h
M clang_delta/CopyPropagation.cpp
M clang_delta/EmptyStructToInt.cpp
M clang_delta/LiftAssignmentExpr.cpp
M clang_delta/LocalToGlobal.cpp
M clang_delta/MoveFunctionBody.cpp
M clang_delta/MoveGlobalVar.cpp
M clang_delta/ParamToLocal.cpp
M clang_delta/ReduceArrayDim.cpp
M clang_delta/ReduceArraySize.cpp
M clang_delta/ReducePointerLevel.cpp
M clang_delta/ReducePointerPairs.cpp
M clang_delta/RemoveAddrTaken.cpp
M clang_delta/RemoveArray.cpp
M clang_delta/RemoveEnumMemberValue.cpp
M clang_delta/RemoveNamespace.cpp
M clang_delta/RemoveNestedFunction.cpp
M clang_delta/RemoveNestedFunction.h
M clang_delta/RemovePointer.cpp
M clang_delta/RemoveTrivialBaseTemplate.cpp
M clang_delta/RemoveUnusedEnumMember.cpp
M clang_delta/RemoveUnusedEnumMember.h
M clang_delta/RemoveUnusedFunction.cpp
M clang_delta/RemoveUnusedFunction.h
M clang_delta/RemoveUnusedStructField.cpp
M clang_delta/RemoveUnusedVar.cpp
M clang_delta/RenameCXXMethod.cpp
M clang_delta/RenameFun.cpp
M clang_delta/RenameParam.cpp
M clang_delta/RenameVar.cpp
M clang_delta/RenameVar.h
M clang_delta/ReplaceArrayIndexVar.cpp
M clang_delta/ReplaceCallExpr.cpp
M clang_delta/ReplaceClassWithBaseTemplateSpec.h
M clang_delta/ReplaceFunctionDefWithDecl.cpp
M clang_delta/ReplaceOneLevelTypedefType.cpp
M clang_delta/ReplaceSimpleTypedef.cpp
M clang_delta/ReplaceUndefinedFunction.cpp
M clang_delta/ReturnVoid.cpp
M clang_delta/RewriteUtils.cpp
M clang_delta/RewriteUtils.h
M clang_delta/SimpleInliner.cpp
M clang_delta/SimplifyCallExpr.cpp
M clang_delta/SimplifyCommaExpr.cpp
M clang_delta/SimplifyNestedClass.h
M clang_delta/SimplifyStruct.cpp
M clang_delta/SimplifyStructUnionDecl.cpp
M clang_delta/TemplateNonTypeArgToInt.cpp
M clang_delta/TemplateNonTypeArgToInt.h
M clang_delta/Transformation.cpp
M clang_delta/Transformation.h
M clang_delta/TransformationManager.cpp
M clang_delta/UnifyFunctionDecl.cpp
M clang_delta/UnionToStruct.cpp
M clex/clex.l
M clex/defs.h
M clex/driver.c
M creduce/creduce.in
M creduce/creduce_config.pm.in
M creduce/creduce_regexes.pm
M creduce/pass_balanced.pm
M creduce/pass_ints.pm
M creduce/pass_peep.pm
M creduce/pass_special.pm
M creduce/pass_ternary.pm
M scripts/localize_headers
Log Message:
-----------
Update copyright years.
Commit: 706b2023e1e4b337d0ac907485da3c7fa4d8fe0c
https://github.com/csmith-project/creduce/commit/706b2023e1e4b337d0ac907485da3c7fa4d8fe0c
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-03-15 (Tue, 15 Mar 2016)
Changed paths:
M INSTALL
Log Message:
-----------
Update required version of LLVM to 3.8.
I verified that the LLVM 3.8.0 "Clang for x86_64 Ubuntu 14.04" binary
package still depends on libtinfo-dev. The configure-time test program
won't link unless you install it.
I'm not certain that libedit-dev is still required, though. I should
investigate this further to confirm the relevant of the INSTALL
instructions.
Commit: 3a51830586b9819925a6b12c9e1a094119691b76
https://github.com/csmith-project/creduce/commit/3a51830586b9819925a6b12c9e1a094119691b76
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-03-15 (Tue, 15 Mar 2016)
Changed paths:
M configure
M configure.ac
Log Message:
-----------
Add `-Wno-missing-field-initializers' to CXXFLAGS.
This quiets a bunch of warnings that come from LLVM 3.8.0 headers.
Commit: 9a588081dd3b08e0ec70469a376e17a011c5e561
https://github.com/csmith-project/creduce/commit/9a588081dd3b08e0ec70469a376e17a011c5e561
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-03-16 (Wed, 16 Mar 2016)
Changed paths:
M clang_delta/Makefile.am
M clang_delta/Makefile.in
M configure
M m4/ax_llvm.m4
Log Message:
-----------
Filter more problematic options out of `LLVMCXXFLAGS`.
Yang Chen reports that if you build Clang 3.8.0 with Clang, you end up
with `-fcolor-diagnostics` in the output of `llvm-config --cxxflags`.
This is a problem if you later try to build C-Reduce with GCC, because
GCC doesn't grok that flag.
With this commit, we now try to filter most diagnostics-reporting
options out of `llvm-config --cxxflags`. There are a few that we still
do not match --- for example, Clang's `-fansi-escape-codes` and GCC's
`-fmessage-length` --- but I expect that these are rare enough that we
won't be troubled by them in practice.
Commit: 36de8570078638db4c03ef347d19c70d3385cdc1
https://github.com/csmith-project/creduce/commit/36de8570078638db4c03ef347d19c70d3385cdc1
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-03-24 (Thu, 24 Mar 2016)
Changed paths:
M unifdef/unifdef.h
Log Message:
-----------
windows patch from yrnkrn
Commit: b9d81d33a587e398b6dae2272d8fa462516a28d9
https://github.com/csmith-project/creduce/commit/b9d81d33a587e398b6dae2272d8fa462516a28d9
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-03-25 (Fri, 25 Mar 2016)
Changed paths:
M unifdef/unifdef.h
Log Message:
-----------
Update copyright notice.
Commit: 41a65e365fe86954ec65ff1e6836bf0319e28e25
https://github.com/csmith-project/creduce/commit/41a65e365fe86954ec65ff1e6836bf0319e28e25
Author: Boris Egorov <egorov@linux.com>
Date: 2016-03-30 (Wed, 30 Mar 2016)
Changed paths:
M clang_delta/RenameClass.cpp
Log Message:
-----------
Fix condition logic in RenameClass::isValidName
Detected by GCC's "logical-op" check:
RenameClass.cpp: In member function ‘bool RenameClass::isValidName(const string&)’:
RenameClass.cpp:163:23: warning: logical ‘or’ of collectively exhaustive tests is always true [-Wlogical-op]
return (((C >= 'A') || (C <= 'Z')) && !isReservedName(C));
~~~~~~~~~~~^~~~~~~~~~~~~
Commit: 445f98a46ce5273262139eef372ce3b11bae9b33
https://github.com/csmith-project/creduce/commit/445f98a46ce5273262139eef372ce3b11bae9b33
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-03-31 (Thu, 31 Mar 2016)
Changed paths:
M clang_delta/RenameClass.cpp
Log Message:
-----------
Merge pull request #91 from JIghtuse/master
Fix condition logic in RenameClass::isValidName
Commit: 19becfba1cb181708ce9ef3e397195532b2fc558
https://github.com/csmith-project/creduce/commit/19becfba1cb181708ce9ef3e397195532b2fc558
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-03-31 (Thu, 31 Mar 2016)
Changed paths:
M clang_delta/RenameClass.cpp
Log Message:
-----------
Update copyright years.
Commit: 3ab6112476ce88389559b9d1e40e117e00e22dbe
https://github.com/csmith-project/creduce/commit/3ab6112476ce88389559b9d1e40e117e00e22dbe
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-04-03 (Sun, 03 Apr 2016)
Changed paths:
M TODO
Log Message:
-----------
add desired transformation from Colin Percival
Commit: 6c22660f77bc83998d8d99defa0d7cec763acfe5
https://github.com/csmith-project/creduce/commit/6c22660f77bc83998d8d99defa0d7cec763acfe5
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-04-07 (Thu, 07 Apr 2016)
Changed paths:
M scripts/travis_deps.sh
Log Message:
-----------
Update for released LLVM 3.8.
Commit: b3992c5352028272df4fc5a177da208871628fbb
https://github.com/csmith-project/creduce/commit/b3992c5352028272df4fc5a177da208871628fbb
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-04-07 (Thu, 07 Apr 2016)
Changed paths:
M scripts/travis_deps.sh
Log Message:
-----------
Install "zlib1g-dev" instead of "zlib-dev".
This doesn't make a difference in practice, at least for Ubuntu.
I made this change to match the "INSTALL" instructions.
Commit: 22e774287fbbc422c607ee9517acfe300e302d9e
https://github.com/csmith-project/creduce/commit/22e774287fbbc422c607ee9517acfe300e302d9e
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-04-07 (Thu, 07 Apr 2016)
Changed paths:
M scripts/travis_deps.sh
Log Message:
-----------
Fix code to match comment; duh!
Commit: d9dd39ba1eea3eca91d84e3eb8fd8eacfa1f7a3d
https://github.com/csmith-project/creduce/commit/d9dd39ba1eea3eca91d84e3eb8fd8eacfa1f7a3d
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-04-15 (Fri, 15 Apr 2016)
Changed paths:
M scripts/Makefile.am
M scripts/Makefile.in
Log Message:
-----------
Distribute the `localize_headers` script.
Commit: 8eed6b286058605b0d65f0adc486000d9b740511
https://github.com/csmith-project/creduce/commit/8eed6b286058605b0d65f0adc486000d9b740511
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-04-15 (Fri, 15 Apr 2016)
Changed paths:
M delta/Makefile.am
M delta/Makefile.in
Log Message:
-----------
Distribute extra sources for `delta`.
Include the "extra" source files in distributions.
Commit: bc92ff445bcacb671d723d866c8968201e896bb9
https://github.com/csmith-project/creduce/commit/bc92ff445bcacb671d723d866c8968201e896bb9
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-04-15 (Fri, 15 Apr 2016)
Changed paths:
M delta/Makefile.am
M delta/Makefile.in
Log Message:
-----------
Fix out-of-date file name in comment.
Commit: 3db3d2fd96fb62294d0ee954ee95828ff2804b24
https://github.com/csmith-project/creduce/commit/3db3d2fd96fb62294d0ee954ee95828ff2804b24
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-04-15 (Fri, 15 Apr 2016)
Changed paths:
M clang_delta/RewriteUtils.cpp
Log Message:
-----------
Fixed a crash on invalid location
* give up if both StartLoc and EndLoc are invalid;
* cleanup code a bit
Commit: 28b40a997052bf74d15c2b57e559a01033288794
https://github.com/csmith-project/creduce/commit/28b40a997052bf74d15c2b57e559a01033288794
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-04-18 (Mon, 18 Apr 2016)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
fix warnings noticed by Eric
Commit: 0a96f71d62a38f62b4bf0c14c406662fb127dfc7
https://github.com/csmith-project/creduce/commit/0a96f71d62a38f62b4bf0c14c406662fb127dfc7
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-04-18 (Mon, 18 Apr 2016)
Changed paths:
M clang_delta/Makefile.am
M clang_delta/Makefile.in
M configure
M m4/ax_llvm.m4
Log Message:
-----------
Fix build w/Clang 3.8.0 binary package for OS X.
Fix the problem with building C-Reduce against the LLVM.org-provided
binary package of Clang 3.8.0, currently available at:
http://llvm.org/releases/3.8.0/clang+llvm-3.8.0-x86_64-apple-darwin.tar.xz
If you use that binary package, you'll find that the output of
`llvm-config --cxxflags` contains:
-isysroot /Applications/Xcode.app/.../MacOSX10.10.sdk
This doesn't work with current versions of Xcode, at least not for John
Regehr and me, because recent versions of Xcode don't come with the OS X
10.10 SDK.
But no worries: we don't actually need those command-line options at all
in order to compile C-Reduce. So now we strip them out.
The implementation of the stripping could be more precise. Maybe we
should do it only atop OS X, and maybe we should look for the two
command-line words adjacent to each other, not separately. But likely
the implementation in this commit is good enough for now, and probably
also likely good forever.
Commit: 1d54fa905959a9c44c753cb6968d2f049aaa92b5
https://github.com/csmith-project/creduce/commit/1d54fa905959a9c44c753cb6968d2f049aaa92b5
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-04-20 (Wed, 20 Apr 2016)
Changed paths:
M clang_delta/CMakeLists.txt
Log Message:
-----------
Bump the required LLVM version to >= 3.8.
Commit: 298675d1d25dda1474b348ae2426cd37bc06dbe3
https://github.com/csmith-project/creduce/commit/298675d1d25dda1474b348ae2426cd37bc06dbe3
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-04-20 (Wed, 20 Apr 2016)
Changed paths:
M INSTALL
Log Message:
-----------
Note that CMake-based build system is unsupported.
Add a note that the CMake-based build system is currently unsupported.
We intend to fix it and support it, but not in time for the upcoming
release of C-Reduce.
Commit: f137b2e40687ed68548a53fcdef94220c72c1026
https://github.com/csmith-project/creduce/commit/f137b2e40687ed68548a53fcdef94220c72c1026
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-04-22 (Fri, 22 Apr 2016)
Changed paths:
M clang_delta/RewriteUtils.cpp
Log Message:
-----------
Fixed some issues for rewriting macros
Commit: 60549085767b87bba1ae00bc921b736f1c78f320
https://github.com/csmith-project/creduce/commit/60549085767b87bba1ae00bc921b736f1c78f320
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-04-25 (Mon, 25 Apr 2016)
Changed paths:
M tests/test0.sh
M tests/test1.sh
M tests/test2.sh
M tests/test3.sh
M tests/test4.sh
M tests/test5.sh
M tests/test6.sh
M tests/test7.sh
Log Message:
-----------
Use `#!/usr/bin/env bash` in tests.
Make the test scripts more portable to systems like FreeBSD, where
`bash` isn't in `/bin`.
Commit: e84c64a3bd847bd5b4b56fdb5f7360e9e4d227d3
https://github.com/csmith-project/creduce/commit/e84c64a3bd847bd5b4b56fdb5f7360e9e4d227d3
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-04-25 (Mon, 25 Apr 2016)
Changed paths:
M scripts/godelta8
M scripts/make_cde_package.sh
M scripts/test1_crash.sh
M scripts/test1_wrong_code_framac.sh
M scripts/test1_wrong_code_kcc.sh
Log Message:
-----------
Use `#!/usr/bin/env bash` in other scripts.
Make these scripts more portable, too.
Commit: 1bed80d0d56e47d05f354720b4d4530af33e5976
https://github.com/csmith-project/creduce/commit/1bed80d0d56e47d05f354720b4d4530af33e5976
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-04-25 (Mon, 25 Apr 2016)
Changed paths:
M clang_delta/Makefile.am
M clang_delta/Makefile.in
Log Message:
-----------
Add more Clang libs to `clang_delta_LDADD`.
Link against the following additional libraries:
-lclangStaticAnalyzerFrontend
-lclangStaticAnalyzerCheckers
-lclangStaticAnalyzerCore
These are required for linking `clang_delta` under FreeBSD 10.2.
I don't understand why they don't seem to be required for linking on
Ubuntu 14. The GNU linker is doing something magic? I don't know.
What I *do* know is that adding the libraries doesn't seem to break the
build under Linux, so in they go.
Commit: 6337e6ac0be4cb7528440c8ce9add5f4366417a9
https://github.com/csmith-project/creduce/commit/6337e6ac0be4cb7528440c8ce9add5f4366417a9
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-04-26 (Tue, 26 Apr 2016)
Changed paths:
M INSTALL
Log Message:
-----------
Add FreeBSD 10.2 instructions to INSTALL file.
Commit: 8277adf388a2f0f73dd9da150d17d72a3cfad175
https://github.com/csmith-project/creduce/commit/8277adf388a2f0f73dd9da150d17d72a3cfad175
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-04-26 (Tue, 26 Apr 2016)
Changed paths:
M configure
M configure.ac
Log Message:
-----------
Look for GNU Indent as `gindent`, too.
Look for `gindent` first, and then for `indent`.
FreeBSD installs GNU Indent as `gindent'. Homebrew does, too.
We could maybe be pedantic and *insist* on finding the GNU version, not
the Berkeley version, but that doesn't seem especially worthwhile.
Commit: 614bc8b9aeb120e54fc2a9f28e497b0340affe86
https://github.com/csmith-project/creduce/commit/614bc8b9aeb120e54fc2a9f28e497b0340affe86
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-04-26 (Tue, 26 Apr 2016)
Changed paths:
M creduce/pass_indent.pm
Log Message:
-----------
Ignore `~/.indent.pro` files.
Pass `-npro` to `indent`, to tell it to ignore the user's
`~/.indent.pro` file. Potentially makes this pass more predictable.
Commit: 0adab4e6bfe18a6a82336a0d617527b490907380
https://github.com/csmith-project/creduce/commit/0adab4e6bfe18a6a82336a0d617527b490907380
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-04-26 (Tue, 26 Apr 2016)
Changed paths:
M creduce/pass_indent.pm
Log Message:
-----------
Ignore `~/.astylerc` files.
Pass `--options=none` to `astyle`, to tell it to ignore the user's
`~/.astylerc` file. Potentially makes this pass more predictable.
Commit: fe3b7b1353d51a6df4a4c3a593de695798a5dff2
https://github.com/csmith-project/creduce/commit/fe3b7b1353d51a6df4a4c3a593de695798a5dff2
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-04-26 (Tue, 26 Apr 2016)
Changed paths:
M clang_delta/Makefile.am
M clang_delta/Makefile.in
M configure
M m4/ax_llvm.m4
Log Message:
-----------
Fix regexps for unwanted `-f...` options.
Fix the regexps for matching unwanted `-f...` command-line options that
we get from `llvm-config --cxxflags`. I miscoded them back in commit
9a58808. Bah.
Commit: de7d22a8016bab79ba1d9ab80924f9fb65ff5545
https://github.com/csmith-project/creduce/commit/de7d22a8016bab79ba1d9ab80924f9fb65ff5545
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-05-02 (Mon, 02 May 2016)
Changed paths:
M INSTALL
Log Message:
-----------
bit of cleanup of INSTALL
show the homebrew package name as suggested by Sean McBride
Commit: 9a69e26940a1ec2251c187b3d43397a3c852acc2
https://github.com/csmith-project/creduce/commit/9a69e26940a1ec2251c187b3d43397a3c852acc2
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-05-07 (Sat, 07 May 2016)
Changed paths:
M clang_delta/ReducePointerLevel.cpp
Log Message:
-----------
Remove an incorrect assert
Commit: a7d703ab94fd0733a0ad126abd269a14da9f30f1
https://github.com/csmith-project/creduce/commit/a7d703ab94fd0733a0ad126abd269a14da9f30f1
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-05-11 (Wed, 11 May 2016)
Changed paths:
M tests/README
M tests/test0.sh
M tests/test1.sh
M tests/test2.sh
M tests/test3.sh
M tests/test4.sh
M tests/test5.sh
M tests/test6.sh
M tests/test7.sh
Log Message:
-----------
Use envvars to select Clang and GCC for tests.
Consult the environment variables `CLANG` and `GCC` to find the Clang
and GCC binaries, respectively. The defaults are "clang" and "gcc".
This commit is based on a patch submitted by Matthias Klose. Thanks,
Matthias!
Commit: 18e04be8f3748d038eb07d8b34f8b88c2bfc5604
https://github.com/csmith-project/creduce/commit/18e04be8f3748d038eb07d8b34f8b88c2bfc5604
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-05-13 (Fri, 13 May 2016)
Changed paths:
M INSTALL
Log Message:
-----------
Remove reference to libedit2 in INSTALL.
The binary package for LLVM 3.8.0 does not seem to depend on libedit2
any more. It still depends on libtinfo5, though.
Commit: c698ca26686b305a9ce40dd29c581413b51509bc
https://github.com/csmith-project/creduce/commit/c698ca26686b305a9ce40dd29c581413b51509bc
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-05-13 (Fri, 13 May 2016)
Changed paths:
M CMakeLists.txt
M configure
M version.m4
Log Message:
-----------
Increment version number to 2.6.0.
Commit: f448b5effd20bba7172450eb0d0177a85b6c5980
https://github.com/csmith-project/creduce/commit/f448b5effd20bba7172450eb0d0177a85b6c5980
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-05-21 (Sat, 21 May 2016)
Changed paths:
M clang_delta/TemplateNonTypeArgToInt.cpp
Log Message:
-----------
Fixed an issue of null-rewriting
Skip non-type template parameters of "int" type
Commit: ce48643e896ea5ef2cd242df08435613ad4a356d
https://github.com/csmith-project/creduce/commit/ce48643e896ea5ef2cd242df08435613ad4a356d
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-05-22 (Sun, 22 May 2016)
Changed paths:
M .gitignore
M delta/.gitignore
M unifdef/.gitignore
Log Message:
-----------
Make minor cleanups to ".gitignore" files.
Commit: 10a507e542a1b60c5f6f7ee919da9e0fb19f3c14
https://github.com/csmith-project/creduce/commit/10a507e542a1b60c5f6f7ee919da9e0fb19f3c14
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-05-22 (Sun, 22 May 2016)
Changed paths:
A delta/test0_delta/Makefile
A delta/test1_multidelta/Makefile
A delta/test2_multidelta/Makefile
Log Message:
-----------
Add Makefiles for provided "delta" tests.
Add the Makefiles for the tests that are part of the third-party "delta"
package.
I overlooked including these previously, back in October 2015 (at commit
381839f), because we usually ignore files called "Makefile".
Commit: a9a2ea0b9a2c1e51bb1f11d743764655c6585183
https://github.com/csmith-project/creduce/commit/a9a2ea0b9a2c1e51bb1f11d743764655c6585183
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-05-23 (Mon, 23 May 2016)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
Should be reduce-pointer-pairs
Thanks Moritz for detecting it!
Commit: a55522a9c0a0e0fd19394a09d9abbf94d6f60750
https://github.com/csmith-project/creduce/commit/a55522a9c0a0e0fd19394a09d9abbf94d6f60750
Author: Johan Bengtsson <johan.bengtsson@iar.com>
Date: 2016-05-23 (Mon, 23 May 2016)
Changed paths:
M clang_delta/CMakeLists.txt
M clang_delta/Makefile.am
M clang_delta/Makefile.in
A clang_delta/ReplaceArrayAccessWithIndex.cpp
A clang_delta/ReplaceArrayAccessWithIndex.h
M creduce/creduce.in
Log Message:
-----------
Add new transformation to clang_delta
Adds a transformation that replaces array accesses with the index
expression.
Commit: e35250fdf39a2448cbc5561d895b96c554fa719d
https://github.com/csmith-project/creduce/commit/e35250fdf39a2448cbc5561d895b96c554fa719d
Author: Eric Eide <eeide@cs.utah.edu>
Date: 2016-06-02 (Thu, 02 Jun 2016)
Changed paths:
M creduce/Makefile.am
M creduce/Makefile.in
Log Message:
-----------
Re-sort file names in `dist_perllib_DATA`.
Today, while working on something related, I happened to notice that
they were not in alphabetical order. Fix.
Commit: 41d35714abacdbddd9b0100eaa7348c0880fe2d4
https://github.com/csmith-project/creduce/commit/41d35714abacdbddd9b0100eaa7348c0880fe2d4
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2016-06-04 (Sat, 04 Jun 2016)
Changed paths:
M clang_delta/CMakeLists.txt
M clang_delta/Makefile.am
M clang_delta/Makefile.in
A clang_delta/ReplaceArrayAccessWithIndex.cpp
A clang_delta/ReplaceArrayAccessWithIndex.h
M creduce/creduce.in
Log Message:
-----------
Merge pull request #93 from mortior/unwrap-array
Add new transformation to clang_delta
Commit: 64330656e4b03df48f1444812361e84318a8fc3f
https://github.com/csmith-project/creduce/commit/64330656e4b03df48f1444812361e84318a8fc3f
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-13 (Mon, 13 Jun 2016)
Changed paths:
M creduce/creduce.in
M creduce/pass_balanced.pm
Log Message:
-----------
a bit of overdue love for the balanced token pass
Commit: b53c2461f39ab9efe482266eef15d5af6334bcd0
https://github.com/csmith-project/creduce/commit/b53c2461f39ab9efe482266eef15d5af6334bcd0
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-13 (Mon, 13 Jun 2016)
Changed paths:
M creduce/creduce.in
Log Message:
-----------
simplify stats printing
Commit: 8f45c86774fb1363080ef8e6ecd941308d76e3ba
https://github.com/csmith-project/creduce/commit/8f45c86774fb1363080ef8e6ecd941308d76e3ba
Author: John Regehr <regehr@cs.utah.edu>
Date: 2016-06-13 (Mon, 13 Jun 2016)
Changed paths:
M .gitignore
M CMakeLists.txt
M INSTALL
M TODO
M clang_delta/AggregateToScalar.cpp
M clang_delta/BinOpSimplification.cpp
M clang_delta/CMakeLists.txt
M clang_delta/CallExprToValue.cpp
M clang_delta/CombineGlobalVarDecl.cpp
M clang_delta/CombineLocalVarDecl.cpp
M clang_delta/CommonTemplateArgumentVisitor.h
M clang_delta/CopyPropagation.cpp
M clang_delta/EmptyStructToInt.cpp
M clang_delta/LiftAssignmentExpr.cpp
M clang_delta/LocalToGlobal.cpp
M clang_delta/Makefile.am
M clang_delta/Makefile.in
M clang_delta/MoveFunctionBody.cpp
M clang_delta/MoveGlobalVar.cpp
M clang_delta/ParamToLocal.cpp
M clang_delta/ReduceArrayDim.cpp
M clang_delta/ReduceArraySize.cpp
M clang_delta/ReducePointerLevel.cpp
M clang_delta/ReducePointerPairs.cpp
M clang_delta/RemoveAddrTaken.cpp
M clang_delta/RemoveArray.cpp
M clang_delta/RemoveEnumMemberValue.cpp
M clang_delta/RemoveNamespace.cpp
M clang_delta/RemoveNestedFunction.cpp
M clang_delta/RemoveNestedFunction.h
M clang_delta/RemovePointer.cpp
M clang_delta/RemoveTrivialBaseTemplate.cpp
M clang_delta/RemoveUnusedEnumMember.cpp
M clang_delta/RemoveUnusedEnumMember.h
M clang_delta/RemoveUnusedFunction.cpp
M clang_delta/RemoveUnusedFunction.h
M clang_delta/RemoveUnusedStructField.cpp
M clang_delta/RemoveUnusedVar.cpp
M clang_delta/RenameCXXMethod.cpp
M clang_delta/RenameClass.cpp
M clang_delta/RenameFun.cpp
M clang_delta/RenameParam.cpp
M clang_delta/RenameVar.cpp
M clang_delta/RenameVar.h
A clang_delta/ReplaceArrayAccessWithIndex.cpp
A clang_delta/ReplaceArrayAccessWithIndex.h
M clang_delta/ReplaceArrayIndexVar.cpp
M clang_delta/ReplaceCallExpr.cpp
M clang_delta/ReplaceClassWithBaseTemplateSpec.h
M clang_delta/ReplaceFunctionDefWithDecl.cpp
M clang_delta/ReplaceOneLevelTypedefType.cpp
M clang_delta/ReplaceSimpleTypedef.cpp
M clang_delta/ReplaceUndefinedFunction.cpp
M clang_delta/ReturnVoid.cpp
M clang_delta/RewriteUtils.cpp
M clang_delta/RewriteUtils.h
M clang_delta/SimpleInliner.cpp
M clang_delta/SimplifyCallExpr.cpp
M clang_delta/SimplifyCommaExpr.cpp
M clang_delta/SimplifyNestedClass.h
M clang_delta/SimplifyStruct.cpp
M clang_delta/SimplifyStructUnionDecl.cpp
M clang_delta/TemplateNonTypeArgToInt.cpp
M clang_delta/TemplateNonTypeArgToInt.h
M clang_delta/Transformation.cpp
M clang_delta/Transformation.h
M clang_delta/TransformationManager.cpp
M clang_delta/UnifyFunctionDecl.cpp
M clang_delta/UnionToStruct.cpp
M clex/clex.l
M clex/defs.h
M clex/driver.c
M configure
M configure.ac
M creduce/Makefile.am
M creduce/Makefile.in
M creduce/creduce.in
M creduce/creduce_config.pm.in
M creduce/creduce_regexes.pm
M creduce/pass_balanced.pm
M creduce/pass_indent.pm
M creduce/pass_ints.pm
M creduce/pass_peep.pm
M creduce/pass_special.pm
M creduce/pass_ternary.pm
M delta/.gitignore
M delta/Makefile.am
M delta/Makefile.in
A delta/test0_delta/Makefile
A delta/test1_multidelta/Makefile
A delta/test2_multidelta/Makefile
M m4/ax_llvm.m4
M scripts/Makefile.am
M scripts/Makefile.in
M scripts/godelta8
M scripts/localize_headers
M scripts/make_cde_package.sh
M scripts/test1_crash.sh
M scripts/test1_wrong_code_framac.sh
M scripts/test1_wrong_code_kcc.sh
M scripts/travis_deps.sh
M tests/README
M tests/test0.sh
M tests/test1.sh
M tests/test2.sh
M tests/test3.sh
M tests/test4.sh
M tests/test5.sh
M tests/test6.sh
M tests/test7.sh
M unifdef/.gitignore
M unifdef/unifdef.h
M version.m4
Log Message:
-----------
Merge branch 'master' into clang-delta-improvements
Compare: https://github.com/csmith-project/creduce/compare/53c67e9d8db1...8f45c86774fb