Nick Lewycky e84df7229f Stay rational; don't assert trying to take the square root of a negative value.
If it's negative, the loop is already proven to be infinite. Fixes PR13489!

llvm-svn: 161107
2012-08-01 09:14:36 +00:00
..
2012-04-24 10:45:44 +00:00
2012-04-24 10:45:44 +00:00