[Bug 734485] New: mbranch inconsisten return value