On Sun, 10 Jun 2018, Martin Sebor wrote:
The attached patch implements this idea. (I looked for a simple function that returns true/false based on whether a SSA_NAME is or isn't definitely non-zero but couldn't find one so I created one though it seems that extending one of the existing functions might be a better approach?)
tree_expr_nonzero_p (don't know why the comment above talks about addresses), expr_not_equal_to.
-- Marc Glisse