small improvements:
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 20 Mar 2008 02:27:20 +0000 (02:27 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 20 Mar 2008 02:27:20 +0000 (02:27 +0000)
- value_not_zero(): safely skip Minus and Abs nodes
- classify_value_sign(): handle Minus nodes

[r18197]


No differences found