Bug Summary

File:src/games/sail/dr_5.c
Warning:line 82, column 3
Value stored to 'c3' 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 dr_5.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/games/sail/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/games/sail/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/games/sail/dr_5.c
1/* $OpenBSD: dr_5.c,v 1.5 2016/01/08 20:26:33 mestre Exp $ */
2/* $NetBSD: dr_5.c,v 1.3 1995/04/22 10:36:51 cgd Exp $ */
3
4/*
5 * Copyright (c) 1983, 1993
6 * The Regents of the University of California. All rights reserved.
7 *
8 * Redistribution and use in source and binary forms, with or without
9 * modification, are permitted provided that the following conditions
10 * are met:
11 * 1. Redistributions of source code must retain the above copyright
12 * notice, this list of conditions and the following disclaimer.
13 * 2. Redistributions in binary form must reproduce the above copyright
14 * notice, this list of conditions and the following disclaimer in the
15 * documentation and/or other materials provided with the distribution.
16 * 3. Neither the name of the University nor the names of its contributors
17 * may be used to endorse or promote products derived from this software
18 * without specific prior written permission.
19 *
20 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
21 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
22 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
23 * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
24 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
25 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
26 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
27 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
28 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
29 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
30 * SUCH DAMAGE.
31 */
32
33#include "extern.h"
34
35void
36subtract(struct ship *from, int totalfrom, int crewfrom[3],
37 struct ship *fromcap, int pcfrom)
38{
39 int n;
40
41 if (fromcap == from && totalfrom) { /* if not captured */
42 for (n = 0; n < 3; n++) {
43 if (totalfrom > crewfrom[n]) {
44 totalfrom -= crewfrom[n];
45 crewfrom[n] = 0;
46 } else {
47 crewfrom[n] -= totalfrom;
48 totalfrom = 0;
49 }
50 }
51 Write(W_CREW4, from, crewfrom[0], crewfrom[1], crewfrom[2], 0);
52 } else if (totalfrom) {
53 pcfrom -= totalfrom;
54 pcfrom = pcfrom < 0 ? 0 : pcfrom;
55 Write(W_PCREW15, from, pcfrom, 0, 0, 0);
56 }
57}
58
59/* returns # of crew squares sent */
60int
61mensent(struct ship *from, struct ship *to, int crew[3], struct ship **captured,
62 int *pc, int isdefense)
63{
64 int men = 0;
65 int n;
66 int c1, c2, c3;
67 struct BP *bp;
68
69 *pc = from->file->pcrew;
70 *captured = from->file->captured;
71 crew[0] = from->specs->crew1;
72 crew[1] = from->specs->crew2;
73 crew[2] = from->specs->crew3;
74 bp = isdefense ? from->file->DBP : from->file->OBP;
75 for (n=0; n < NBP3; n++, bp++) {
76 if (bp->turnsent && bp->toship == to)
77 men += bp->mensent;
78 }
79 if (men) {
80 c1 = men/100 ? crew[0] : 0;
81 c2 = (men%100)/10 ? crew[1] : 0;
82 c3 = men/10 ? crew[2] : 0;
Value stored to 'c3' is never read
83 c3 = *captured == 0 ? crew[2] : *pc;
84 } else
85 c1 = c2 = c3 = 0;
86 return(c1 + c2 + c3);
87}