gnuradio/gnuradio — pull request #82 by bhilburn (2013-10-04 19:38:13+00:00)
Title: Some Coverity Fixes

This branch, so far, covers four Coverity bugs. One of them can't really be fixed, so I documented it in comments. The others that are currently in this branch are fairly straight-forward.