> Well, just for record, the final version of patch seems to make sense for me > ;) > Thanks! It is an interesting side corner to say at least.
Of course one could craft an function with two builtin_constant_p calls and the asm statement that is not dominated by either of them but still always constant. I am not sure how far we want to go guaranting that constant propagation happen. I think the simple dominator cases are enough in practice. Honza > > Honza
