新创建的clause，在加入哈希表时，使用了compile中的literal_ids指针，导致内存非法读。修复 TSG-9741 TSG-10495

2022-04-29 20:37:01 +08:00
parent af4cdebe2c
commit 432337da6d
2 changed files with 2 additions and 2 deletions
--- a/src/entry/Maat_hierarchy.cpp
+++ b/src/entry/Maat_hierarchy.cpp
@@ -254,7 +254,7 @@ static const struct Maat_hierarchy_clause* Maat_hierarchy_clause_fetch(struct Ma
 		memcpy(clause->literal_ids, literal_ids, n_literal_id*sizeof(struct Maat_hierarchy_literal_id));
 		
 		hier->clause_id_generator++;
-		HASH_ADD_KEYPTR(hh, hier->hash_dedup_clause_by_literals, literal_ids, 
+		HASH_ADD_KEYPTR(hh, hier->hash_dedup_clause_by_literals, clause->literal_ids, 
 			n_literal_id*sizeof(struct Maat_hierarchy_literal_id), 
 			clause);
 	}