MPS issue job003986

TitleSTATISTIC_DECL has rotted
Statusclosed
Priorityoptional
Assigned userRichard Brooksby
OrganizationRavenbrook
DescriptionI noticed that ScanStateStruct's scannedSize is inside a STATISTIC_DECL, so could theoretically be turned off. However, STATISTIC_DECL does nothing. We need to work out what STATISTIC_DECL is supposed to do. I also notice that uses of STATISTIC_DECL have semicolons after them, so we can't actually remove them! The introduction of STATISTIC_DECL in mpmst.h is an ancient change (20606) by Pekka. I'm pretty sure the idea was that these things are not required to run the MPS. Needs some dusting.
Analysis1. Work out what the purpose of STATISTIC_DECL (and friends) is and whether it is relevant to the MPS any more.
2. Fix the syntax of STATISTIC_DECL and try switching them off.
3. Tidy up.
How foundunknown
Evidence//info.ravenbrook.com/project/mps/branch/2015-08-25/tradeoff/code/mpmst.h#5:464
Introduced in1.100.0
Created byRichard Brooksby
Created on2016-03-14 12:04:34
Last modified byGareth Rees
Last modified on2016-04-19 18:31:15
History2016-03-14 RB Created.

Fixes

Change Effect Date User Description
191281 closed 2016-04-19 18:31:15 Gareth Rees Merge branch/2016-04-16/statistic.