This series contains a fix for accesses to volatile bitfields being wrongly optimized away because the memops is not done with the type of the bitfield but with the underlying type which will benerally not be marked as volatile. This series is available for review & testing in the repository at: git://github.com/lucvoo/sparse-dev.git volatile-bitfield ---------------------------------------------------------------- Luc Van Oostenryck (4): add testcase for accesses to volatile bitfields split memops from unops add a flag for volatile memops fix: do not optimize away accesses to volatile bitfields flow.c | 2 +- linearize.c | 2 ++ linearize.h | 6 +++++- memops.c | 4 ++-- simplify.c | 2 +- validation/optim/volatile-bitfield.c | 16 ++++++++++++++++ 6 files changed, 27 insertions(+), 5 deletions(-) create mode 100644 validation/optim/volatile-bitfield.c -- 2.18.0
