diff options
| author | David Brazdil <dbrazdil@google.com> | 2016-01-15 14:55:13 +0000 |
|---|---|---|
| committer | David Brazdil <dbrazdil@google.com> | 2016-01-18 11:24:23 +0000 |
| commit | 87a5575ada60051a3d45630da9ae3d634b993b60 (patch) | |
| tree | eefd6f3b1f0eeb55eddf070216f1c02dd0e4796d /compiler/driver/compiler_options.h | |
| parent | 2b09287c8b9744300f8fbd3ecfac581efc53ef78 (diff) | |
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
Diffstat (limited to 'compiler/driver/compiler_options.h')
0 files changed, 0 insertions, 0 deletions