gnuradio/gnuradio — pull request #227 by marcusmueller (2014-06-16 20:10:11+00:00)
Title: replaced dynamic_ by static_cast; typechecking done before

fixes Coverity 1223050