BugFix: check_register_allocation crashed when no register was assigned
drwxr-xr-x - ir