From 19f220c3b4954d0f9f8597d7de19b071bcf99be0 Mon Sep 17 00:00:00 2001 From: Jan Kratochvil Date: Tue, 16 Nov 2010 22:13:02 +0000 Subject: gdb/ * ada-lang.c (modify_general_field): Remove. (make_array_descriptor): Replace all modify_general_field calls by modify_field. * value.c (modify_field): Update comment. New variable bytesize. Normalize BITPOS. Initialize BYTESIZE, use it. --- gdb/value.c | 17 +++++++++++++---- 1 file changed, 13 insertions(+), 4 deletions(-) (limited to 'gdb/value.c') diff --git a/gdb/value.c b/gdb/value.c index 85cb62af31..31111cf127 100644 --- a/gdb/value.c +++ b/gdb/value.c @@ -2202,7 +2202,7 @@ unpack_field_as_long (struct type *type, const gdb_byte *valaddr, int fieldno) target byte order; the bitfield starts in the byte pointed to. FIELDVAL is the desired value of the field, in host byte order. BITPOS and BITSIZE indicate which bits (in target bit order) comprise the bitfield. - Requires 0 < BITSIZE <= lbits, 0 <= BITPOS+BITSIZE <= lbits, and + Requires 0 < BITSIZE <= lbits, 0 <= BITPOS % 8 + BITSIZE <= lbits, and 0 <= BITPOS, where lbits is the size of a LONGEST in bits. */ void @@ -2212,6 +2212,11 @@ modify_field (struct type *type, gdb_byte *addr, enum bfd_endian byte_order = gdbarch_byte_order (get_type_arch (type)); ULONGEST oword; ULONGEST mask = (ULONGEST) -1 >> (8 * sizeof (ULONGEST) - bitsize); + int bytesize; + + /* Normalize BITPOS. */ + addr += bitpos / 8; + bitpos %= 8; /* If a negative fieldval fits in the field in question, chop off the sign extension bits. */ @@ -2229,16 +2234,20 @@ modify_field (struct type *type, gdb_byte *addr, fieldval &= mask; } - oword = extract_unsigned_integer (addr, sizeof oword, byte_order); + /* Ensure no bytes outside of the modified ones get accessed as it may cause + false valgrind reports. */ + + bytesize = (bitpos + bitsize + 7) / 8; + oword = extract_unsigned_integer (addr, bytesize, byte_order); /* Shifting for bit field depends on endianness of the target machine. */ if (gdbarch_bits_big_endian (get_type_arch (type))) - bitpos = sizeof (oword) * 8 - bitpos - bitsize; + bitpos = bytesize * 8 - bitpos - bitsize; oword &= ~(mask << bitpos); oword |= fieldval << bitpos; - store_unsigned_integer (addr, sizeof oword, byte_order, oword); + store_unsigned_integer (addr, bytesize, byte_order, oword); } /* Pack NUM into BUF using a target format of TYPE. */ -- cgit v1.2.1