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

[csmith-project/creduce] bb3bab: Simplify expression to avoid PVS-Studio warning.



  Branch: refs/heads/llvm-svn-compatible
  Home:   https://github.com/csmith-project/creduce
  Commit: bb3babcc5d765d9912948bd8244e5693d376d9f1
      https://github.com/csmith-project/creduce/commit/bb3babcc5d765d9912948bd8244e5693d376d9f1
  Author: Eric Eide <eeide@cs.utah.edu>
  Date:   2016-12-19 (Mon, 19 Dec 2016)

  Changed paths:
    M clex/driver.c

  Log Message:
  -----------
  Simplify expression to avoid PVS-Studio warning.

Thanks to @dcb314 for reporting this.

This resolves GitHub issue #124.


  Commit: b2ea07e64d9a198b0f6e923d3aa074df0ba968e2
      https://github.com/csmith-project/creduce/commit/b2ea07e64d9a198b0f6e923d3aa074df0ba968e2
  Author: Yang Chen <yangchen@nvidia.com>
  Date:   2016-12-29 (Thu, 29 Dec 2016)

  Changed paths:
    M clang_delta/ReducePointerLevel.cpp

  Log Message:
  -----------
  Return NULL if the ValueDecl is not of DeclaratorDecl


  Commit: 30c2d8e3a6505ed6699216833441eccaeedf02ad
      https://github.com/csmith-project/creduce/commit/30c2d8e3a6505ed6699216833441eccaeedf02ad
  Author: Yang Chen <chenyang@cs.utah.edu>
  Date:   2017-01-14 (Sat, 14 Jan 2017)

  Changed paths:
    M clang_delta/RemoveUnusedFunction.cpp
    M clang_delta/RemoveUnusedFunction.h

  Log Message:
  -----------
  Fixed a crash due to overwriting the same location

In some cases (most likely for ill-declared templates),
we may rewrite the same location multiple times, and
hence trigger an ICE. This is now fixed.


  Commit: fea887e526dbec96722695627e2d34f3bdea5398
      https://github.com/csmith-project/creduce/commit/fea887e526dbec96722695627e2d34f3bdea5398
  Author: Moritz Pflanzer <moritz@pflanzer.eu>
  Date:   2017-02-11 (Sat, 11 Feb 2017)

  Changed paths:
    M INSTALL
    M clang_delta/CMakeLists.txt

  Log Message:
  -----------
  Require package Clang for clang_delta

If LLVM and Clang have not been installed into the same location it is
necessary to specify the include directory for the clang headers
separate from the LLVM include directory.


  Commit: 603ec86a5f67d45b1f63dadc6dc6dadc71d5e4b3
      https://github.com/csmith-project/creduce/commit/603ec86a5f67d45b1f63dadc6dc6dadc71d5e4b3
  Author: Yang Chen <chenyang@cs.utah.edu>
  Date:   2017-03-09 (Thu, 09 Mar 2017)

  Changed paths:
    M clang_delta/Transformation.cpp

  Log Message:
  -----------
  Fixed a crash caused by invalid dyn_cast

Just use Clang's API for getting array's base element type.


  Commit: 19b6a980586c90d2a11069413175ef72f8d8b6fd
      https://github.com/csmith-project/creduce/commit/19b6a980586c90d2a11069413175ef72f8d8b6fd
  Author: Eric Eide <eeide@cs.utah.edu>
  Date:   2017-03-15 (Wed, 15 Mar 2017)

  Changed paths:
    M INSTALL
    M clang_delta/CMakeLists.txt

  Log Message:
  -----------
  Merge pull request #132 from mpflanzer/include_clang

Require package Clang for clang_delta


  Commit: 7e32dc2ca0a87f56573e4fedc9ea029f46031cec
      https://github.com/csmith-project/creduce/commit/7e32dc2ca0a87f56573e4fedc9ea029f46031cec
  Author: Eric Eide <eeide@cs.utah.edu>
  Date:   2017-03-15 (Wed, 15 Mar 2017)

  Changed paths:
    M .travis.yml
    M CMakeLists.txt
    M INSTALL
    M configure
    M configure.ac
    M scripts/travis_deps.sh

  Log Message:
  -----------
  Require LLVM 4.0.


  Commit: 603ef232e7a5e154bf9d2a087a4933bdfa27d5f8
      https://github.com/csmith-project/creduce/commit/603ef232e7a5e154bf9d2a087a4933bdfa27d5f8
  Author: Eric Eide <eeide@cs.utah.edu>
  Date:   2017-03-15 (Wed, 15 Mar 2017)

  Changed paths:
    M CMakeLists.txt
    M clang_delta/CMakeLists.txt

  Log Message:
  -----------
  Move `find_package(Clang)` to root CMakeLists.txt file.

Move the Clang check to the root file, just to keep it alongside
the code that finds the LLVM package.  Add a message about the
Clang packag that we find.


  Commit: c7828ea57ab4c8d91e3fa777e804466b34445683
      https://github.com/csmith-project/creduce/commit/c7828ea57ab4c8d91e3fa777e804466b34445683
  Author: Eric Eide <eeide@cs.utah.edu>
  Date:   2017-03-15 (Wed, 15 Mar 2017)

  Changed paths:
    M INSTALL

  Log Message:
  -----------
  Clarify instructions for separate LLVM and Clang trees.

Add an example command line.


  Commit: 03dc295b1032f75ca29678f2192528440ccc3f5e
      https://github.com/csmith-project/creduce/commit/03dc295b1032f75ca29678f2192528440ccc3f5e
  Author: Eric Eide <eeide@cs.utah.edu>
  Date:   2017-03-15 (Wed, 15 Mar 2017)

  Changed paths:
    M clang_delta/CMakeLists.txt

  Log Message:
  -----------
  Add comment about `CLANG_INCLUDE_DIRS`.

The variable `CLANG_INCLUDE_DIRS` was added in Clang r294207, which
is after the LLVM 4.0.0 release.  Keep it here now, because it is
useful to people who build C-Reduce atop the development versions of
LLVM and Clang.  In the future, when C-Reduce requires LLVM 5, we can
just remove this comment.


  Commit: 0b6000aca54f31d88c114e097cb0d01b657cc129
      https://github.com/csmith-project/creduce/commit/0b6000aca54f31d88c114e097cb0d01b657cc129
  Author: Eric Eide <eeide@cs.utah.edu>
  Date:   2017-03-15 (Wed, 15 Mar 2017)

  Changed paths:
    M Makefile.in
    M aclocal.m4
    M clang_delta/Makefile.am
    M clang_delta/Makefile.in
    M clex/Makefile.in
    M configure
    M configure.ac
    M creduce/Makefile.in
    M delta/Makefile.in
    A m4/ax_clang.m4
    M scripts/Makefile.in
    M tests/Makefile.in
    M unifdef/Makefile.in

  Log Message:
  -----------
  Add initial implementation of `--with-clang` configure option.

Use `--with-clang` to identify a separate Clang development tree where
the Automake-based build process should find Clang headers and
libraries.  This is useful if you compile LLVM and Clang from source
and keep them in separate build trees.

Moritz Pflanzer implemented support for separate LLVM and Clang trees
in commit fea887e, for the CMake-based build process only.  This
commit implements similar support for the Automake-based build process.

This commit addresses issue #133 and is related to pull request #132.

I'm not entirely happy that `clang_delta/Makefile.am` handles the LLVM
and Clang configuration options differently.  For LLVM, the Makefile
queries `llvm-config` when Make is run; but for this new Clang stuff,
we burn the Clang-related stuff into the Makefile when `configure` is
run.  Maybe I will fix this; maybe I won't.

Also: Even when `--with-clang` is specified, the Makefile still causes
the build to look in directory `$(LLVMINCLUDEDIR)/clang` for Clang
headers (in addition to any that `configure` found because
`--with-clang` was specified).  Maybe I will fix this; maybe I won't.


  Commit: 494afa50af1a9102fc87b6279b1e77d79e3de116
      https://github.com/csmith-project/creduce/commit/494afa50af1a9102fc87b6279b1e77d79e3de116
  Author: Eric Eide <eeide@cs.utah.edu>
  Date:   2017-03-15 (Wed, 15 Mar 2017)

  Changed paths:
    M configure
    M m4/ax_clang.m4

  Log Message:
  -----------
  Fix dumb mistake in `--with-clang`.

The default is "no".  It was "yes", which results in an error.  Oops!


  Commit: ffc7cfad4f130112f57778510bd1929dd726a50e
      https://github.com/csmith-project/creduce/commit/ffc7cfad4f130112f57778510bd1929dd726a50e
  Author: Eric Eide <eeide@cs.utah.edu>
  Date:   2017-03-16 (Thu, 16 Mar 2017)

  Changed paths:
    M clang_delta/RemoveUnusedFunction.cpp
    M clang_delta/RemoveUnusedFunction.h
    M clang_delta/Transformation.cpp

  Log Message:
  -----------
  Update copyright years.


  Commit: c4383edee428ede808a6130b5d4df7f48f2598c5
      https://github.com/csmith-project/creduce/commit/c4383edee428ede808a6130b5d4df7f48f2598c5
  Author: Yang Chen <chenyang@cs.utah.edu>
  Date:   2017-03-17 (Fri, 17 Mar 2017)

  Changed paths:
    M clang_delta/RewriteUtils.cpp

  Log Message:
  -----------
  return an invalid string for exprs with bad location


  Commit: 17cc02cd8225af29d8de747fbaa015e8311cde3a
      https://github.com/csmith-project/creduce/commit/17cc02cd8225af29d8de747fbaa015e8311cde3a
  Author: Eric Eide <eeide@cs.utah.edu>
  Date:   2017-03-17 (Fri, 17 Mar 2017)

  Changed paths:
    M INSTALL

  Log Message:
  -----------
  Document `--with-clang'.


  Commit: d07cf145c68d48a4fcad8b094c5337d8f74de0ff
      https://github.com/csmith-project/creduce/commit/d07cf145c68d48a4fcad8b094c5337d8f74de0ff
  Author: Eric Eide <eeide@cs.utah.edu>
  Date:   2017-03-17 (Fri, 17 Mar 2017)

  Changed paths:
    M m4/ax_clang.m4

  Log Message:
  -----------
  Add source comments to "ax_clang.m4".


  Commit: 08888b8c33e66617fc68da2e8a9dab6eba86bdb8
      https://github.com/csmith-project/creduce/commit/08888b8c33e66617fc68da2e8a9dab6eba86bdb8
  Author: Yang Chen <chenyang@cs.utah.edu>
  Date:   2017-03-21 (Tue, 21 Mar 2017)

  Changed paths:
    M clang_delta/RenameCXXMethod.cpp

  Log Message:
  -----------
  negate the return value of StringRef::getAsInteger

It turns out StringRef::getAsInteger returns true upon failure.


  Commit: 756e34917d5ed53c5b6dc121ff31d4f1dd18705f
      https://github.com/csmith-project/creduce/commit/756e34917d5ed53c5b6dc121ff31d4f1dd18705f
  Author: Yang Chen <chenyang@cs.utah.edu>
  Date:   2017-03-22 (Wed, 22 Mar 2017)

  Changed paths:
    M clang_delta/RenameCXXMethod.cpp

  Log Message:
  -----------
  update copyright year


  Commit: e43b429c1e85f24c8af024b02897961abbcef799
      https://github.com/csmith-project/creduce/commit/e43b429c1e85f24c8af024b02897961abbcef799
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2017-04-25 (Tue, 25 Apr 2017)

  Changed paths:
    M creduce/creduce.in

  Log Message:
  -----------
  untested check for fork failure


Compare: https://github.com/csmith-project/creduce/compare/af20fb075823...e43b429c1e85