Hi Luc, On 9 August 2017 at 21:02, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > On Wed, Aug 9, 2017 at 9:47 PM, Dibyendu Majumdar > <mobile@xxxxxxxxxxxxxxx> wrote: >> Hi Luc, >> >> This this change independent of the rest of changes in the series - >> i.e. can I just apply this change? > > Absolutely. > Thank you. I am trying out this change as I am hoping it will help avoid the incorrect simplifications we saw in some cases. So far my findings are: It solves the bit field access issue: i.e. this test works (https://github.com/dibyendumajumdar/dmr_c/blob/master/tests/set1/onebit.c). But it doesn't help with the issue with pseudos defined in one branch of the code (https://github.com/dibyendumajumdar/dmr_c/blob/master/tests/bugs/simplifybug.c). Is there another fix / patch that you made to overcome above issue or would you expect both issues to be fixed by this change? I will run my test cases with this change and report if anything breaks. Regards Dibyendu -- 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
