mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2025-12-20 20:50:53 -08:00
Code Issues Projects Releases Wiki Activity

Mps branch unfixed-summary: if poolfix fails, aver that *refio is unchanged.

Browse source 
Copied from Perforce
 Change: 161966
 ServerID: perforce.ravenbrook.com
This commit is contained in:
Richard Kistruck 2007-03-21 13:34:44 +00:00
parent 75bc16ac8e
commit fa6f33d5e5
1 changed files with 10 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

11
mps/code/trace.c
View file

@ -1285,8 +1285,17 @@ Res TraceFix(ScanState ss, Ref *refIO)
/* Could move the rank switch here from the class-specific */
/* fix methods. */
res = PoolFix(pool, ss, seg, refIO);
if (res != ResOK)
if (res != ResOK) {
/* Fix protocol (de facto): if Fix fails, ref must be unchanged */
/* Justification for this restriction:
* A: it simplifies;
* B: it's reasonable (given what may cause Fix to fail);
* C: the code (here) already assumes this: it returns without
* updating ss->fixedSummary. RHSK 2007-03-21.
*/
AVER(*refIO == ref);
return res;
}
}
} else {
/* Tract isn't white. Don't compute seg for non-statistical */