[src/trunk]: src/external/bsd/mdocml/dist CID 1257465: Annotate tainted.

[christos <christos%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/884b2549cdd2
branches:  trunk
changeset: 342758:884b2549cdd2
user:      christos <christos%NetBSD.org@localhost>
date:      Thu Jan 07 20:10:55 2016 +0000

description:
CID 1257465: Annotate tainted.

diffstat:

 external/bsd/mdocml/dist/main.c |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (17 lines):

diff -r 0483ace29e11 -r 884b2549cdd2 external/bsd/mdocml/dist/main.c
--- a/external/bsd/mdocml/dist/main.c   Thu Jan 07 20:09:43 2016 +0000
+++ b/external/bsd/mdocml/dist/main.c   Thu Jan 07 20:10:55 2016 +0000
@@ -1,4 +1,4 @@
-/*     $Id: main.c,v 1.1.1.15 2015/12/17 21:58:48 christos Exp $ */
+/*     $Id: main.c,v 1.2 2016/01/07 20:10:55 christos Exp $ */
 /*
  * Copyright (c) 2008-2012 Kristaps Dzonsons <kristaps%bsd.lv@localhost>
  * Copyright (c) 2010-2012, 2014, 2015 Ingo Schwarze <schwarze%openbsd.org@localhost>
@@ -1013,6 +1013,7 @@
 
        /* Hand over to the pager. */
 
+       /*coverity[TAINTED_STRING]*/
        execvp(argv[0], argv);
        fprintf(stderr, "%s: exec: %s\n",
            progname, strerror(errno));