pca006132/nac3
1
0
Fork 0
forked from M-Labs/nac3
Code Issues Pull Requests Releases Wiki Activity

fixed assumption bug

Browse Source
This commit is contained in:
pca006132 2020-12-29 09:43:49 +08:00 committed by pca006132
parent 422b92f686
commit 94ea2c7a9d
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
nac3type/src/inference.rs
View File

@ -141,6 +141,11 @@ pub fn resolve_call(
resolve_call(ctx, Some(obj.clone()), func, args.clone(), assumptions) resolve_call(ctx, Some(obj.clone()), func, args.clone(), assumptions)
}) })
.collect(); .collect();
// `assumption` cannot substitute variable for variable, if assumption contains
// this id before running this function, `obj` would not be a variable, so this
// would not be executed.
// Hence, we lose no information doing this.
assumptions.remove(id);
let results = results?; let results = results?;
if results.iter().all(|v| v == &results[0]) { if results.iter().all(|v| v == &results[0]) {
return Ok(results[0].clone()); return Ok(results[0].clone());