Fix 389373 - exp-sgcheck the 'impossible' happened as Ist_LoadG is not instrumented
commit88a591de86e76864249a6e21adbf32774b0695bf
authorPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Sun, 11 Mar 2018 14:57:46 +0000 (11 15:57 +0100)
committerPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Sun, 11 Mar 2018 14:57:46 +0000 (11 15:57 +0100)
tree427e91292d896a98960890d8b784ba9caad327b5
parentf72dce36da804163c4826442073fbb36d40a1e60
Fix 389373 - exp-sgcheck the 'impossible' happened as Ist_LoadG is not instrumented

So, (try to) instrument a guarded load.

(there was a discussion about dropping exp-sgcheck but this was
causing all tests to fail, so doing a quick fix in the meantime).
NEWS
exp-sgcheck/sg_main.c