Unreachable code in coremsg.c

Krzysztof Mięsowicz krzysztof.miesowicz at gmail.com
Wed Aug 15 09:23:15 UTC 2012


Hi,

I analyzed
http://www.rtems.org/ftp/pub/rtems/people/joel/coverage/erc32/erc32-Ospd-20120714-1625/uncovered.htmlcoverage
reports for first uncovered range. I discovered that 2 uncovered
instructions can't be reach because code above if statement guarantee that
condition won't be true never.

I attached patch and filed Bugzilla PR.

Regards,

Krzysztof Miesowicz
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20120815/68ecdecc/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: removing unreachable code in coremsg
Type: application/octet-stream
Size: 1195 bytes
Desc: not available
URL: <http://lists.rtems.org/pipermail/devel/attachments/20120815/68ecdecc/attachment.obj>


More information about the devel mailing list