Bug Summary

File:src/games/monop/jail.c
Warning:line 86, column 4
Value stored to 'r1' 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 jail.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/monop/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/monop/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/monop/jail.c
1/* $OpenBSD: jail.c,v 1.7 2016/01/08 18:20:33 mestre Exp $ */
2/* $NetBSD: jail.c,v 1.3 1995/03/23 08:34:44 cgd Exp $ */
3
4/*
5 * Copyright (c) 1980, 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 <stdio.h>
34
35#include "monop.ext"
36
37/*
38 * This routine uses a get-out-of-jail-free card to get the
39 * player out of jail.
40 */
41void
42card(void)
43{
44 if (cur_p->loc != JAIL40) {
45 printf("But you're not IN Jail\n");
46 return;
47 }
48 if (cur_p->num_gojf == 0) {
49 printf("But you don't HAVE a get out of jail free card\n");
50 return;
51 }
52 ret_card(cur_p);
53 cur_p->loc = 10; /* just visiting */
54 cur_p->in_jail = 0;
55}
56/*
57 * This routine deals with paying your way out of jail.
58 */
59void
60pay(void)
61{
62 if (cur_p->loc != JAIL40) {
63 printf("But you're not IN Jail\n");
64 return;
65 }
66 cur_p->loc = 10;
67 cur_p->money -= 50;
68 cur_p->in_jail = 0;
69 printf("That cost you $50\n");
70}
71/*
72 * This routine deals with a move in jail
73 */
74int
75move_jail(int r1, int r2)
76{
77 if (r1 != r2) {
78 printf("Sorry, that doesn't get you out\n");
79 if (++(cur_p->in_jail) == 3) {
80 printf("It's your third turn and you didn't roll doubles. You have to pay $50\n");
81 cur_p->money -= 50;
82moveit:
83 cur_p->loc = 10;
84 cur_p->in_jail = 0;
85 move(r1+r2);
86 r1 = r2 - 1; /* kludge: stop new roll w/doub */
Value stored to 'r1' is never read
87 return TRUE(1);
88 }
89 return FALSE(0);
90 } else {
91 printf("Double roll gets you out.\n");
92 goto moveit;
93 }
94}
95
96void
97printturn(void)
98{
99 if (cur_p->loc != JAIL40)
100 return;
101 printf("(This is your ");
102 switch (cur_p->in_jail) {
103 case 0:
104 printf("1st");
105 break;
106 case 1:
107 printf("2nd");
108 break;
109 case 2:
110 printf("3rd (and final)");
111 break;
112 }
113 printf(" turn in JAIL)\n");
114}