MPS issue job003497

TitleMessages from assertions sound like bugs in the MPS
Assigned userRichard Brooksby
DescriptionWhen an MPS assertion fires for a client it's almost certainly because the MPS has detected a defect in their code. This is why we do so much checking in the first place. But the MPS messages make it sound like the MPS itself is at fault, saying "MPS ASSERTION FAILED". This is misleading (and bad for us).
AnalysisThe message could perhaps say "The MPS detected a problem". MPS assertions are a good thing -- finding defects in memory management early in the development process. We should make sure they seem that way, and encourage clients to think positively about them. "The MPS is helping you debug your code."

Bruce Mitchener suggested on IRC that the assertion failure could point to the "Common assertions and their causes" section of the manual [2].

Note that if we change the assertion text we have to change the code in [3] that detects this text.
How foundcustomer
Evidence[1] In external integrator recently reported "bad errors" in the MPS, without details <>.
[2] <>
[3] <>
Observed in1.111.0
Created byRichard Brooksby
Created on2013-05-25 22:40:22
Last modified byGareth Rees
Last modified on2014-05-12 15:59:21
History2013-05-25 RB Created.


Change Effect Date User Description
186032 closed 2014-05-12 15:59:21 Gareth Rees Improve the assertion output so that it is less suggestive of a bug in the MPS and more suggestive of a problem that needs investigation.