Hi, I have implemented the discussed change, bootstrapped, and run the testsuite. I would be submitting except to my disappointment I saw failures increase by 4. As it turns out, these "failures" are actually passes that had been marked "xfail" and "TRUE" "desired" in the testsuite. The items in question are in testsuite files gcc.dg/analyzer/operations.c and params.c. In particular operations.c is only partially fixed because, as I have described, I thus far have only added cases for PLUS and MINUS. As you can see in that test file, you have some tests involving multiplication and division. My question is, before bothering to submit would you like me to just add handlers for these? I guess it will save us a patch cycle.
Also, your comment regarding overflows is well taken, but I think we should fix the overall problem first, then worry about the overflow corner case. Brian
