| | 1 | 2001-12-10 Akim Demaille <akim@epita.fr> |
| | 2 | |
| | 3 | * src/lalr.c (set_state_table): Move to... |
| | 4 | * src/LR0.c: here. |
| | 5 | * src/lalr.c (lalr): Don't call it... |
| | 6 | * src/LR0.c (generate_states): do it. |
| | 7 | * src/LR0.h (first_state): Remove, only the table is used. |
| | 8 | |
| | 9 | |
| | 10 | 2001-12-10 Akim Demaille <akim@epita.fr> |
| | 11 | |
| | 12 | * src/LR0.h (first_shift, first_reduction): Remove. |
| | 13 | * src/lalr.c: Don't use first_shift: find shifts through the |
| | 14 | states. |
| | 15 | |
| | 16 | |
| | 17 | 2001-12-10 Akim Demaille <akim@epita.fr> |
| | 18 | |
| | 19 | * src/LR0.c: Attach shifts to states as soon as they are |
| | 20 | computed. |
| | 21 | * src/lalr.c (set_state_table): Instead of assigning shifts to |
| | 22 | state, just assert that the mapping was properly done. |
| | 23 | |
| | 24 | |
| | 25 | 2001-12-10 Akim Demaille <akim@epita.fr> |
| | 26 | |
| | 27 | * src/LR0.c (insert_start_shift): Rename as... |
| | 28 | (insert_start_shifting_state): this. |
| | 29 | (insert_eof_shifting_state, insert_accepting_state): New. |
| | 30 | (augment_automaton): Adjust. |
| | 31 | Better locality of the variables. |
| | 32 | When looking if the start_symbol is shifted from the initial |
| | 33 | state, using `while (... symbol != start_symbol ...)' sounds |
| | 34 | better than `while (... symbol < start_symbol ...)': If fail |
| | 35 | to see how the order between symbols could be relevant! |
| | 36 | |
| | 37 | 2001-12-10 Akim Demaille <akim@epita.fr> |
| | 38 | |
| | 39 | * src/getargs.h: Don't declare `spec_name_prefix' and |
| | 40 | `spec_file_prefix', declared by src/files.h. |
| | 41 | * src/files.c, src/files.h: Default for spec_name_prefix is "yy". |
| | 42 | * src/muscle_tab.c (muscle_init): Default prefix to NULL. |
| | 43 | * src/output.c (prepare): Adjust. |
| | 44 | * src/reader.c (symbols_output): Likewise. |
| | 45 | * src/vmsgetargs.c: Vaguely adjust, but who cares? |
| | 46 | |
| | 47 | |
| | 48 | 2001-12-10 Akim Demaille <akim@epita.fr> |
| | 49 | |
| | 50 | * src/muscle_tab.c (muscle_init): NULL is a better default than |
| | 51 | `"0"'. |
| | 52 | |
| | 53 | |
| | 54 | 2001-12-10 Akim Demaille <akim@epita.fr> |
| | 55 | |
| | 56 | * src/reader.c (reader): Calling symbols_output once is enough. |
| | 57 | |
| | 58 | |
| | 59 | 2001-12-10 Akim Demaille <akim@epita.fr> |
| | 60 | |
| | 61 | Now that states have a complete set of members, the linked list of |
| | 62 | reductions is useless: just fill directly the state's reductions |
| | 63 | member. |
| | 64 | |
| | 65 | * src/state.h (struct reductions): Remove member `number' and |
| | 66 | `next'. |
| | 67 | * src/LR0.c (first_reduction, last_reduction): Remove. |
| | 68 | (save_reductions): Don't link the new reductions, store them in |
| | 69 | this_state. |
| | 70 | * src/lalr.c (set_state_table): No need to attach reductions to |
| | 71 | states, it's already done. |
| | 72 | * src/output.c (output_actions): No longer free the shifts, then |
| | 73 | the reductions, then the states: free all the states and their |
| | 74 | members. |
| | 75 | |
| | 76 | |
| | 77 | 2001-12-10 Akim Demaille <akim@epita.fr> |
| | 78 | |
| | 79 | * src/options.c (OPTN, DRTV, BOTH): New. |
| | 80 | (option_table): Use them. |
| | 81 | |
| | 82 | |
| | 83 | * src/muscle_tab.c: Don't include xalloc.h and string.h: that's |
| | 84 | the job of system.h. |
| | 85 | * src/options.c: Don't include stdio.h and xalloc.h for the same |
| | 86 | reasons. |
| | 87 | |
| | 88 | |
| | 89 | 2001-12-10 Akim Demaille <akim@epita.fr> |
| | 90 | |
| | 91 | * src/output.c (output, prepare): Make sure the values of the |
| | 92 | muscles `action' and `prologue' are 0-terminated. |
| | 93 | |
| | 94 | 2001-12-10 Akim Demaille <akim@epita.fr> |
| | 95 | |
| | 96 | Clean up GCC warnings. |
| | 97 | |
| | 98 | * src/reader.c (copy_action): `buf' is not used. |
| | 99 | (parse_skel_decl): Be static. |
| | 100 | * src/muscle_tab.c (mhash1, mhash2, muscle_insert): Preserve `const'. |
| | 101 | * src/options.h (create_long_option_table): Have a real prototype. |
| | 102 | * lib/hash.c, lib/hash.h (hash_insert, hash_insert_at, hash_delete) |
| | 103 | (hash_delete_at): Return const void *. |
| | 104 | Adjust casts to preserve the const. |
| | 105 | |
| | 106 | 2001-12-10 Akim Demaille <akim@epita.fr> |
| | 107 | |
| | 108 | * configure.in: Require 2.52g. |
| | 109 | M4 is not needed, but AUTOM4TE is. |
| | 110 | * m4/m4.m4: Remove. |
| | 111 | * tests/Makefile.am: Adjust. |
| | 112 | |
| | 113 | |
| | 114 | 2001-12-10 Akim Demaille <akim@epita.fr> |
| | 115 | |
| | 116 | One structure for states is enough, even though theoretically |
| | 117 | there are LR(0) states and LALR(1) states. |
| | 118 | |
| | 119 | * src/lalr.h (state_t): Remove. |
| | 120 | (state_table): Be state_t **, not state_t *. |
| | 121 | * src/state.h (core, CORE_ALLOC): Rename as... |
| | 122 | (state_t, STATE_ALLOC): this. |
| | 123 | Add the LALR(1) members: shifts, reductions, errs. |
| | 124 | * src/LR0.c (state_table): Rename as... |
| | 125 | (state_hash): this, to avoid name clashes with the global |
| | 126 | `state_table'. |
| | 127 | * src/print_graph.c, src/LR0.c, src/LR0.h, src/conflicts.c |
| | 128 | * src/lalr.c, src/lalr.h, src/output.c, src/print.c: Adjust. |
| | 129 | |
| | 130 | |
| | 131 | 2001-12-10 Akim Demaille <akim@epita.fr> |
| | 132 | |
| | 133 | Bison dumps core on bash.y. |
| | 134 | Reported by Pascal Bart. |
| | 135 | |
| | 136 | * src/warshall.c (bitmatrix_print): New. |
| | 137 | (TC): Use it. |
| | 138 | When performing a transitive closure R(i, j) && R(j, k) => R(i, k), |
| | 139 | j must be the outer loop. |
| | 140 | * tests/regression.at (Broken Closure): New. |
| | 141 | |
| | 142 | 2001-12-05 Akim Demaille <akim@epita.fr> |
| | 143 | |
| | 144 | * tests/atlocal.in (CPPFLAGS): Do not leave a space between -I and |
| | 145 | its argument. |
| | 146 |
projects / bison.git / blame_incremental