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
