Changes between Initial Version and Version 1 of Ticket #9522, comment 9
- Mar 22, 2013, 4:23:44 AM (8 years ago)
initial v1 3 3 Value range propagation is a simple static analysis which is performed only in translation unit scope. Therefore it never has complete information. It is not a problem when performing an optimization (although it also has caused problems by optimizing out too much, but that was very specific case). It is a problem when GCC tries to be a static analysis tool too hard and in a result warnings are reported despite the fact the code is correct. 4 4 5 It is really necessary to ha s complete information about source codeto reliably perform such analysis and that is what Coverity is for. 5 It is really necessary to ha to reliably perform such analysis and that is what Coverity is for.