MPS issue job004078

TitleTypedefs use int when unsigned would be better
Statusclosed
Prioritynice
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionRootVar and LocusPrefKind are typedef'd as int, but since these types never take negative values, it would be clearer (and more consistent with other enumeration like Rank, RootMode, TraceState, BufferMode, FindDelete) to typedef them as unsigned.
AnalysisNone.
How foundinspection
EvidenceNone
Created byGareth Rees
Created on2018-06-21 20:57:38
Last modified byGareth Rees
Last modified on2018-06-26 09:02:25
History2018-06-21 GDR Created.

Fixes

Change Effect Date User Description
194161 closed 2018-06-26 08:48:31 Gareth Rees Use unsigned for RootVar and LocusPrefKind typedefs.