See comments section for an email describing a sighting of the assert.
Feel free to modify the synopsis if jcheck has issues with the non-alphanumeric
Verified by running nsk/stress/jck122/jck122002 as part of hs15-b02 pit.
The problem is that a regD_low isn't considered a regD
so it can't match a sub with regDs.
Add a match rule for regD_low in regD definition to declare
that a regD_low is also a regD.
Tom Rodriguez wrote:
> It's weird we haven't see this before. The problem is that a regD_low
> isn't considered a regD so it can't match a sub with regDs. The
> definition of regD_low needs a match rule for regD, as in match(regD);
> to declare that a regD_low is also a regD.