| 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). |