This series fixes problems with the creation and placement of phisrcs.
Patch 1 is a preparatory step for patch 4 but fixes a very problem
of its own.
Patch 2 & 3 are the main fixes.
Patch 4 is a small improvement but also avoid divergence in the code
regarding the changes made in patch 3.
Note: I'm very sure there is still others bugs in the same corner but
at least these patch improve the situation a bit.
Note: Only one patch has a regression test. For the other 3, it's
to have some examples but this doesn't fit very well into the current
testsuite.
This serie can also be found on the 'sent/broken-phisrc' of
git://github.com/lucvoo/sparse.git
Luc Van Oostenryck (4):
volatile loads must not be simplified
fix superfluous phisrc
fix phisrc mixup
missing load simplification
flow.c | 23 ++++++++++++++++-------
memops.c | 13 ++++++-------
validation/memops-volatile.c | 21 +++++++++++++++++++++
3 files changed, 43 insertions(+), 14 deletions(-)
create mode 100644 validation/memops-volatile.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
