[haiku-bugs] Re: [Haiku] #9522: [userlandFSServer] build failure with Haiku GCC 4

  • From: "pdziepak" <trac@xxxxxxxxxxxx>
  • Date: Fri, 22 Mar 2013 04:13:02 -0000

#9522: [userlandFSServer] build failure with Haiku GCC 4
---------------------------------------+----------------------------
   Reporter:  mmadia                   |      Owner:  nobody
       Type:  bug                      |     Status:  assigned
   Priority:  normal                   |  Milestone:  R1
  Component:  File Systems/UserlandFS  |    Version:  R1/Development
 Resolution:                           |   Keywords:
 Blocked By:                           |   Blocking:  9559
Has a Patch:  0                        |   Platform:  All
---------------------------------------+----------------------------

Comment (by pdziepak):

 Out of 3 build failures caused by `-Warray-bounds` only one was not a
 false positive and it was already found by Coverity anyway.

 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.

 It is really necessary to has complete information about source code to
 reliably perform such analysis and that is what Coverity is for.

--
Ticket URL: <http://dev.haiku-os.org/ticket/9522#comment:9>
Haiku <http://dev.haiku-os.org>
Haiku - the operating system.

Other related posts: