log -L: fix overlapping input ranges
[gitweb.git] / line-log.c
index 624423142ef99e4ad0a008b738c5978bb9521467..85c7c249f4892bf95fd108cc6baaca2b6f9097aa 100644 (file)
@@ -12,6 +12,7 @@
 #include "strbuf.h"
 #include "log-tree.h"
 #include "graph.h"
+#include "userdiff.h"
 #include "line-log.h"
 
 static void range_set_grow(struct range_set *rs, size_t extra)
@@ -55,16 +56,21 @@ static void range_set_move(struct range_set *dst, struct range_set *src)
 }
 
 /* tack on a _new_ range _at the end_ */
-static void range_set_append(struct range_set *rs, long a, long b)
+static void range_set_append_unsafe(struct range_set *rs, long a, long b)
 {
        assert(a <= b);
-       assert(rs->nr == 0 || rs->ranges[rs->nr-1].end <= a);
        range_set_grow(rs, 1);
        rs->ranges[rs->nr].start = a;
        rs->ranges[rs->nr].end = b;
        rs->nr++;
 }
 
+static void range_set_append(struct range_set *rs, long a, long b)
+{
+       assert(rs->nr == 0 || rs->ranges[rs->nr-1].end <= a);
+       range_set_append_unsafe(rs, a, b);
+}
+
 static int range_cmp(const void *_r, const void *_s)
 {
        const struct range *r = _r;
@@ -79,10 +85,27 @@ static int range_cmp(const void *_r, const void *_s)
 }
 
 /*
- * Helper: In-place pass of sorting and merging the ranges in the
- * range set, to re-establish the invariants after another operation
- *
- * NEEDSWORK currently not needed
+ * Check that the ranges are non-empty, sorted and non-overlapping
+ */
+static void range_set_check_invariants(struct range_set *rs)
+{
+       int i;
+
+       if (!rs)
+               return;
+
+       if (rs->nr)
+               assert(rs->ranges[0].start < rs->ranges[0].end);
+
+       for (i = 1; i < rs->nr; i++) {
+               assert(rs->ranges[i-1].end < rs->ranges[i].start);
+               assert(rs->ranges[i].start < rs->ranges[i].end);
+       }
+}
+
+/*
+ * In-place pass of sorting and merging the ranges in the range set,
+ * to establish the invariants when we get the ranges from the user
  */
 static void sort_and_merge_range_set(struct range_set *rs)
 {
@@ -102,6 +125,8 @@ static void sort_and_merge_range_set(struct range_set *rs)
        }
        assert(o <= rs->nr);
        rs->nr = o;
+
+       range_set_check_invariants(rs);
 }
 
 /*
@@ -258,7 +283,7 @@ static void line_log_data_insert(struct line_log_data **list,
        struct line_log_data *p = search_line_log_data(*list, spec->path, &ip);
 
        if (p) {
-               range_set_append(&p->ranges, begin, end);
+               range_set_append_unsafe(&p->ranges, begin, end);
                sort_and_merge_range_set(&p->ranges);
                free_filespec(spec);
                return;
@@ -438,7 +463,6 @@ static void range_set_map_across_diff(struct range_set *out,
        *touched_out = touched;
 }
 
-
 static struct commit *check_single_commit(struct rev_info *revs)
 {
        struct object *commit = NULL;
@@ -559,7 +583,8 @@ parse_lines(struct commit *commit, const char *prefix, struct string_list *args)
                cb_data.line_ends = ends;
 
                if (parse_range_arg(range_part, nth_line, &cb_data,
-                                   lines, &begin, &end))
+                                   lines, &begin, &end,
+                                   spec->path))
                        die("malformed -L argument '%s'", range_part);
                if (begin < 1)
                        begin = 1;
@@ -686,8 +711,13 @@ static struct line_log_data *lookup_line_range(struct rev_info *revs,
                                               struct commit *commit)
 {
        struct line_log_data *ret = NULL;
+       struct line_log_data *d;
 
        ret = lookup_decoration(&revs->line_log_data, &commit->object);
+
+       for (d = ret; d; d = d->next)
+               range_set_check_invariants(&d->ranges);
+
        return ret;
 }
 
@@ -749,7 +779,50 @@ static void move_diff_queue(struct diff_queue_struct *dst,
        DIFF_QUEUE_CLEAR(src);
 }
 
-static void queue_diffs(struct diff_options *opt,
+static void filter_diffs_for_paths(struct line_log_data *range, int keep_deletions)
+{
+       int i;
+       struct diff_queue_struct outq;
+       DIFF_QUEUE_CLEAR(&outq);
+
+       for (i = 0; i < diff_queued_diff.nr; i++) {
+               struct diff_filepair *p = diff_queued_diff.queue[i];
+               struct line_log_data *rg = NULL;
+
+               if (!DIFF_FILE_VALID(p->two)) {
+                       if (keep_deletions)
+                               diff_q(&outq, p);
+                       else
+                               diff_free_filepair(p);
+                       continue;
+               }
+               for (rg = range; rg; rg = rg->next) {
+                       if (!strcmp(rg->spec->path, p->two->path))
+                               break;
+               }
+               if (rg)
+                       diff_q(&outq, p);
+               else
+                       diff_free_filepair(p);
+       }
+       free(diff_queued_diff.queue);
+       diff_queued_diff = outq;
+}
+
+static inline int diff_might_be_rename(void)
+{
+       int i;
+       for (i = 0; i < diff_queued_diff.nr; i++)
+               if (!DIFF_FILE_VALID(diff_queued_diff.queue[i]->one)) {
+                       /* fprintf(stderr, "diff_might_be_rename found creation of: %s\n", */
+                       /*      diff_queued_diff.queue[i]->two->path); */
+                       return 1;
+               }
+       return 0;
+}
+
+static void queue_diffs(struct line_log_data *range,
+                       struct diff_options *opt,
                        struct diff_queue_struct *queue,
                        struct commit *commit, struct commit *parent)
 {
@@ -765,7 +838,12 @@ static void queue_diffs(struct diff_options *opt,
 
        DIFF_QUEUE_CLEAR(&diff_queued_diff);
        diff_tree(&desc1, &desc2, "", opt);
-       diffcore_std(opt);
+       if (opt->detect_rename) {
+               filter_diffs_for_paths(range, 1);
+               if (diff_might_be_rename())
+                       diffcore_std(opt);
+               filter_diffs_for_paths(range, 0);
+       }
        move_diff_queue(queue, &diff_queued_diff);
 
        if (tree1)
@@ -1049,7 +1127,7 @@ static int process_ranges_ordinary_commit(struct rev_info *rev, struct commit *c
        if (commit->parents)
                parent = commit->parents->item;
 
-       queue_diffs(&rev->diffopt, &queue, commit, parent);
+       queue_diffs(range, &rev->diffopt, &queue, commit, parent);
        changed = process_all_files(&parent_range, rev, &queue, range);
        if (parent)
                add_line_range(rev, parent, parent_range);
@@ -1074,7 +1152,7 @@ static int process_ranges_merge_commit(struct rev_info *rev, struct commit *comm
        for (i = 0; i < nparents; i++) {
                parents[i] = p->item;
                p = p->next;
-               queue_diffs(&rev->diffopt, &diffqueues[i], commit, parents[i]);
+               queue_diffs(range, &rev->diffopt, &diffqueues[i], commit, parents[i]);
        }
 
        for (i = 0; i < nparents; i++) {