Bug Summary

File:src/gnu/usr.bin/binutils/gdb/disasm.c
Warning:line 308, column 3
Value stored to 'num_displayed' 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 disasm.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/gnu/usr.bin/binutils/obj/gdb -resource-dir /usr/local/lib/clang/13.0.0 -D PIE_DEFAULT=1 -I . -I /usr/src/gnu/usr.bin/binutils/gdb -I /usr/src/gnu/usr.bin/binutils/gdb/config -D LOCALEDIR="/usr/share/locale" -D HAVE_CONFIG_H -I /usr/src/gnu/usr.bin/binutils/gdb/../include/opcode -I ../bfd -I /usr/src/gnu/usr.bin/binutils/gdb/../bfd -I /usr/src/gnu/usr.bin/binutils/gdb/../include -I ../intl -I /usr/src/gnu/usr.bin/binutils/gdb/../intl -D MI_OUT=1 -D TUI=1 -internal-isystem /usr/local/lib/clang/13.0.0/include -internal-externc-isystem /usr/include -O2 -fdebug-compilation-dir=/usr/src/gnu/usr.bin/binutils/obj/gdb -ferror-limit 19 -fwrapv -D_RET_PROTECTOR -ret-protector -fgnuc-version=4.2.1 -fcommon -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/gnu/usr.bin/binutils/gdb/disasm.c
1/* Disassemble support for GDB.
2
3 Copyright 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
4
5 This file is part of GDB.
6
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2 of the License, or
10 (at your option) any later version.
11
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
19 Foundation, Inc., 59 Temple Place - Suite 330,
20 Boston, MA 02111-1307, USA. */
21
22#include "defs.h"
23#include "target.h"
24#include "value.h"
25#include "ui-out.h"
26#include "gdb_string.h"
27#include "disasm.h"
28#include "gdbcore.h"
29#include "dis-asm.h"
30
31/* Disassemble functions.
32 FIXME: We should get rid of all the duplicate code in gdb that does
33 the same thing: disassemble_command() and the gdbtk variation. */
34
35/* This Structure is used to store line number information.
36 We need a different sort of line table from the normal one cuz we can't
37 depend upon implicit line-end pc's for lines to do the
38 reordering in this function. */
39
40struct dis_line_entry
41{
42 int line;
43 CORE_ADDR start_pc;
44 CORE_ADDR end_pc;
45};
46
47/* Like target_read_memory, but slightly different parameters. */
48static int
49dis_asm_read_memory (bfd_vma memaddr, bfd_byte *myaddr, unsigned int len,
50 struct disassemble_info *info)
51{
52 return target_read_memory (memaddr, (char *) myaddr, len);
53}
54
55/* Like memory_error with slightly different parameters. */
56static void
57dis_asm_memory_error (int status, bfd_vma memaddr,
58 struct disassemble_info *info)
59{
60 memory_error (status, memaddr);
61}
62
63/* Like print_address with slightly different parameters. */
64static void
65dis_asm_print_address (bfd_vma addr, struct disassemble_info *info)
66{
67 print_address (addr, info->stream);
68}
69
70static int
71compare_lines (const void *mle1p, const void *mle2p)
72{
73 struct dis_line_entry *mle1, *mle2;
74 int val;
75
76 mle1 = (struct dis_line_entry *) mle1p;
77 mle2 = (struct dis_line_entry *) mle2p;
78
79 val = mle1->line - mle2->line;
80
81 if (val != 0)
82 return val;
83
84 return mle1->start_pc - mle2->start_pc;
85}
86
87static int
88dump_insns (struct ui_out *uiout, struct disassemble_info * di,
89 CORE_ADDR low, CORE_ADDR high,
90 int how_many, struct ui_stream *stb)
91{
92 int num_displayed = 0;
93 CORE_ADDR pc;
94
95 /* parts of the symbolic representation of the address */
96 int unmapped;
97 int offset;
98 int line;
99 struct cleanup *ui_out_chain;
100
101 for (pc = low; pc < high;)
102 {
103 char *filename = NULL((void*)0);
104 char *name = NULL((void*)0);
105
106 QUIT{ if (quit_flag) quit (); if (deprecated_interactive_hook) deprecated_interactive_hook
(); }
;
107 if (how_many >= 0)
108 {
109 if (num_displayed >= how_many)
110 break;
111 else
112 num_displayed++;
113 }
114 ui_out_chain = make_cleanup_ui_out_tuple_begin_end (uiout, NULL((void*)0));
115 ui_out_field_core_addr (uiout, "address", pc);
116
117 if (!build_address_symbolic (pc, 0, &name, &offset, &filename,
118 &line, &unmapped))
119 {
120 /* We don't care now about line, filename and
121 unmapped. But we might in the future. */
122 ui_out_text (uiout, " <");
123 ui_out_field_string (uiout, "func-name", name);
124 ui_out_text (uiout, "+");
125 ui_out_field_int (uiout, "offset", offset);
126 ui_out_text (uiout, ">:\t");
127 }
128 else
129 ui_out_text (uiout, ":\t");
130
131 if (filename != NULL((void*)0))
132 xfree (filename);
133 if (name != NULL((void*)0))
134 xfree (name);
135
136 ui_file_rewind (stb->stream);
137 pc += TARGET_PRINT_INSN (pc, di)(gdbarch_print_insn (current_gdbarch, pc, di));
138 ui_out_field_stream (uiout, "inst", stb);
139 ui_file_rewind (stb->stream);
140 do_cleanups (ui_out_chain);
141 ui_out_text (uiout, "\n");
142 }
143 return num_displayed;
144}
145
146/* The idea here is to present a source-O-centric view of a
147 function to the user. This means that things are presented
148 in source order, with (possibly) out of order assembly
149 immediately following. */
150static void
151do_mixed_source_and_assembly (struct ui_out *uiout,
152 struct disassemble_info *di, int nlines,
153 struct linetable_entry *le,
154 CORE_ADDR low, CORE_ADDR high,
155 struct symtab *symtab,
156 int how_many, struct ui_stream *stb)
157{
158 int newlines = 0;
159 struct dis_line_entry *mle;
160 struct symtab_and_line sal;
161 int i;
162 int out_of_order = 0;
163 int next_line = 0;
164 CORE_ADDR pc;
165 int num_displayed = 0;
166 struct cleanup *ui_out_chain;
167 struct cleanup *ui_out_tuple_chain = make_cleanup (null_cleanup, 0);
168 struct cleanup *ui_out_list_chain = make_cleanup (null_cleanup, 0);
169
170 mle = (struct dis_line_entry *) alloca (nlines__builtin_alloca(nlines * sizeof (struct dis_line_entry))
171 * sizeof (struct dis_line_entry))__builtin_alloca(nlines * sizeof (struct dis_line_entry));
172
173 /* Copy linetable entries for this function into our data
174 structure, creating end_pc's and setting out_of_order as
175 appropriate. */
176
177 /* First, skip all the preceding functions. */
178
179 for (i = 0; i < nlines - 1 && le[i].pc < low; i++);
180
181 /* Now, copy all entries before the end of this function. */
182
183 for (; i < nlines - 1 && le[i].pc < high; i++)
184 {
185 if (le[i].line == le[i + 1].line && le[i].pc == le[i + 1].pc)
186 continue; /* Ignore duplicates */
187
188 /* Skip any end-of-function markers. */
189 if (le[i].line == 0)
190 continue;
191
192 mle[newlines].line = le[i].line;
193 if (le[i].line > le[i + 1].line)
194 out_of_order = 1;
195 mle[newlines].start_pc = le[i].pc;
196 mle[newlines].end_pc = le[i + 1].pc;
197 newlines++;
198 }
199
200 /* If we're on the last line, and it's part of the function,
201 then we need to get the end pc in a special way. */
202
203 if (i == nlines - 1 && le[i].pc < high)
204 {
205 mle[newlines].line = le[i].line;
206 mle[newlines].start_pc = le[i].pc;
207 sal = find_pc_line (le[i].pc, 0);
208 mle[newlines].end_pc = sal.end;
209 newlines++;
210 }
211
212 /* Now, sort mle by line #s (and, then by addresses within
213 lines). */
214
215 if (out_of_order)
216 qsort (mle, newlines, sizeof (struct dis_line_entry), compare_lines);
217
218 /* Now, for each line entry, emit the specified lines (unless
219 they have been emitted before), followed by the assembly code
220 for that line. */
221
222 ui_out_chain = make_cleanup_ui_out_list_begin_end (uiout, "asm_insns");
223
224 for (i = 0; i < newlines; i++)
225 {
226 /* Print out everything from next_line to the current line. */
227 if (mle[i].line >= next_line)
228 {
229 if (next_line != 0)
230 {
231 /* Just one line to print. */
232 if (next_line == mle[i].line)
233 {
234 ui_out_tuple_chain
235 = make_cleanup_ui_out_tuple_begin_end (uiout,
236 "src_and_asm_line");
237 print_source_lines (symtab, next_line, mle[i].line + 1, 0);
238 }
239 else
240 {
241 /* Several source lines w/o asm instructions associated. */
242 for (; next_line < mle[i].line; next_line++)
243 {
244 struct cleanup *ui_out_list_chain_line;
245 struct cleanup *ui_out_tuple_chain_line;
246
247 ui_out_tuple_chain_line
248 = make_cleanup_ui_out_tuple_begin_end (uiout,
249 "src_and_asm_line");
250 print_source_lines (symtab, next_line, next_line + 1,
251 0);
252 ui_out_list_chain_line
253 = make_cleanup_ui_out_list_begin_end (uiout,
254 "line_asm_insn");
255 do_cleanups (ui_out_list_chain_line);
256 do_cleanups (ui_out_tuple_chain_line);
257 }
258 /* Print the last line and leave list open for
259 asm instructions to be added. */
260 ui_out_tuple_chain
261 = make_cleanup_ui_out_tuple_begin_end (uiout,
262 "src_and_asm_line");
263 print_source_lines (symtab, next_line, mle[i].line + 1, 0);
264 }
265 }
266 else
267 {
268 ui_out_tuple_chain
269 = make_cleanup_ui_out_tuple_begin_end (uiout, "src_and_asm_line");
270 print_source_lines (symtab, mle[i].line, mle[i].line + 1, 0);
271 }
272
273 next_line = mle[i].line + 1;
274 ui_out_list_chain
275 = make_cleanup_ui_out_list_begin_end (uiout, "line_asm_insn");
276 }
277
278 num_displayed += dump_insns (uiout, di, mle[i].start_pc, mle[i].end_pc,
279 how_many, stb);
280
281 /* When we've reached the end of the mle array, or we've seen the last
282 assembly range for this source line, close out the list/tuple. */
283 if (i == (newlines - 1) || mle[i + 1].line > mle[i].line)
284 {
285 do_cleanups (ui_out_list_chain);
286 do_cleanups (ui_out_tuple_chain);
287 ui_out_tuple_chain = make_cleanup (null_cleanup, 0);
288 ui_out_list_chain = make_cleanup (null_cleanup, 0);
289 ui_out_text (uiout, "\n");
290 }
291 if (how_many >= 0 && num_displayed >= how_many)
292 break;
293 }
294 do_cleanups (ui_out_chain);
295}
296
297
298static void
299do_assembly_only (struct ui_out *uiout, struct disassemble_info * di,
300 CORE_ADDR low, CORE_ADDR high,
301 int how_many, struct ui_stream *stb)
302{
303 int num_displayed = 0;
304 struct cleanup *ui_out_chain;
305
306 ui_out_chain = make_cleanup_ui_out_list_begin_end (uiout, "asm_insns");
307
308 num_displayed = dump_insns (uiout, di, low, high, how_many, stb);
Value stored to 'num_displayed' is never read
309
310 do_cleanups (ui_out_chain);
311}
312
313/* Initialize the disassemble info struct ready for the specified
314 stream. */
315
316static int
317fprintf_disasm (void *stream, const char *format, ...)
318{
319 va_list args;
320 va_start (args, format)__builtin_va_start(args, format);
321 vfprintf_filtered (stream, format, args);
322 va_end (args)__builtin_va_end(args);
323 /* Something non -ve. */
324 return 0;
325}
326
327static struct disassemble_info
328gdb_disassemble_info (struct gdbarch *gdbarch, struct ui_file *file)
329{
330 struct disassemble_info di;
331 init_disassemble_info (&di, file, fprintf_disasm);
332 di.flavour = bfd_target_unknown_flavour;
333 di.memory_error_func = dis_asm_memory_error;
334 di.print_address_func = dis_asm_print_address;
335 /* NOTE: cagney/2003-04-28: The original code, from the old Insight
336 disassembler had a local optomization here. By default it would
337 access the executable file, instead of the target memory (there
338 was a growing list of exceptions though). Unfortunately, the
339 heuristic was flawed. Commands like "disassemble &variable"
340 didn't work as they relied on the access going to the target.
341 Further, it has been supperseeded by trust-read-only-sections
342 (although that should be superseeded by target_trust..._p()). */
343 di.read_memory_func = dis_asm_read_memory;
344 di.arch = gdbarch_bfd_arch_info (gdbarch)->arch;
345 di.mach = gdbarch_bfd_arch_info (gdbarch)->mach;
346 di.endian = gdbarch_byte_order (gdbarch);
347 return di;
348}
349
350void
351gdb_disassembly (struct ui_out *uiout,
352 char *file_string,
353 int line_num,
354 int mixed_source_and_assembly,
355 int how_many, CORE_ADDR low, CORE_ADDR high)
356{
357 struct ui_stream *stb = ui_out_stream_new (uiout);
358 struct cleanup *cleanups = make_cleanup_ui_out_stream_delete (stb);
359 struct disassemble_info di = gdb_disassemble_info (current_gdbarch, stb->stream);
360 /* To collect the instruction outputted from opcodes. */
361 struct symtab *symtab = NULL((void*)0);
362 struct linetable_entry *le = NULL((void*)0);
363 int nlines = -1;
364
365 /* Assume symtab is valid for whole PC range */
366 symtab = find_pc_symtab (low);
367
368 if (symtab != NULL((void*)0) && symtab->linetable != NULL((void*)0))
369 {
370 /* Convert the linetable to a bunch of my_line_entry's. */
371 le = symtab->linetable->item;
372 nlines = symtab->linetable->nitems;
373 }
374
375 if (!mixed_source_and_assembly || nlines <= 0
376 || symtab == NULL((void*)0) || symtab->linetable == NULL((void*)0))
377 do_assembly_only (uiout, &di, low, high, how_many, stb);
378
379 else if (mixed_source_and_assembly)
380 do_mixed_source_and_assembly (uiout, &di, nlines, le, low,
381 high, symtab, how_many, stb);
382
383 do_cleanups (cleanups);
384 gdb_flush (gdb_stdout);
385}
386
387/* Print the instruction at address MEMADDR in debugged memory,
388 on STREAM. Returns length of the instruction, in bytes. */
389
390int
391gdb_print_insn (CORE_ADDR memaddr, struct ui_file *stream)
392{
393 struct disassemble_info di = gdb_disassemble_info (current_gdbarch, stream);
394 return TARGET_PRINT_INSN (memaddr, &di)(gdbarch_print_insn (current_gdbarch, memaddr, &di));
395}