On 11/14/2017 10:46 PM, Jeff Law wrote:
With my local patches to remove jump threading from VRP I was seeing a fairly obvious jump threading path left in the CFG after DOM. This missed jump thread ultimately caused a false positive uninitialized warning.
This wouldn't be uninit-pred-[68]* or some such, which I also trigger when messing around with the backwards threader ??.
ping-ponging, but not due to this patch AFAICT. Also verified by visual inspection that the first DOM pass fully threaded the code in question when using a local branch that has my removal of threading from tree-vrp patches installed and bootstrapping that branch.
If DOM dumps the threads to the dump file you may want to bake that test with some GIMPLE FE test.
Installing on the trunk.
You forgot to attach the patch :). Aldy
