Fix a race condition diagnosed by gcc -Wsequence-point (Bug#8254).
[bpt/emacs.git] / src / ChangeLog
index 2d88ba2..7e873e3 100644 (file)
@@ -1,7 +1,174 @@
+2011-03-15  Paul Eggert  <eggert@cs.ucla.edu>
+
+       Fix a race condition diagnosed by gcc -Wsequence-point (Bug#8254).
+       An expression of the form (DOWNCASE (x) == DOWNCASE (y)), found in
+       dired.c's scmp function, had undefined behavior.
+       * lisp.h (DOWNCASE_TABLE, UPCASE_TABLE, DOWNCASE, UPPERCASEP):
+       (NOCASEP, LOWERCASEP, UPCASE, UPCASE1): Move from here ...
+       * buffer.h: ... to here, because these macros use current_buffer,
+       and the new implementation with inline functions needs to have
+       current_buffer in scope now, rather than later when the macros
+       are used.
+       (downcase, upcase1): New static inline functions.
+       (DOWNCASE, UPCASE1): Reimplement using these functions.
+       This avoids undefined behavior in expressions like
+       DOWNCASE (x) == DOWNCASE (y), which previously suffered
+       from race conditions in accessing the global variables
+       case_temp1 and case_temp2.
+       * casetab.c (case_temp1, case_temp2): Remove; no longer needed.
+       * lisp.h (case_temp1, case_temp2): Remove their decls.
+       * character.h (ASCII_CHAR_P): Move from here ...
+       * lisp.h: ... to here, so that the inline functions mentioned
+       above can use them.
+
+       * dired.c (directory_files_internal_unwind): Now static.
+
+       * fileio.c (file_name_as_directory, directory_file_name):
+       (barf_or_query_if_file_exists, auto_save_error, auto_save_1):
+       Now static.
+       (file_name_as_directory): Use const pointers when appropriate.
+       (Fexpand_file_name): Likewise.  In particular, newdir might
+       point at constant storage, so make it a const pointer.
+       (Fmake_directory_internal, Fread_file_name): Remove unused vars.
+       (Ffile_selinux_context, Fset_file_selinux_context): Fix pointer
+       signedness issues.
+       (Fset_file_times, Finsert_file_contents, auto_save_error):
+       Rename locals to avoid shadowing.
+
+       * minibuf.c (choose_minibuf_frame_1): Now static.
+       (Ftry_completion, Fall_completions): Rename or remove locals
+       to avoid shadowing.
+
+       * marker.c (bytepos_to_charpos): Remove; unused.
+
+       * lisp.h (verify_bytepos, count_markers): New decls,
+       so that gcc does not warn that these functions aren't declared.
+
+       * insdel.c (check_markers, make_gap_larger, make_gap_smaller):
+       (reset_var_on_error, Fcombine_after_change_execute_1): Now static.
+       (CHECK_MARKERS): Redo to avoid gcc -Wempty-body diagnostic.
+       (copy_text): Remove unused local var.
+
+       * filelock.c (within_one_second): Now static.
+       (lock_file_1): Rename local to avoid shadowing.
+
+       * buffer.c (fix_overlays_before): Mark locals as initialized.
+       (fix_start_end_in_overlays): Likewise.  This function should be
+       simplified by using pointers-to-pointers, but that's a different
+       matter.
+
+2011-03-14  Paul Eggert  <eggert@cs.ucla.edu>
+
+       * buffer.c (switch_to_buffer_1): Now static.
+       (Fkill_buffer, record_buffer, Fbury_buffer, Fset_buffer_multibyte):
+       (report_overlay_modification): Rename locals to avoid shadowing.
+
+       * sysdep.c (system_process_attributes): Rename vars to avoid shadowing.
+       Fix pointer signedness issue.
+       (sys_subshell): Mark local as volatile if checking for lint,
+       to suppress a gcc -Wclobbered warning that does not seem to be right.
+       (MAXPATHLEN): Define only if needed.
+
+       * process.c (serial_open, serial_configure): Move decls from here ...
+       * systty.h: ... to here, so that they can be checked.
+
+       * fns.c (get_random, seed_random): Move extern decls from here ...
+       * lisp.h: ... to here, so that they can be checked.
+
+       * sysdep.c (reset_io): Now static.
+       (wait_for_termination_signal): Remove; unused.
+
+       * keymap.c (keymap_parent, keymap_memberp, map_keymap_internal):
+       (copy_keymap_item, append_key, push_text_char_description):
+       Now static.
+       (Fwhere_is_internal): Don't test CONSP (sequences) unnecessarily.
+       (DENSE_TABLE_SIZE): Remove; unused.
+       (get_keymap, access_keymap, Fdefine_key, Fwhere_is_internal):
+       (describe_map_tree):
+       Rename locals to avoid shadowing.
+
+       * keyboard.c: Declare functions static if they are not used elsewhere.
+       (echo_char, echo_dash, cmd_error, top_level_2):
+       (poll_for_input, handle_async_input): Now static.
+       (read_char, kbd_buffer_get_event, make_lispy_position):
+       (make_lispy_event, make_lispy_movement, apply_modifiers):
+       (decode_keyboard_code, tty_read_avail_input, menu_bar_items):
+       (parse_tool_bar_item, read_key_sequence, Fread_key_sequence):
+       (Fread_key_sequence_vector): Rename locals to avoid shadowing.
+       (read_key_sequence, read_char): Mark locals as initialized.
+       (Fexit_recursive_edit, Fabort_recursive_edit): Mark with NO_RETURN.
+
+       * keyboard.h (make_ctrl_char): New decl.
+       (mark_kboards): Move decl here ...
+       * alloc.c (mark_kboards): ... from here.
+
+       * lisp.h (force_auto_save_soon): New decl.
+
+       * emacs.c (init_cmdargs): Rename local to avoid shadowing.
+       (DEFINE_DUMMY_FUNCTION): New macro.
+       (__do_global_ctors, __do_global_ctors_aux, __do_global_dtors, __main):
+       Use it.
+       (main): Add casts to avoid warnings
+       if GCC considers string literals to be constants.
+
+       * lisp.h (fatal_error_signal): Add decl, since it's exported.
+
+       * dbusbind.c: Pointer signedness fixes.
+       (xd_signature, xd_append_arg, xd_initialize):
+       (Fdbus_call_method, Fdbus_call_method_asynchronously):
+       (Fdbus_method_return_internal, Fdbus_method_error_internal):
+       (Fdbus_send_signal, xd_read_message_1, Fdbus_register_service):
+       (Fdbus_register_signal): Use SSDATA when the context wants char *.
+
+       * dbusbind.c (Fdbus_init_bus): Add cast to avoid warning
+       if GCC considers string literals to be constants.
+       (Fdbus_register_service, Fdbus_register_method): Remove unused vars.
+
+2011-03-13  Chong Yidong  <cyd@stupidchicken.com>
+
+       * buffer.h (BUF_BEGV, BUF_BEGV_BYTE, BUF_ZV, BUF_ZV_BYTE, BUF_PT)
+       (BUF_PT_BYTE): Rewrite to handle indirect buffers (Bug#8219).
+       These macros can no longer be used for assignment.
+
+       * buffer.c (Fget_buffer_create, Fmake_indirect_buffer): Assign
+       struct members directly, instead of using BUF_BEGV etc.
+       (record_buffer_markers, fetch_buffer_markers): New functions for
+       recording and fetching special buffer markers.
+       (set_buffer_internal_1, set_buffer_temp): Use them.
+
+       * lread.c (unreadchar): Use SET_BUF_PT_BOTH.
+
+       * insdel.c (adjust_point): Use SET_BUF_PT_BOTH.
+
+       * intervals.c (temp_set_point_both): Use SET_BUF_PT_BOTH.
+       (get_local_map): Use SET_BUF_BEGV_BOTH and SET_BUF_ZV_BOTH.
+
+       * xdisp.c (hscroll_window_tree):
+       (reconsider_clip_changes): Use PT instead of BUF_PT.
+
+2011-03-13  Eli Zaretskii  <eliz@gnu.org>
+
+       * makefile.w32-in ($(BLD)/editfns.$(O)): Depend on
+       $(EMACS_ROOT)/lib/intprops.h.
+
 2011-03-13  Paul Eggert  <eggert@cs.ucla.edu>
 
+       Fix more problems found by GCC 4.5.2's static checks.
+
        * gtkutil.c (xg_get_pixbuf_from_pixmap): Add cast from char *
        to unsigned char * to avoid compiler diagnostic.
+       (xg_free_frame_widgets): Make it clear that a local variable is
+       needed only if USE_GTK_TOOLTIP.
+       (gdk_window_get_screen): Make it clear that this macro is needed
+       only if USE_GTK_TOOLTIP.
+       (int_gtk_range_get_value): New function, which avoids a diagnostic
+       from gcc -Wbad-function-cast.
+       (xg_set_toolkit_scroll_bar_thumb): Use it.
+       (xg_tool_bar_callback, xg_tool_item_stale_p): Rewrite to avoid
+       diagnostic from gcc -Wbad-function-cast.
+       (get_utf8_string, xg_get_file_with_chooser):
+       Rename locals to avoid shadowing.
+       (create_dialog): Move locals to avoid shadowing.
 
        * xgselect.c (xg_select): Remove unused var.
 
        Mark another local as initialized.
        (my_png_error, my_error_exit): Mark with NO_RETURN.
 
-2011-03-11  Paul Eggert  <eggert@cs.ucla.edu>
-
        * image.c (clear_image_cache): Now static.
        (DIM, HAVE_STDLIB_H_1): Remove unused macros.
        (xpm_load): Redo to avoid "discards qualifiers" gcc warning.
        (clear_image_cache, xbm_read_bitmap_data, x_detect_edges):
        (jpeg_load, gif_load): Rename locals to avoid shadowing.
 
+2011-03-11  Paul Eggert  <eggert@cs.ucla.edu>
+
+       Improve quality of tests for time stamp overflow.
+       For example, without this patch (encode-time 0 0 0 1 1
+       1152921504606846976) returns the obviously-bogus value (-948597
+       62170) on my RHEL 5.5 x86-64 host.  With the patch, it correctly
+       reports time overflow.  See
+       <http://lists.gnu.org/archive/html/emacs-devel/2011-03/msg00470.html>.
+       * deps.mk (editfns.o): Depend on ../lib/intprops.h.
+       * editfns.c: Include limits.h and intprops.h.
+       (TIME_T_MIN, TIME_T_MAX): New macros.
+       (time_overflow): Move earlier, to before first use.
+       (hi_time, lo_time): New functions, for an accurate test for
+       out-of-range times.
+       (Fcurrent_time, Fget_internal_run_time, make_time): Use them.
+       (Fget_internal_run_time): Don't assume time_t fits in int.
+       (make_time): Use list2 instead of Fcons twice.
+       (Fdecode_time): More accurate test for out-of-range times.
+       (check_tm_member): New function.
+       (Fencode_time): Use it, to test for out-of-range times.
+       (lisp_time_argument): Don't rely on undefined left-shift and
+       right-shift behavior when checking for time stamp overflow.
+
+       * editfns.c (time_overflow): New function, refactoring common code.
+       (Fformat_time_string, Fdecode_time, Fencode_time):
+       (Fcurrent_time_string): Use it.
+
+       Move 'make_time' to be next to its inverse 'lisp_time_argument'.
+       * dired.c (make_time): Move to ...
+       * editfns.c (make_time): ... here.
+       * systime.h: Note the move.
+
+2011-03-12  YAMAMOTO Mitsuharu  <mituharu@math.s.chiba-u.ac.jp>
+
+       * fringe.c (update_window_fringes): Remove unused variables.
+
+       * unexmacosx.c (copy_data_segment): Also copy __got section.
+       (Bug#8223)
+
+2011-03-12  Eli Zaretskii  <eliz@gnu.org>
+
+       * termcap.c [MSDOS]: Include "msdos.h.
+       (find_capability, tgetnum, tgetflag, tgetstr, tputs, tgetent):
+       Constify `char *' arguments and their references according to
+       prototypes in tparam.h.
+
+       * deps.mk (termcap.o): Depend on tparam.h and msdos.h.
+
+       * msdos.c (XMenuAddPane): 3rd argument is `const char *' now.
+       Adapt all references accordingly.
+
+       * msdos.h (XMenuAddPane): 3rd argument is `const char *' now.
+
+2011-03-11  Tom Tromey  <tromey@redhat.com>
+
+       * buffer.c (syms_of_buffer): Remove obsolete comment.
+
+2011-03-11  Eli Zaretskii  <eliz@gnu.org>
+
+       * termhooks.h (encode_terminal_code): Declare prototype.
+
+       * msdos.c (encode_terminal_code): Don't declare prototype.
+
+       * term.c (encode_terminal_code): Now external again, used by
+       w32console.c and msdos.c.
+
+       * makefile.w32-in ($(BLD)/term.$(O), ($(BLD)/tparam.$(O)): Depend
+       on $(SRC)/tparam.h, see 2011-03-11T07:24:21Z!eggert@cs.ucla.edu.
+
 2011-03-11  Paul Eggert  <eggert@cs.ucla.edu>
 
        Fix some minor problems found by GCC 4.5.2's static checks.