chiark / gitweb /
Laurent Thioudellet reports that gcc4's ultra-cautious data flow
authorSimon Tatham <anakin@pobox.com>
Mon, 26 Dec 2005 23:24:09 +0000 (23:24 +0000)
committerSimon Tatham <anakin@pobox.com>
Mon, 26 Dec 2005 23:24:09 +0000 (23:24 +0000)
commite15a2defff30a00562800d1b6248a4b65f919e15
tree1aba45133b043d54c526f99f0de94b3b535fce78
parent74f45138aeb6608137344c7d5245ff6e3ec12572
Laurent Thioudellet reports that gcc4's ultra-cautious data flow
warnings require two more variables to be explicitly initialised. In
fact these variables are reliably initialised by a subfunction; gcc3
was happy to assume I knew what I was doing when it couldn't prove
they were definitely used uninitialised, whereas gcc4 apparently
takes the view that the onus is on me to allow it to prove they
_aren't_. I regard this as a step backwards, since the effect will
be to make explicit initialisation commonplace in cases where the
initialiser value is chosen arbitrarily and never expected to be
used, at which point (a) it will be less clear which initialisers
have genuine purpose and which are compiler-placating fluff, and (b)
valgrind's run-time uninitialised-data tracking will become less
useful. Still, the effect doesn't seem great as yet, so here's the
gcc4-placating checkin.

[originally from svn r6508]
bridges.c