2005-05-19 18:27:14 +04:00
|
|
|
/*
|
|
|
|
* patch-delta.c:
|
|
|
|
* recreate a buffer from a source and the delta produced by diff-delta.c
|
|
|
|
*
|
|
|
|
* (C) 2005 Nicolas Pitre <nico@cam.org>
|
|
|
|
*
|
|
|
|
* This code is free software; you can redistribute it and/or modify
|
|
|
|
* it under the terms of the GNU General Public License version 2 as
|
|
|
|
* published by the Free Software Foundation.
|
|
|
|
*/
|
|
|
|
|
2006-12-19 00:06:50 +03:00
|
|
|
#include "git-compat-util.h"
|
2005-05-19 18:27:14 +04:00
|
|
|
#include "delta.h"
|
|
|
|
|
2006-04-25 07:07:47 +04:00
|
|
|
void *patch_delta(const void *src_buf, unsigned long src_size,
|
|
|
|
const void *delta_buf, unsigned long delta_size,
|
2005-05-19 18:27:14 +04:00
|
|
|
unsigned long *dst_size)
|
|
|
|
{
|
|
|
|
const unsigned char *data, *top;
|
|
|
|
unsigned char *dst_buf, *out, cmd;
|
|
|
|
unsigned long size;
|
|
|
|
|
2005-06-29 10:49:56 +04:00
|
|
|
if (delta_size < DELTA_SIZE_MIN)
|
2005-05-19 18:27:14 +04:00
|
|
|
return NULL;
|
|
|
|
|
|
|
|
data = delta_buf;
|
2006-06-18 19:18:09 +04:00
|
|
|
top = (const unsigned char *) delta_buf + delta_size;
|
2005-05-19 18:27:14 +04:00
|
|
|
|
|
|
|
/* make sure the orig file size matches what we expect */
|
2006-04-07 23:26:10 +04:00
|
|
|
size = get_delta_hdr_size(&data, top);
|
2005-05-19 18:27:14 +04:00
|
|
|
if (size != src_size)
|
|
|
|
return NULL;
|
|
|
|
|
|
|
|
/* now the result size */
|
2006-04-07 23:26:10 +04:00
|
|
|
size = get_delta_hdr_size(&data, top);
|
2006-12-19 00:06:50 +03:00
|
|
|
dst_buf = xmalloc(size + 1);
|
2005-09-04 13:43:16 +04:00
|
|
|
dst_buf[size] = 0;
|
2005-05-19 18:27:14 +04:00
|
|
|
|
|
|
|
out = dst_buf;
|
|
|
|
while (data < top) {
|
|
|
|
cmd = *data++;
|
|
|
|
if (cmd & 0x80) {
|
|
|
|
unsigned long cp_off = 0, cp_size = 0;
|
|
|
|
if (cmd & 0x01) cp_off = *data++;
|
|
|
|
if (cmd & 0x02) cp_off |= (*data++ << 8);
|
|
|
|
if (cmd & 0x04) cp_off |= (*data++ << 16);
|
Fix big left-shifts of unsigned char
Shifting 'unsigned char' or 'unsigned short' left can result in sign
extension errors, since the C integer promotion rules means that the
unsigned char/short will get implicitly promoted to a signed 'int' due to
the shift (or due to other operations).
This normally doesn't matter, but if you shift things up sufficiently, it
will now set the sign bit in 'int', and a subsequent cast to a bigger type
(eg 'long' or 'unsigned long') will now sign-extend the value despite the
original expression being unsigned.
One example of this would be something like
unsigned long size;
unsigned char c;
size += c << 24;
where despite all the variables being unsigned, 'c << 24' ends up being a
signed entity, and will get sign-extended when then doing the addition in
an 'unsigned long' type.
Since git uses 'unsigned char' pointers extensively, we actually have this
bug in a couple of places.
I may have missed some, but this is the result of looking at
git grep '[^0-9 ][ ]*<<[ ][a-z]' -- '*.c' '*.h'
git grep '<<[ ]*24'
which catches at least the common byte cases (shifting variables by a
variable amount, and shifting by 24 bits).
I also grepped for just 'unsigned char' variables in general, and
converted the ones that most obviously ended up getting implicitly cast
immediately anyway (eg hash_name(), encode_85()).
In addition to just avoiding 'unsigned char', this patch also tries to use
a common idiom for the delta header size thing. We had three different
variations on it: "& 0x7fUL" in one place (getting the sign extension
right), and "& ~0x80" and "& 0x7f" in two other places (not getting it
right). Apart from making them all just avoid using "unsigned char" at
all, I also unified them to then use a simple "& 0x7f".
I considered making a sparse extension which warns about doing implicit
casts from unsigned types to signed types, but it gets rather complex very
quickly, so this is just a hack.
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2009-06-18 04:22:27 +04:00
|
|
|
if (cmd & 0x08) cp_off |= ((unsigned) *data++ << 24);
|
2005-05-19 18:27:14 +04:00
|
|
|
if (cmd & 0x10) cp_size = *data++;
|
|
|
|
if (cmd & 0x20) cp_size |= (*data++ << 8);
|
2006-02-10 01:50:04 +03:00
|
|
|
if (cmd & 0x40) cp_size |= (*data++ << 16);
|
2005-05-19 18:27:14 +04:00
|
|
|
if (cp_size == 0) cp_size = 0x10000;
|
2006-04-07 23:26:10 +04:00
|
|
|
if (cp_off + cp_size < cp_size ||
|
|
|
|
cp_off + cp_size > src_size ||
|
|
|
|
cp_size > size)
|
2006-12-19 00:06:50 +03:00
|
|
|
break;
|
2006-06-18 19:18:09 +04:00
|
|
|
memcpy(out, (char *) src_buf + cp_off, cp_size);
|
2005-05-19 18:27:14 +04:00
|
|
|
out += cp_size;
|
2006-04-07 23:26:10 +04:00
|
|
|
size -= cp_size;
|
|
|
|
} else if (cmd) {
|
|
|
|
if (cmd > size)
|
2006-12-19 00:06:50 +03:00
|
|
|
break;
|
2005-05-19 18:27:14 +04:00
|
|
|
memcpy(out, data, cmd);
|
|
|
|
out += cmd;
|
|
|
|
data += cmd;
|
2006-04-07 23:26:10 +04:00
|
|
|
size -= cmd;
|
|
|
|
} else {
|
|
|
|
/*
|
|
|
|
* cmd == 0 is reserved for future encoding
|
|
|
|
* extensions. In the mean time we must fail when
|
|
|
|
* encountering them (might be data corruption).
|
|
|
|
*/
|
2006-12-19 00:06:50 +03:00
|
|
|
error("unexpected delta opcode 0");
|
2006-04-07 23:26:10 +04:00
|
|
|
goto bad;
|
2005-05-19 18:27:14 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/* sanity check */
|
2006-04-07 23:26:10 +04:00
|
|
|
if (data != top || size != 0) {
|
2006-12-19 00:06:50 +03:00
|
|
|
error("delta replay has gone wild");
|
2006-04-07 23:26:10 +04:00
|
|
|
bad:
|
2005-05-19 18:27:14 +04:00
|
|
|
free(dst_buf);
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
2006-04-07 23:26:10 +04:00
|
|
|
*dst_size = out - dst_buf;
|
2005-05-19 18:27:14 +04:00
|
|
|
return dst_buf;
|
|
|
|
}
|