From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 5 Oct 2021 16:19:26 +0000 (-0700)
Subject: dictionary: Allow dict_set_documents() argument to reference old documents.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7ae167da42b6b2fb0701bcf6929b15cbceeede53;hp=7ae167da42b6b2fb0701bcf6929b15cbceeede53;p=pspp

dictionary: Allow dict_set_documents() argument to reference old documents.

merge_dictionary() in combine-file.c includes the old documents in the new
ones by just copying pointers.  dict_set_documents() didn't handle this
properly.  This fixes the problem.

Fixes bug #61258.
Thanks to Irfan Ariq for reporting the problem.
---