diff options
author | Paul Smith <psmith@gnu.org> | 2019-05-19 10:59:06 -0400 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2019-05-19 15:27:26 -0400 |
commit | f32ca1666f12a053fece8f2ef5da45f3b1b5822c (patch) | |
tree | a363607af3a09a5767a74796e3f1be95febfc051 /.gitignore | |
parent | 9ce370249bbdebfe246b04f9318b58852cfe0809 (diff) | |
download | make-git-f32ca1666f12a053fece8f2ef5da45f3b1b5822c.tar.gz |
[SV 54549] Don't free used set_lists during merge
When merging the variable_set_lists for two targets it could be
that the "from" set list is a subset of the "to" set list: check
for this situation to avoid freeing used memory.
* src/variable.c (merge_variable_set_lists): Walk the "to" list and
if the "from" list is contained in it, nothing to do.
* tests/scripts/features/se_explicit: Add a test.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions