lint comment for the end of pixel_coverage() not reachable
authorTony Cook <tony@develop-help.com>
Sat, 2 Feb 2019 00:31:29 +0000 (11:31 +1100)
committerTony Cook <tony@develop-help.com>
Sat, 2 Feb 2019 00:31:29 +0000 (11:31 +1100)
commit0417a06f2c6b9a1f87c6fe4c124e54346df63b39
treedc3ae36e4c8634b3536f545b337b3b5f8b010edc
parent7f0044df65ab464e3e33316de23fa7d60ad38f8e
lint comment for the end of pixel_coverage() not reachable

I had compilers complaining about a missing return at the end of
the function, as added a return.  Coverity complains about the
return.

CID 185325.
polygon.c