pfatal_with_name  505 src/diff.c     	    pfatal_with_name (optarg);
pfatal_with_name  847 src/diff.c         pfatal_with_name (_("standard output"));
pfatal_with_name 1344 src/diff.c     	pfatal_with_name (_("standard output"));
pfatal_with_name  380 src/diff.h     extern void pfatal_with_name (char const *) __attribute__((noreturn));
pfatal_with_name   76 src/io.c       	pfatal_with_name (current->name);
pfatal_with_name  191 src/util.c     	pfatal_with_name (_("write failed"));
pfatal_with_name  199 src/util.c     	  pfatal_with_name ("pipe");
pfatal_with_name  203 src/util.c     	  pfatal_with_name ("fork");
pfatal_with_name  211 src/util.c     		  pfatal_with_name ("dup2");
pfatal_with_name  223 src/util.c     	      pfatal_with_name ("fdopen");
pfatal_with_name  236 src/util.c     	  pfatal_with_name (command);
pfatal_with_name  291 src/util.c     	pfatal_with_name (_("write failed"));
pfatal_with_name  293 src/util.c     	pfatal_with_name ("waitpid");