diff options
| author | 2013-06-10 15:09:26 -0700 | |
|---|---|---|
| committer | 2013-06-10 15:09:26 -0700 | |
| commit | 04f94f4f02093fa0fc58007fd5f4ef4c58f8270a (patch) | |
| tree | 2f42e40ccb002fbdce22c1d2d64e1f666ba09649 /src/compiler/llvm/compiler_llvm.h | |
| parent | 0dc9d342bed34c3f1ce5268ff7a6e27cdb9490d9 (diff) | |
Don't always mark array types as precise.
Array types are always final, as they cannot be sub-classed, they may be
assigned by types that aren't themselves, e.g. Object[] may be assigned a
String[]. Introduce CannotBeAssignedFromOtherTypes to capture this property
and use in the verifier instead of IsFinal to mark things as precise.
Change-Id: I34debd3164ca1b876be94b6722457cee6e1e9bd3
Diffstat (limited to 'src/compiler/llvm/compiler_llvm.h')
0 files changed, 0 insertions, 0 deletions