Bug Summary

File:out/../deps/openssl/openssl/crypto/des/cfb64ede.c
Warning:line 82, column 5
Value stored to 'v0' is never read

Annotated Source Code

Press '?' to see keyboard shortcuts

clang -cc1 -cc1 -triple x86_64-unknown-linux-gnu -analyze -disable-free -clear-ast-before-backend -disable-llvm-verifier -discard-value-names -main-file-name cfb64ede.c -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 2 -pic-is-pie -mframe-pointer=all -fmath-errno -ffp-contract=on -fno-rounding-math -mconstructor-aliases -funwind-tables=2 -target-cpu x86-64 -tune-cpu generic -debugger-tuning=gdb -fcoverage-compilation-dir=/home/maurizio/node-v18.6.0/out -resource-dir /usr/local/lib/clang/16.0.0 -D V8_DEPRECATION_WARNINGS -D V8_IMMINENT_DEPRECATION_WARNINGS -D _GLIBCXX_USE_CXX11_ABI=1 -D NODE_OPENSSL_CONF_NAME=nodejs_conf -D NODE_OPENSSL_HAS_QUIC -D __STDC_FORMAT_MACROS -D OPENSSL_NO_PINSHARED -D OPENSSL_THREADS -D OPENSSL_NO_HW -D OPENSSL_API_COMPAT=0x10100001L -D STATIC_LEGACY -D NDEBUG -D OPENSSL_USE_NODELETE -D L_ENDIAN -D OPENSSL_BUILDING_OPENSSL -D AES_ASM -D BSAES_ASM -D CMLL_ASM -D ECP_NISTZ256_ASM -D GHASH_ASM -D KECCAK1600_ASM -D MD5_ASM -D OPENSSL_BN_ASM_GF2m -D OPENSSL_BN_ASM_MONT -D OPENSSL_BN_ASM_MONT5 -D OPENSSL_CPUID_OBJ -D OPENSSL_IA32_SSE2 -D PADLOCK_ASM -D POLY1305_ASM -D SHA1_ASM -D SHA256_ASM -D SHA512_ASM -D VPAES_ASM -D WHIRLPOOL_ASM -D X25519_ASM -D OPENSSL_PIC -D MODULESDIR="/home/maurizio/node-v18.6.0/out/Release/obj.target/deps/openssl/lib/openssl-modules" -D OPENSSLDIR="/home/maurizio/node-v18.6.0/out/Release/obj.target/deps/openssl" -D OPENSSLDIR="/etc/ssl" -D ENGINESDIR="/dev/null" -D TERMIOS -I ../deps/openssl/openssl -I ../deps/openssl/openssl/include -I ../deps/openssl/openssl/crypto -I ../deps/openssl/openssl/crypto/include -I ../deps/openssl/openssl/crypto/modes -I ../deps/openssl/openssl/crypto/ec/curve448 -I ../deps/openssl/openssl/crypto/ec/curve448/arch_32 -I ../deps/openssl/openssl/providers/common/include -I ../deps/openssl/openssl/providers/implementations/include -I ../deps/openssl/config -I ../deps/openssl/config/archs/linux-x86_64/asm -I ../deps/openssl/config/archs/linux-x86_64/asm/include -I ../deps/openssl/config/archs/linux-x86_64/asm/crypto -I ../deps/openssl/config/archs/linux-x86_64/asm/crypto/include/internal -I ../deps/openssl/config/archs/linux-x86_64/asm/providers/common/include -internal-isystem /usr/local/lib/clang/16.0.0/include -internal-isystem /usr/local/include -internal-isystem /usr/lib/gcc/x86_64-redhat-linux/8/../../../../x86_64-redhat-linux/include -internal-externc-isystem /include -internal-externc-isystem /usr/include -O3 -Wno-unused-parameter -Wno-missing-field-initializers -Wno-old-style-declaration -fdebug-compilation-dir=/home/maurizio/node-v18.6.0/out -ferror-limit 19 -fgnuc-version=4.2.1 -vectorize-loops -vectorize-slp -analyzer-output=html -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /tmp/scan-build-2022-08-22-142216-507842-1 -x c ../deps/openssl/openssl/crypto/des/cfb64ede.c
1/*
2 * Copyright 1995-2020 The OpenSSL Project Authors. All Rights Reserved.
3 *
4 * Licensed under the Apache License 2.0 (the "License"). You may not use
5 * this file except in compliance with the License. You can obtain a copy
6 * in the file LICENSE in the source distribution or at
7 * https://www.openssl.org/source/license.html
8 */
9
10/*
11 * DES low level APIs are deprecated for public use, but still ok for internal
12 * use.
13 */
14#include "internal/deprecated.h"
15
16#include "des_local.h"
17
18/*
19 * The input and output encrypted as though 64bit cfb mode is being used.
20 * The extra state information to record how much of the 64bit block we have
21 * used is contained in *num;
22 */
23
24void DES_ede3_cfb64_encrypt(const unsigned char *in, unsigned char *out,
25 long length, DES_key_schedule *ks1,
26 DES_key_schedule *ks2, DES_key_schedule *ks3,
27 DES_cblock *ivec, int *num, int enc)
28{
29 register DES_LONG v0, v1;
30 register long l = length;
31 register int n = *num;
32 DES_LONG ti[2];
33 unsigned char *iv, c, cc;
34
35 iv = &(*ivec)[0];
36 if (enc) {
37 while (l--) {
38 if (n == 0) {
39 c2l(iv, v0)(v0 =((DES_LONG)(*((iv)++))) , v0|=((DES_LONG)(*((iv)++)))<<
8L, v0|=((DES_LONG)(*((iv)++)))<<16L, v0|=((DES_LONG)(
*((iv)++)))<<24L);
40 c2l(iv, v1)(v1 =((DES_LONG)(*((iv)++))) , v1|=((DES_LONG)(*((iv)++)))<<
8L, v1|=((DES_LONG)(*((iv)++)))<<16L, v1|=((DES_LONG)(
*((iv)++)))<<24L);
41
42 ti[0] = v0;
43 ti[1] = v1;
44 DES_encrypt3(ti, ks1, ks2, ks3);
45 v0 = ti[0];
46 v1 = ti[1];
47
48 iv = &(*ivec)[0];
49 l2c(v0, iv)(*((iv)++)=(unsigned char)(((v0) )&0xff), *((iv)++)=(unsigned
char)(((v0)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((v0)>>16L)&0xff), *((iv)++)=(unsigned char)(((v0)
>>24L)&0xff));
50 l2c(v1, iv)(*((iv)++)=(unsigned char)(((v1) )&0xff), *((iv)++)=(unsigned
char)(((v1)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((v1)>>16L)&0xff), *((iv)++)=(unsigned char)(((v1)
>>24L)&0xff));
51 iv = &(*ivec)[0];
52 }
53 c = *(in++) ^ iv[n];
54 *(out++) = c;
55 iv[n] = c;
56 n = (n + 1) & 0x07;
57 }
58 } else {
59 while (l--) {
60 if (n == 0) {
61 c2l(iv, v0)(v0 =((DES_LONG)(*((iv)++))) , v0|=((DES_LONG)(*((iv)++)))<<
8L, v0|=((DES_LONG)(*((iv)++)))<<16L, v0|=((DES_LONG)(
*((iv)++)))<<24L);
62 c2l(iv, v1)(v1 =((DES_LONG)(*((iv)++))) , v1|=((DES_LONG)(*((iv)++)))<<
8L, v1|=((DES_LONG)(*((iv)++)))<<16L, v1|=((DES_LONG)(
*((iv)++)))<<24L);
63
64 ti[0] = v0;
65 ti[1] = v1;
66 DES_encrypt3(ti, ks1, ks2, ks3);
67 v0 = ti[0];
68 v1 = ti[1];
69
70 iv = &(*ivec)[0];
71 l2c(v0, iv)(*((iv)++)=(unsigned char)(((v0) )&0xff), *((iv)++)=(unsigned
char)(((v0)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((v0)>>16L)&0xff), *((iv)++)=(unsigned char)(((v0)
>>24L)&0xff));
72 l2c(v1, iv)(*((iv)++)=(unsigned char)(((v1) )&0xff), *((iv)++)=(unsigned
char)(((v1)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((v1)>>16L)&0xff), *((iv)++)=(unsigned char)(((v1)
>>24L)&0xff));
73 iv = &(*ivec)[0];
74 }
75 cc = *(in++);
76 c = iv[n];
77 iv[n] = cc;
78 *(out++) = c ^ cc;
79 n = (n + 1) & 0x07;
80 }
81 }
82 v0 = v1 = ti[0] = ti[1] = c = cc = 0;
Value stored to 'v0' is never read
83 *num = n;
84}
85
86/*
87 * This is compatible with the single key CFB-r for DES, even thought that's
88 * not what EVP needs.
89 */
90
91void DES_ede3_cfb_encrypt(const unsigned char *in, unsigned char *out,
92 int numbits, long length, DES_key_schedule *ks1,
93 DES_key_schedule *ks2, DES_key_schedule *ks3,
94 DES_cblock *ivec, int enc)
95{
96 register DES_LONG d0, d1, v0, v1;
97 register unsigned long l = length, n = ((unsigned int)numbits + 7) / 8;
98 register int num = numbits, i;
99 DES_LONG ti[2];
100 unsigned char *iv;
101 unsigned char ovec[16];
102
103 if (num > 64)
104 return;
105 iv = &(*ivec)[0];
106 c2l(iv, v0)(v0 =((DES_LONG)(*((iv)++))) , v0|=((DES_LONG)(*((iv)++)))<<
8L, v0|=((DES_LONG)(*((iv)++)))<<16L, v0|=((DES_LONG)(
*((iv)++)))<<24L);
107 c2l(iv, v1)(v1 =((DES_LONG)(*((iv)++))) , v1|=((DES_LONG)(*((iv)++)))<<
8L, v1|=((DES_LONG)(*((iv)++)))<<16L, v1|=((DES_LONG)(
*((iv)++)))<<24L);
108 if (enc) {
109 while (l >= n) {
110 l -= n;
111 ti[0] = v0;
112 ti[1] = v1;
113 DES_encrypt3(ti, ks1, ks2, ks3);
114 c2ln(in, d0, d1, n){ in+=n; d0=d1=0; switch (n) { case 8: d1 =((DES_LONG)(*(--(in
))))<<24L; case 7: d1|=((DES_LONG)(*(--(in))))<<16L
; case 6: d1|=((DES_LONG)(*(--(in))))<< 8L; case 5: d1|=
((DES_LONG)(*(--(in)))); case 4: d0 =((DES_LONG)(*(--(in))))<<
24L; case 3: d0|=((DES_LONG)(*(--(in))))<<16L; case 2: d0
|=((DES_LONG)(*(--(in))))<< 8L; case 1: d0|=((DES_LONG)
(*(--(in)))); } };
115 in += n;
116 d0 ^= ti[0];
117 d1 ^= ti[1];
118 l2cn(d0, d1, out, n){ out+=n; switch (n) { case 8: *(--(out))=(unsigned char)(((d1
)>>24L)&0xff); case 7: *(--(out))=(unsigned char)((
(d1)>>16L)&0xff); case 6: *(--(out))=(unsigned char
)(((d1)>> 8L)&0xff); case 5: *(--(out))=(unsigned char
)(((d1) )&0xff); case 4: *(--(out))=(unsigned char)(((d0)
>>24L)&0xff); case 3: *(--(out))=(unsigned char)(((
d0)>>16L)&0xff); case 2: *(--(out))=(unsigned char)
(((d0)>> 8L)&0xff); case 1: *(--(out))=(unsigned char
)(((d0) )&0xff); } };
119 out += n;
120 /*
121 * 30-08-94 - eay - changed because l>>32 and l<<32 are bad under
122 * gcc :-(
123 */
124 if (num == 32) {
125 v0 = v1;
126 v1 = d0;
127 } else if (num == 64) {
128 v0 = d0;
129 v1 = d1;
130 } else {
131 iv = &ovec[0];
132 l2c(v0, iv)(*((iv)++)=(unsigned char)(((v0) )&0xff), *((iv)++)=(unsigned
char)(((v0)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((v0)>>16L)&0xff), *((iv)++)=(unsigned char)(((v0)
>>24L)&0xff));
133 l2c(v1, iv)(*((iv)++)=(unsigned char)(((v1) )&0xff), *((iv)++)=(unsigned
char)(((v1)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((v1)>>16L)&0xff), *((iv)++)=(unsigned char)(((v1)
>>24L)&0xff));
134 l2c(d0, iv)(*((iv)++)=(unsigned char)(((d0) )&0xff), *((iv)++)=(unsigned
char)(((d0)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((d0)>>16L)&0xff), *((iv)++)=(unsigned char)(((d0)
>>24L)&0xff));
135 l2c(d1, iv)(*((iv)++)=(unsigned char)(((d1) )&0xff), *((iv)++)=(unsigned
char)(((d1)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((d1)>>16L)&0xff), *((iv)++)=(unsigned char)(((d1)
>>24L)&0xff));
136 /* shift ovec left most of the bits... */
137 memmove(ovec, ovec + num / 8, 8 + (num % 8 ? 1 : 0));
138 /* now the remaining bits */
139 if (num % 8 != 0)
140 for (i = 0; i < 8; ++i) {
141 ovec[i] <<= num % 8;
142 ovec[i] |= ovec[i + 1] >> (8 - num % 8);
143 }
144 iv = &ovec[0];
145 c2l(iv, v0)(v0 =((DES_LONG)(*((iv)++))) , v0|=((DES_LONG)(*((iv)++)))<<
8L, v0|=((DES_LONG)(*((iv)++)))<<16L, v0|=((DES_LONG)(
*((iv)++)))<<24L);
146 c2l(iv, v1)(v1 =((DES_LONG)(*((iv)++))) , v1|=((DES_LONG)(*((iv)++)))<<
8L, v1|=((DES_LONG)(*((iv)++)))<<16L, v1|=((DES_LONG)(
*((iv)++)))<<24L);
147 }
148 }
149 } else {
150 while (l >= n) {
151 l -= n;
152 ti[0] = v0;
153 ti[1] = v1;
154 DES_encrypt3(ti, ks1, ks2, ks3);
155 c2ln(in, d0, d1, n){ in+=n; d0=d1=0; switch (n) { case 8: d1 =((DES_LONG)(*(--(in
))))<<24L; case 7: d1|=((DES_LONG)(*(--(in))))<<16L
; case 6: d1|=((DES_LONG)(*(--(in))))<< 8L; case 5: d1|=
((DES_LONG)(*(--(in)))); case 4: d0 =((DES_LONG)(*(--(in))))<<
24L; case 3: d0|=((DES_LONG)(*(--(in))))<<16L; case 2: d0
|=((DES_LONG)(*(--(in))))<< 8L; case 1: d0|=((DES_LONG)
(*(--(in)))); } };
156 in += n;
157 /*
158 * 30-08-94 - eay - changed because l>>32 and l<<32 are bad under
159 * gcc :-(
160 */
161 if (num == 32) {
162 v0 = v1;
163 v1 = d0;
164 } else if (num == 64) {
165 v0 = d0;
166 v1 = d1;
167 } else {
168 iv = &ovec[0];
169 l2c(v0, iv)(*((iv)++)=(unsigned char)(((v0) )&0xff), *((iv)++)=(unsigned
char)(((v0)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((v0)>>16L)&0xff), *((iv)++)=(unsigned char)(((v0)
>>24L)&0xff));
170 l2c(v1, iv)(*((iv)++)=(unsigned char)(((v1) )&0xff), *((iv)++)=(unsigned
char)(((v1)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((v1)>>16L)&0xff), *((iv)++)=(unsigned char)(((v1)
>>24L)&0xff));
171 l2c(d0, iv)(*((iv)++)=(unsigned char)(((d0) )&0xff), *((iv)++)=(unsigned
char)(((d0)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((d0)>>16L)&0xff), *((iv)++)=(unsigned char)(((d0)
>>24L)&0xff));
172 l2c(d1, iv)(*((iv)++)=(unsigned char)(((d1) )&0xff), *((iv)++)=(unsigned
char)(((d1)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((d1)>>16L)&0xff), *((iv)++)=(unsigned char)(((d1)
>>24L)&0xff));
173 /* shift ovec left most of the bits... */
174 memmove(ovec, ovec + num / 8, 8 + (num % 8 ? 1 : 0));
175 /* now the remaining bits */
176 if (num % 8 != 0)
177 for (i = 0; i < 8; ++i) {
178 ovec[i] <<= num % 8;
179 ovec[i] |= ovec[i + 1] >> (8 - num % 8);
180 }
181 iv = &ovec[0];
182 c2l(iv, v0)(v0 =((DES_LONG)(*((iv)++))) , v0|=((DES_LONG)(*((iv)++)))<<
8L, v0|=((DES_LONG)(*((iv)++)))<<16L, v0|=((DES_LONG)(
*((iv)++)))<<24L);
183 c2l(iv, v1)(v1 =((DES_LONG)(*((iv)++))) , v1|=((DES_LONG)(*((iv)++)))<<
8L, v1|=((DES_LONG)(*((iv)++)))<<16L, v1|=((DES_LONG)(
*((iv)++)))<<24L);
184 }
185 d0 ^= ti[0];
186 d1 ^= ti[1];
187 l2cn(d0, d1, out, n){ out+=n; switch (n) { case 8: *(--(out))=(unsigned char)(((d1
)>>24L)&0xff); case 7: *(--(out))=(unsigned char)((
(d1)>>16L)&0xff); case 6: *(--(out))=(unsigned char
)(((d1)>> 8L)&0xff); case 5: *(--(out))=(unsigned char
)(((d1) )&0xff); case 4: *(--(out))=(unsigned char)(((d0)
>>24L)&0xff); case 3: *(--(out))=(unsigned char)(((
d0)>>16L)&0xff); case 2: *(--(out))=(unsigned char)
(((d0)>> 8L)&0xff); case 1: *(--(out))=(unsigned char
)(((d0) )&0xff); } };
188 out += n;
189 }
190 }
191 iv = &(*ivec)[0];
192 l2c(v0, iv)(*((iv)++)=(unsigned char)(((v0) )&0xff), *((iv)++)=(unsigned
char)(((v0)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((v0)>>16L)&0xff), *((iv)++)=(unsigned char)(((v0)
>>24L)&0xff));
193 l2c(v1, iv)(*((iv)++)=(unsigned char)(((v1) )&0xff), *((iv)++)=(unsigned
char)(((v1)>> 8L)&0xff), *((iv)++)=(unsigned char)
(((v1)>>16L)&0xff), *((iv)++)=(unsigned char)(((v1)
>>24L)&0xff));
194 v0 = v1 = d0 = d1 = ti[0] = ti[1] = 0;
195}