https://gcc.gnu.org/bugzilla/show_bug.cgi?id=10138
--- Comment #26 from Martin Sebor <msebor at gcc dot gnu.org> --- It seems that it should be possible to enhance the warn_uninitialized_vars function in tree-ssa-uninit.c to detect this case by iterating over a callee's arguments and warn on uninitialized variables whose address is passed to it via a const pointer parameter.