mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-17 14:57:03 +00:00
Code Issues Projects Releases Wiki Activity

Fix a bug which caused the compiler to miscompile

Browse Source 
Estimated hours taken: 8

Fix a bug which caused the compiler to miscompile
value_number__substitute_access_vns.

compiler/cse_detection.m:
	In find_bind_var_for_cse, ensure that if the variable which
	we are trying to hoist is bound to a different functor than
	the one we're searching for, then we stop searching for
	a match.  This is necessary, because the code that checks
	for a match assumes that the variable we're trying to hoist
	has not yet been bound.
This commit is contained in:
Fergus Henderson
1996-02-07 06:00:26 +00:00
parent 8e2a254fd2
commit 48c6589b6e
1 changed files with 11 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
compiler/cse_detection.m
View File

@@ -555,6 +555,17 @@ find_bind_var_for_cse([GoalPair0 | Goals0], Substitution0, Var, MaybeUnify0,
Substitution = Substitution2, Substitution = Substitution2,
CseInfo = CseInfo0, CseInfo = CseInfo0,
MaybeUnify = MaybeUnify0 MaybeUnify = MaybeUnify0
;
%
% if the variable was bound, but the deconstruction wasn't
% similar, then stop searching
%
Term = term__functor(_, _, _)
->
Goals = [Goal0 - GoalInfo | Goals0],
Substitution = Substitution2,
CseInfo = CseInfo0,
MaybeUnify = no
; ;
find_bind_var_for_cse(Goals0, Substitution2, Var, find_bind_var_for_cse(Goals0, Substitution2, Var,
MaybeUnify0, CseInfo0, CseInfo, MaybeUnify0, CseInfo0, CseInfo,