Title | MPS hot varieties do no AVERs or other checking |
Status | closed |
Priority | essential |
Assigned user | Richard Kistruck |
Organization | Ravenbrook |
Description | MPS hot varieties do no AVERs or other checking. Related jobs: See 2006-12-13 footnote to job000534: the conversion in config.h from old varieties to the new build feature set was wrong for hot varieties. See also job001546: MPS hot varieties gather tuning statistics [RHSK 2006-12-13] 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. |
Analysis | [RHSK 2006-12-13] Source inspection during job001248. |
How found | inspection |
Evidence | Source. |
Observed in | 1.106.2 |
Introduced in | 1.100.0 |
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. |
Change | Effect | Date | User | Description |
---|---|---|---|---|
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. (Source-only change). |