MPS issue job004063

TitleEasy to miss mps_addr_pool
Assigned userGareth Rees
DescriptionThe Clasp additions to the MPS [1] include a function clasp_pool_of_addr with essentially the same functionality as mps_addr_pool [2]. The latter has been in the MPS since RHSK added it in 2010 [3], so the question is, how DL missed it.
AnalysisDL thinks that he may have looked only at mps_arena_has_addr [4], so we could add cross-references back and forth.
How foundcustomer
Created byGareth Rees
Created on2018-06-13 10:00:45
Last modified byGareth Rees
Last modified on2018-06-13 10:56:47
History2018-06-13 GDR Created.


Change Effect Date User Description
193721 closed 2018-06-13 10:56:47 Gareth Rees Add cross-references from mps_arena_has_addr to mps_addr_pool (and vice versa), to decrease the likelihood that developers will miss these functions.