[GIT PULL] remove single-store shortcut

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

 



Chris,
PLease consider these two patches for inclusion in the release.

This will remove an unsafe 'shortcut' made during the SSA
construction which create problems for undefined variables.
The most visible problem being that the processing of files
containing such undefined variable can easily run into infinite
loops but even if not, such processing is as best ill-defined,
plainly wrong in most cases.

[since these patches will be part of the release, I've slightly
 changes the message commit. The patch in itself is unchanged
 since the last days and correspond to what have been tested].

----------------------------------------------------------------
The following changes since commit fa71b7ac0594c9ddf81ec27753280cffef702489:

  Adding gcc attribute no_gccisr (2017-07-13 23:57:09 -0700)

are available in the git repository at:

  git://github.com/lucvoo/sparse.git remove-singlestore-shortcut

for you to fetch changes up to 64c9129b5beee61f0a311556259d97d7e56d2879:

  Remove single-store shortcut (2017-08-11 16:24:13 +0200)

----------------------------------------------------------------
Luc Van Oostenryck (2):
      testsuite: add support for commands with timeout
      Remove single-store shortcut

 Documentation/test-suite    |  4 ++++
 flow.c                      | 39 ++-------------------------------------
 validation/infinite-loop0.c | 11 +++++++++++
 validation/test-suite       |  7 +++++++
 4 files changed, 24 insertions(+), 37 deletions(-)
 create mode 100644 validation/infinite-loop0.c
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html



[Index of Archives]     [Newbies FAQ]     [LKML]     [IETF Annouce]     [DCCP]     [Netdev]     [Networking]     [Security]     [Bugtraq]     [Yosemite]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Linux SCSI]     [Trinity Fuzzer Tool]

  Powered by Linux