Bug Summary

File:src/usr.bin/env/env.c
Warning:line 62, column 2
Value stored to 'argc' is never read

Annotated Source Code

Press '?' to see keyboard shortcuts

clang -cc1 -cc1 -triple amd64-unknown-openbsd7.0 -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name env.c -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -mrelocation-model pic -pic-level 1 -pic-is-pie -mframe-pointer=all -relaxed-aliasing -fno-rounding-math -mconstructor-aliases -munwind-tables -target-cpu x86-64 -target-feature +retpoline-indirect-calls -target-feature +retpoline-indirect-branches -tune-cpu generic -debugger-tuning=gdb -fcoverage-compilation-dir=/usr/src/usr.bin/env/obj -resource-dir /usr/local/lib/clang/13.0.0 -internal-isystem /usr/local/lib/clang/13.0.0/include -internal-externc-isystem /usr/include -O2 -fdebug-compilation-dir=/usr/src/usr.bin/env/obj -ferror-limit 19 -fwrapv -D_RET_PROTECTOR -ret-protector -fgnuc-version=4.2.1 -vectorize-loops -vectorize-slp -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-valloc -fno-builtin-free -fno-builtin-strdup -fno-builtin-strndup -analyzer-output=html -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /home/ben/Projects/vmm/scan-build/2022-01-12-194120-40624-1 -x c /usr/src/usr.bin/env/env.c
1/* $OpenBSD: env.c,v 1.17 2016/10/28 07:22:59 schwarze Exp $ */
2
3/*
4 * Copyright (c) 1988, 1993, 1994
5 * The Regents of the University of California. All rights reserved.
6 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
9 * are met:
10 * 1. Redistributions of source code must retain the above copyright
11 * notice, this list of conditions and the following disclaimer.
12 * 2. Redistributions in binary form must reproduce the above copyright
13 * notice, this list of conditions and the following disclaimer in the
14 * documentation and/or other materials provided with the distribution.
15 * 3. Neither the name of the University nor the names of its contributors
16 * may be used to endorse or promote products derived from this software
17 * without specific prior written permission.
18 *
19 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
20 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
21 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
22 * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
23 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
24 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
25 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
26 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
27 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
28 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
29 * SUCH DAMAGE.
30 */
31
32#include <err.h>
33#include <errno(*__errno()).h>
34#include <stdio.h>
35#include <stdlib.h>
36#include <string.h>
37#include <unistd.h>
38
39static void __dead__attribute__((__noreturn__)) usage(void);
40
41int
42main(int argc, char *argv[])
43{
44 extern char **environ;
45 extern int optind;
46 char **ep, *p;
47 int ch;
48
49 if (pledge("stdio exec", NULL((void *)0)) == -1)
50 err(1, "pledge");
51
52 while ((ch = getopt(argc, argv, "i-")) != -1)
53 switch(ch) {
54 case '-': /* obsolete */
55 case 'i':
56 if ((environ = calloc(1, sizeof(char *))) == NULL((void *)0))
57 err(126, "calloc");
58 break;
59 default:
60 usage();
61 }
62 argc -= optind;
Value stored to 'argc' is never read
63 argv += optind;
64
65 for (; *argv && (p = strchr(*argv, '=')); ++argv) {
66 *p++ = '\0';
67 if (setenv(*argv, p, 1) == -1) {
68 /* reuse 126, it matches the problem most */
69 err(126, "setenv");
70 }
71 }
72
73 if (*argv) {
74 /*
75 * return 127 if the command to be run could not be
76 * found; 126 if the command was found but could
77 * not be invoked
78 */
79 execvp(*argv, argv);
80 err((errno(*__errno()) == ENOENT2) ? 127 : 126, "%s", *argv);
81 }
82
83 for (ep = environ; *ep; ep++)
84 (void)printf("%s\n", *ep);
85
86 return 0;
87}
88
89static void __dead__attribute__((__noreturn__))
90usage(void)
91{
92 extern char *__progname;
93
94 (void)fprintf(stderr(&__sF[2]), "usage: %s [-i] [name=value ...] "
95 "[utility [argument ...]]\n", __progname);
96 exit(1);
97}