|Title||MPS hot varieties do no AVERs or other checking|
|Assigned user||Richard Kistruck|
|Description||MPS hot varieties do no AVERs or other checking.|
See 2006-12-13 footnote to job000534: the conversion in config.h
from old varieties to the new build feature set was wrong for
See also job001546: MPS hot varieties gather tuning statistics
Hot varieties do not #define ASSERT, so CHECK (now renamed AVER_AND_CHECK) is never defined, so all AVERs and checks compile to nothing. Hot varieties do correctly set a minimal CHECK_DEFAULT (now renamed CHECKLEVEL_INITIAL), but that has no effect on its own.
Also, hot varieties #define DEBUG, and therefore gather statistics; this is presumably a mistake.
Source inspection during job001248.
|Created by||Richard Kistruck|
|Created on||2006-12-13 15:26:51|
|Last modified by||Gareth Rees|
|Last modified on||2014-04-12 22:07:52|
|History||2006-12-13 RHSK Created.|
|161213||closed||2006-12-13 16:01:46||Richard Kistruck||MPS make hot varieties do AVERs and checks, and *not* gather statistics.
job001545 & job001546
|161211||open||2006-12-13 15:41:53||Richard Kistruck||MPS config.h: make it easy to see which variety turns on which features.
The logic is now clear, but wrong. See job001545.