10 Commits

Author SHA1 Message Date
Tagir Valeev
191e65634e [java-analysis] ProjectBytecodeAnalysis: do not rewrite null->x contract with _->x if notnull parameter was inferred
Fixes IDEA-354381 Unreachable code inspection fails when using Streamable.of()
Unfortunately, the test does not differentiate the bug. I failed to write a good test in a reasonable amount of time. Nevertheless, the original issue is fixed.

GitOrigin-RevId: 55b0f169c93d1cef9453c3eb88959ea4832a917a
2024-06-18 12:26:39 +00:00
Nikolay Chashnikov
91d3e0a72b cleanup: remove redundant '@author' tags from javadoc comments - 26
Now we have Code Vision hints which determine the author via Git history and show it in the editor automatically, and this information is more accurate than the tags which were automatically added when files were created.

GitOrigin-RevId: 535941a4b79bc36c173a27f3e505b43ffc85edc1
2023-01-18 17:02:50 +00:00
Tagir Valeev
231c892de2 [java-analysis] Test for IDEA-266180
GitOrigin-RevId: bf9e92df66a2b0abf56230cefa04887abc847b22
2021-04-23 08:39:03 +03:00
Tagir Valeev
5a04ca5310 [java-inference] Failure contract: better null->fail inference (IDEA-230802)
GitOrigin-RevId: 778b9be125871e9002c719fb50f205a202439b2f
2021-03-11 11:27:57 +00:00
Tagir Valeev
b4c69a9cec [java-inference] Failure contract inference improved
GitOrigin-RevId: 687b4c909c1d2ae67d519ec71899d52fa3e29434
2021-03-11 11:27:56 +00:00
Tagir Valeev
d17aa59d6d IDEA-237601 Infer mutation signature from the bytecode
GitOrigin-RevId: d3c47f6a35f948f65f5d447d8561044d7ec9ce23
2020-04-14 12:31:00 +00:00
Tagir Valeev
097416297a Duplicate class files removed
GitOrigin-RevId: 7fa735dd7eaefadc358d6c6876f71d5fa2d14e2e
2020-04-14 12:31:00 +00:00
Tagir Valeev
6ed3465b66 BytecodeAnalysisIndex: use faster hashes; encode key in 12 bytes instead of 14
Bytes per class in integration test reduced from 2083 to 1900

GitOrigin-RevId: 1c0e84b6c70869283e9db48b718e44e78dc3c554
2019-11-07 02:40:58 +00:00
Tagir Valeev
79cc904ff9 BytecodeAnalysis: infer @NotNull for static final fields (for now: non-branching clinit only)
Fixes IDEA-223861 Infer static field nullability from the bytecode

GitOrigin-RevId: 2ee3102df5677e567defbe849900769237a728bc
2019-10-02 10:07:03 +00:00
Roman Shevchenko
e0589b585f [tests] migrates bytecode analysis tests to light test case
... and moves test data out of source code
2018-09-14 14:45:43 +02:00