|Title||STATISTIC_DECL has rotted|
|Assigned user||Richard Brooksby|
|Description||I 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.|
|Analysis||1. 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.
|Created by||Richard Brooksby|
|Created on||2016-03-14 12:04:34|
|Last modified by||Gareth Rees|
|Last modified on||2016-04-19 18:31:15|
|History||2016-03-14 RB Created.|
|191281||closed||2016-04-19 18:31:15||Gareth Rees||Merge branch/2016-04-16/statistic.|