Check for overflow when converting integer to cons and back.
[bpt/emacs.git] / src / ChangeLog
index 431bd2a..c9c739d 100644 (file)
@@ -1,4 +1,65 @@
-2011-06-03  Paul Eggert  <eggert@cs.ucla.edu>
+2011-06-06  Paul Eggert  <eggert@cs.ucla.edu>
+
+       Check for overflow when converting integer to cons and back.
+       * charset.c (Fdefine_charset_internal, Fdecode_char):
+       Use cons_to_unsigned to catch overflow.
+       (Fencode_char): Use INTEGER_TO_CONS.
+       * composite.h (LGLYPH_CODE): Use cons_to_unsigned.
+       (LGLYPH_SET_CODE): Use INTEGER_TO_CONS.
+       * data.c (long_to_cons, cons_to_long): Remove.
+       (cons_to_unsigned, cons_to_signed): New functions.
+       These signal an error for invalid or out-of-range values.
+       * dired.c (Ffile_attributes): Use INTEGER_TO_CONS.
+       * fileio.c (Fset_visited_file_modtime): Use CONS_TO_INTEGER.
+       * font.c (Ffont_variation_glyphs):
+       * fontset.c (Finternal_char_font): Use INTEGER_TO_CONS.
+       * lisp.h: Include <intprops.h>.
+       (INTEGER_TO_CONS, CONS_TO_INTEGER): New macros.
+       (cons_to_signed, cons_to_unsigned): New decls.
+       (long_to_cons, cons_to_long): Remove decls.
+       * undo.c (record_first_change): Use INTEGER_TO_CONS.
+       (Fprimitive_undo): Use CONS_TO_INTEGER.
+       * xfns.c (Fx_window_property): Likewise.
+       * xselect.c: Include <limits.h>.
+       (x_own_selection, selection_data_to_lisp_data):
+       Use INTEGER_TO_CONS.
+       (x_handle_selection_request, x_handle_selection_clear)
+       (x_get_foreign_selection, Fx_disown_selection_internal)
+       (Fx_get_atom_name, x_send_client_event): Use CONS_TO_INTEGER.
+       (lisp_data_to_selection_data): Use cons_to_unsigned.
+       (x_fill_property_data): Use cons_to_signed.
+       Report values out of range.
+
+       Check for buffer and string overflow more precisely.
+       * buffer.h (BUF_BYTES_MAX): New macro.
+       * lisp.h (STRING_BYTES_MAX): New macro.
+       * alloc.c (Fmake_string):
+       * character.c (string_escape_byte8):
+       * coding.c (coding_alloc_by_realloc):
+       * doprnt.c (doprnt):
+       * editfns.c (Fformat):
+       * eval.c (verror):
+       Use STRING_BYTES_MAX, not MOST_POSITIVE_FIXNUM,
+       since they may not be the same number.
+       * editfns.c (Finsert_char):
+       * fileio.c (Finsert_file_contents):
+       Likewise for BUF_BYTES_MAX.
+
+       * image.c: Use ptrdiff_t, not int, for sizes.
+       (slurp_file): Switch from int to ptrdiff_t.
+       All uses changed.
+       (slurp_file): Check that file size fits in both size_t (for
+       malloc) and ptrdiff_t (for sanity and safety).
+
+       * fileio.c (Fverify_visited_file_modtime): Avoid time overflow
+       if b->modtime has its maximal value.
+
+       * dired.c (Ffile_attributes): Don't assume EMACS_INT has >32 bits.
+
+       Don't assume time_t can fit into int.
+       * buffer.h (struct buffer.modtime): Now time_t, not int.
+       * fileio.c (Fvisited_file_modtime): No need for time_t cast now.
+       * undo.c (Fprimitive_undo): Use time_t, not int, for time_t value.
 
        Minor fixes for signed vs unsigned integers.
        * character.h (MAYBE_UNIFY_CHAR):
        (access_keymap): NATNUMP -> INTEGERP, since the integer must be
        nonnegative.
 
+2011-06-06  Paul Eggert  <eggert@cs.ucla.edu>
+
+       * alloc.c (memory_full) [SYSTEM_MALLOC]: Port to MacOS (Bug#8800).
+       Do not assume that spare memory exists; that assumption is valid
+       only if SYSTEM_MALLOC.
+       (LARGE_REQUEST): New macro, so that the issue of large requests
+       is separated from the issue of spare memory.
+
+2011-06-05  Andreas Schwab  <schwab@linux-m68k.org>
+
+       * editfns.c (Fformat): Correctly handle zero flag with hexadecimal
+       format.  (Bug#8806)
+
+       * gtkutil.c (xg_get_default_scrollbar_width): Avoid warning.
+
+       * xfns.c (x_set_scroll_bar_default_width): Move declarations
+       before statements.
+
+2011-06-05  Jan Djärv  <jan.h.d@swipnet.se>
+
+       * gtkutil.c (xg_get_default_scrollbar_width): New function.
+
+       * gtkutil.h: Declare xg_get_default_scrollbar_width.
+
+       * xfns.c (x_set_scroll_bar_default_width): If USE_GTK, get
+       min width by calling x_set_scroll_bar_default_width (Bug#8505).
+
+2011-06-05  Juanma Barranquero  <lekktu@gmail.com>
+
+       * xdisp.c (single_display_spec_intangible_p): Remove declaration.
+
+2011-06-04  Chong Yidong  <cyd@stupidchicken.com>
+
+       * xselect.c (x_clipboard_manager_save): Remove redundant arg.
+       (x_clipboard_manager_save): Add return value.
+       (x_clipboard_manager_error_1, x_clipboard_manager_error_2): New
+       error handlers.
+       (x_clipboard_manager_save_frame, x_clipboard_manager_save_all):
+       Obey Vx_select_enable_clipboard_manager.  Catch errors in
+       x_clipboard_manager_save (Bug#8779).
+       (Vx_select_enable_clipboard_manager): New variable.
+       (x_get_foreign_selection): Reduce scope of x_catch_errors (Bug#8790).
+
+2011-06-04  Dan Nicolaescu  <dann@ics.uci.edu>
+
+       * emacs.c (main): Warn when starting a GTK emacs in daemon mode.
+
+2011-06-04  YAMAMOTO Mitsuharu  <mituharu@math.s.chiba-u.ac.jp>
+
+       * fringe.c (update_window_fringes): Don't update overlay arrow bitmap
+       in the current matrix if keep_current_p is non-zero.
+
+2011-06-04  Eli Zaretskii  <eliz@gnu.org>
+
+       * bidi.c (bidi_level_of_next_char): Fix last change.
+
+2011-06-03  Eli Zaretskii  <eliz@gnu.org>
+
+       Support bidi reordering of text covered by display properties.
+
+       * bidi.c (bidi_copy_it): Use offsetof instead of emulating it.
+       (bidi_fetch_char, bidi_fetch_char_advance): New functions.
+       (bidi_cache_search, bidi_cache_iterator_state)
+       (bidi_paragraph_init, bidi_resolve_explicit, bidi_resolve_weak)
+       (bidi_level_of_next_char, bidi_move_to_visually_next): Support
+       character positions inside a run of characters covered by a
+       display string.
+       (bidi_paragraph_init, bidi_resolve_explicit_1)
+       (bidi_level_of_next_char): Call bidi_fetch_char and
+       bidi_fetch_char_advance instead of FETCH_CHAR and
+       FETCH_CHAR_ADVANCE.
+       (bidi_init_it): Initialize new members.
+       (LRE_CHAR, RLE_CHAR, PDF_CHAR, LRO_CHAR, RLO_CHAR): Remove macro
+       definitions.
+       (bidi_explicit_dir_char): Lookup character type in bidi_type_table,
+       instead of using explicit *_CHAR codes.
+       (bidi_resolve_explicit, bidi_resolve_weak): Use
+       FETCH_MULTIBYTE_CHAR instead of FETCH_CHAR, as reordering of
+       bidirectional text is supported only in multibyte buffers.
+       (bidi_init_it): Accept additional argument FRAME_WINDOW_P and use
+       it to initialize the frame_window_p member of struct bidi_it.
+       (bidi_cache_iterator_state, bidi_resolve_explicit_1)
+       (bidi_resolve_explicit, bidi_resolve_weak)
+       (bidi_level_of_next_char, bidi_move_to_visually_next): Abort if
+       bidi_it->nchars is non-positive.
+       (bidi_level_of_next_char): Don't try to lookup the cache for the
+       next/previous character if nothing is cached there yet, or if we
+       were just reseat()'ed to a new position.
+
+       * xdisp.c (set_cursor_from_row): Set start and stop points
+       according to the row's direction when priming the loop that looks
+       for the glyph on which to display cursor.
+       (single_display_spec_intangible_p): Function deleted.
+       (display_prop_intangible_p): Reimplement to call
+       handle_display_spec instead of single_display_spec_intangible_p.
+       Accept 3 additional arguments needed by handle_display_spec.  This
+       fixes incorrect cursor motion across display property with complex
+       values: lists, `(when COND...)' forms, etc.
+       (single_display_spec_string_p): Support property values that are
+       lists with the argument STRING its top-level element.
+       (display_prop_string_p): Fix the condition for processing a
+       property that is a list to be consistent with handle_display_spec.
+       (handle_display_spec): New function, refactored from the
+       last portion of handle_display_prop.
+       (compute_display_string_pos): Accept additional argument
+       FRAME_WINDOW_P.  Call handle_display_spec to determine whether the
+       value of a `display' property is a "replacing spec".
+       (handle_single_display_spec): Accept 2 additional arguments BUFPOS
+       and FRAME_WINDOW_P.  If IT is NULL, don't set up the iterator from
+       the display property, but just return a value indicating whether
+       the display property will replace the characters it covers.
+       (Fcurrent_bidi_paragraph_direction): Initialize the nchars and
+       frame_window_p members of struct bidi_it.
+       (compute_display_string_pos, compute_display_string_end): New
+       functions.
+       (push_it): Accept second argument POSITION, where pop_it should
+       jump to continue iteration.
+       (reseat_1): Initialize bidi_it.disp_pos.
+
+       * keyboard.c (adjust_point_for_property): Adjust the call to
+       display_prop_intangible_p to its new signature.
+
+       * dispextern.h (struct bidi_it): New member frame_window_p.
+       (bidi_init_it): Update prototypes.
+       (display_prop_intangible_p): Update prototype.
+       (compute_display_string_pos, compute_display_string_end): Declare
+       prototypes.
+       (struct bidi_it): New members nchars and disp_pos.  ch_len is now
+       EMACS_INT.
+
 2011-06-02  Paul Eggert  <eggert@cs.ucla.edu>
 
        Malloc failure behavior now depends on size of allocation.