Bug Summary

File:src/lib/libc/stdlib/setenv.c
Warning:line 109, column 7
Although the value stored to 'C' is used in the enclosing expression, the value is never actually read from 'C'

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 setenv.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/lib/libc/obj -resource-dir /usr/local/lib/clang/13.0.0 -include namespace.h -I /usr/src/lib/libc/include -I /usr/src/lib/libc/hidden -D __LIBC__ -D APIWARN -D YP -I /usr/src/lib/libc/yp -I /usr/src/lib/libc -I /usr/src/lib/libc/gdtoa -I /usr/src/lib/libc/arch/amd64/gdtoa -D INFNAN_CHECK -D MULTIPLE_THREADS -D NO_FENV_H -D USE_LOCALE -I /usr/src/lib/libc -I /usr/src/lib/libc/citrus -D RESOLVSORT -D FLOATING_POINT -D PRINTF_WIDE_CHAR -D SCANF_WIDE_CHAR -D FUTEX -internal-isystem /usr/local/lib/clang/13.0.0/include -internal-externc-isystem /usr/include -O2 -fdebug-compilation-dir=/usr/src/lib/libc/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/lib/libc/stdlib/setenv.c
1/* $OpenBSD: setenv.c,v 1.19 2016/09/21 04:38:56 guenther Exp $ */
2/*
3 * Copyright (c) 1987 Regents of the University of California.
4 * All rights reserved.
5 *
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions
8 * are met:
9 * 1. Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 * 2. Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
14 * 3. Neither the name of the University nor the names of its contributors
15 * may be used to endorse or promote products derived from this software
16 * without specific prior written permission.
17 *
18 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
19 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
21 * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
22 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
23 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
24 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
25 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
26 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
27 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
28 * SUCH DAMAGE.
29 */
30
31#include <errno(*__errno()).h>
32#include <stdlib.h>
33#include <string.h>
34
35static char **lastenv; /* last value of environ */
36
37/*
38 * putenv --
39 * Add a name=value string directly to the environmental, replacing
40 * any current value.
41 */
42int
43putenv(char *str)
44{
45 char **P, *cp;
46 size_t cnt = 0;
47 int offset = 0;
48
49 for (cp = str; *cp && *cp != '='; ++cp)
50 ;
51 if (*cp != '=') {
52 errno(*__errno()) = EINVAL22;
53 return (-1); /* missing `=' in string */
54 }
55
56 if (__findenv(str, (int)(cp - str), &offset) != NULL((void *)0)) {
57 environ[offset++] = str;
58 /* could be set multiple times */
59 while (__findenv(str, (int)(cp - str), &offset)) {
60 for (P = &environ[offset];; ++P)
61 if (!(*P = *(P + 1)))
62 break;
63 }
64 return (0);
65 }
66
67 /* create new slot for string */
68 if (environ != NULL((void *)0)) {
69 for (P = environ; *P != NULL((void *)0); P++)
70 ;
71 cnt = P - environ;
72 }
73 P = reallocarray(lastenv, cnt + 2, sizeof(char *));
74 if (!P)
75 return (-1);
76 if (lastenv != environ && environ != NULL((void *)0))
77 memcpy(P, environ, cnt * sizeof(char *));
78 lastenv = environ = P;
79 environ[cnt] = str;
80 environ[cnt + 1] = NULL((void *)0);
81 return (0);
82}
83DEF_WEAK(putenv)__asm__(".weak " "putenv" " ; " "putenv" " = " "_libc_putenv"
)
;
84
85/*
86 * setenv --
87 * Set the value of the environmental variable "name" to be
88 * "value". If rewrite is set, replace any current value.
89 */
90int
91setenv(const char *name, const char *value, int rewrite)
92{
93 char *C, **P;
94 const char *np;
95 int l_value, offset = 0;
96
97 if (!name || !*name) {
98 errno(*__errno()) = EINVAL22;
99 return (-1);
100 }
101 for (np = name; *np && *np != '='; ++np)
102 ;
103 if (*np) {
104 errno(*__errno()) = EINVAL22;
105 return (-1); /* has `=' in name */
106 }
107
108 l_value = strlen(value);
109 if ((C = __findenv(name, (int)(np - name), &offset)) != NULL((void *)0)) {
Although the value stored to 'C' is used in the enclosing expression, the value is never actually read from 'C'
110 int tmpoff = offset + 1;
111 if (!rewrite)
112 return (0);
113#if 0 /* XXX - existing entry may not be writable */
114 if (strlen(C) >= l_value) { /* old larger; copy over */
115 while ((*C++ = *value++))
116 ;
117 return (0);
118 }
119#endif
120 /* could be set multiple times */
121 while (__findenv(name, (int)(np - name), &tmpoff)) {
122 for (P = &environ[tmpoff];; ++P)
123 if (!(*P = *(P + 1)))
124 break;
125 }
126 } else { /* create new slot */
127 size_t cnt = 0;
128
129 if (environ != NULL((void *)0)) {
130 for (P = environ; *P != NULL((void *)0); P++)
131 ;
132 cnt = P - environ;
133 }
134 P = reallocarray(lastenv, cnt + 2, sizeof(char *));
135 if (!P)
136 return (-1);
137 if (lastenv != environ && environ != NULL((void *)0))
138 memcpy(P, environ, cnt * sizeof(char *));
139 lastenv = environ = P;
140 offset = cnt;
141 environ[cnt + 1] = NULL((void *)0);
142 }
143 if (!(environ[offset] = /* name + `=' + value */
144 malloc((int)(np - name) + l_value + 2)))
145 return (-1);
146 for (C = environ[offset]; (*C = *name++) && *C != '='; ++C)
147 ;
148 for (*C++ = '='; (*C++ = *value++); )
149 ;
150 return (0);
151}
152DEF_WEAK(setenv)__asm__(".weak " "setenv" " ; " "setenv" " = " "_libc_setenv"
)
;
153
154/*
155 * unsetenv(name) --
156 * Delete environmental variable "name".
157 */
158int
159unsetenv(const char *name)
160{
161 char **P;
162 const char *np;
163 int offset = 0;
164
165 if (!name || !*name) {
166 errno(*__errno()) = EINVAL22;
167 return (-1);
168 }
169 for (np = name; *np && *np != '='; ++np)
170 ;
171 if (*np) {
172 errno(*__errno()) = EINVAL22;
173 return (-1); /* has `=' in name */
174 }
175
176 /* could be set multiple times */
177 while (__findenv(name, (int)(np - name), &offset)) {
178 for (P = &environ[offset];; ++P)
179 if (!(*P = *(P + 1)))
180 break;
181 }
182 return (0);
183}
184DEF_WEAK(unsetenv)__asm__(".weak " "unsetenv" " ; " "unsetenv" " = " "_libc_unsetenv"
)
;