mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-03-09 20:33:03 +00:00
671850a1c3
A static analysis tool reports that some callers of symbol_list_n_get might get NULL and not handle it properly. This is not the case, yet we can suppress this pattern. Reported by Mike Sullivan. <https://lists.gnu.org/archive/html/bug-bison/2013-12/msg00027.html> * src/symlist.c (symbol_list_n_get): Actually it is never called to return 0. Enforce this postcondition via aver. (symbol_list_n_type_name_get): Simplify accordingly. In particular, discards a (translated) useless error message. * src/symlist.h: Adjust documentation. * src/scan-code.l: Style change.
33 lines
462 B
Plaintext
33 lines
462 B
Plaintext
src/complain.c
|
|
src/conflicts.c
|
|
src/files.c
|
|
src/getargs.c
|
|
src/gram.c
|
|
src/graphviz.c
|
|
src/location.c
|
|
src/main.c
|
|
src/muscle-tab.c
|
|
src/parse-gram.y
|
|
src/print.c
|
|
src/print_graph.c
|
|
src/reader.c
|
|
src/reduce.c
|
|
src/scan-code.l
|
|
src/scan-gram.l
|
|
src/scan-skel.l
|
|
src/symtab.c
|
|
|
|
djgpp/subpipe.c
|
|
lib/argmatch.c
|
|
lib/bitset_stats.c
|
|
lib/closeout.c
|
|
lib/error.c
|
|
lib/getopt.c
|
|
lib/obstack.c
|
|
lib/spawn-pipe.c
|
|
lib/quotearg.c
|
|
lib/timevar.c
|
|
lib/w32spawn.h
|
|
lib/wait-process.c
|
|
lib/xalloc-die.c
|