diff options
| author | Kristen Kozak <sebright@google.com> | 2018-04-04 13:50:40 -0700 |
|---|---|---|
| committer | Kristen Kozak <sebright@google.com> | 2018-04-04 13:50:40 -0700 |
| commit | d45a961757ee6310e38aca7017697a838f6a5daa (patch) | |
| tree | 29976fb89115110d1b6965401eb6b3ed7906cd38 /build.gradle | |
| parent | 7188a0d48395aef6fd7d06def05d947870169612 (diff) | |
| download | platform_external_opencensus-java-d45a961757ee6310e38aca7017697a838f6a5daa.tar.gz platform_external_opencensus-java-d45a961757ee6310e38aca7017697a838f6a5daa.tar.bz2 platform_external_opencensus-java-d45a961757ee6310e38aca7017697a838f6a5daa.zip | |
Make the Checker Framework treat array subtyping as invariant.
See https://checkerframework.org/manual/#invariant-arrays. The build already
passes with this flag, so I think it is better to enable it and make the
handling of arrays more sound.
Diffstat (limited to 'build.gradle')
| -rw-r--r-- | build.gradle | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/build.gradle b/build.gradle index f510f6ac..6599d69b 100644 --- a/build.gradle +++ b/build.gradle @@ -389,7 +389,8 @@ subprojects { compile.options.compilerArgs += [ '-Xmaxerrs', '10000', "-Xbootclasspath/p:${configurations.checkerFrameworkAnnotatedJDK.asPath}", - "-AskipDefs=\\.AutoValue_" + "-AskipDefs=\\.AutoValue_", + "-AinvariantArrays" ] options.fork = true options.forkOptions.jvmArgs += ["-Xbootclasspath/p:${configurations.checkerFrameworkJavac.asPath}"] |