diff options
| author | 2019-09-06 18:26:39 +0100 | |
|---|---|---|
| committer | 2019-09-16 18:00:11 +0000 | |
| commit | 5012df2a3f16d62845182f225c92157e9bb64a27 (patch) | |
| tree | e7972617a05109993bde1ac4ada0fae48b53bdc8 /compiler/optimizing/optimizing_compiler.h | |
| parent | a49b04f66e15a8f75fec831a01180625daa2c556 (diff) | |
Do not initialize VeriClass java objects unless precise mode is enabled.
This allows running veridex in inprecise mode where --core-stubs do not have java.lang.* classes to resolve.
Test: manual
Change-Id: I8d9eb49c22437c9f4da0101777391658f18e9b8c
Diffstat (limited to 'compiler/optimizing/optimizing_compiler.h')
0 files changed, 0 insertions, 0 deletions