https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108709
--- Comment #1 from nightstrike <nightstrike at gmail dot com> --- Perhaps these are separate bugs, but: 1) gcc.dg/analyzer/pipe-manpages.c will need similar improvements 2) gcc.dg/analyzer/pipe-void-return.c passes with an incorrect declaration for pipe(), implying that we won't test whether it captures using uninitialized file descriptors when _pipe() fails
