Changes between Initial Version and Version 1 of Ticket #9522, comment 9


Ignore:
Timestamp:
Mar 22, 2013, 4:23:44 AM (7 years ago)
Author:
pdziepak

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9522, comment 9

    initial v1  
    33Value 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.
    44
    5 It is really necessary to has complete information about source code to reliably perform such analysis and that is what Coverity is for.
     5It is really necessary to have complete information about the source code in order to reliably perform such analysis and that is what Coverity is for.