tree eefd6f3b1f0eeb55eddf070216f1c02dd0e4796d
parent 2b09287c8b9744300f8fbd3ecfac581efc53ef78
author David Brazdil <dbrazdil@google.com> 1452869713 +0000
committer David Brazdil <dbrazdil@google.com> 1453116263 +0000

ART: Change merge(uninitialized, null) to produce conflict

The verifier would treat the result of merge(uninitialized, null) as
an uninitialized value, allowing a constructor to be called on null.
This patch conservatively prevents any usage of the merged register
by treating it as conflicting. Note that this could be relaxed with
a new common type for initialized and uninitialized references.

Bug: 26579108
Bug: 22411633

Change-Id: Ic5a1a3909c80287deece92dbb3254f437074e9b6