 Anna Kozlova
|
e4a77b6a34
|
check suspicious ConcurrentHashMap.contains (IDEA-124698)
|
2014-05-05 17:12:11 +04:00 |
|
 peter
|
78dafa03c5
|
dfa: just don't assume initialized final fields are notnull, it doesn't help, but hurts and slows things down (IDEA-124323)
|
2014-04-24 17:56:38 +02:00 |
|
|
peter
|
0bd06e5e39
|
More on comparison that is always false due to being out of type range on implicit type conversion (IDEA-124210)
|
2014-04-22 14:34:31 +02:00 |
|
|
peter
|
3af306c66e
|
IDEA-55556 Inspection suggestion: Comparison that is always false due to being out of type range on implicit type conversion
|
2014-04-18 22:37:32 +02:00 |
|
|
peter
|
29fec2258a
|
IDEA-123948 Constant condition and exceptions: false positive on MappedByteBuffer.getInt
|
2014-04-18 22:37:31 +02:00 |
|
|
peter
|
019a68bcc8
|
IDEA-123289 Infer nullability of 'for each' variable from type annotations of the collection parameter
|
2014-04-18 22:37:31 +02:00 |
|
|
Anna Kozlova
|
f20f1bb8cf
|
redundant cast: nested casts with outer primitive (IDEA-119857)
|
2014-04-14 18:51:29 +02:00 |
|
|
peter
|
b5df84e66b
|
IDEA-123850 incorrect "Condition is always false" warning in GemRequirementsChangeWatcher.updateAndAttach()
|
2014-04-12 16:38:17 +02:00 |
|
|
peter
|
7ddbfd5eed
|
dfa: don't suggest to replace reference qualifiers with null
|
2014-04-09 12:56:20 +02:00 |
|
|
peter
|
3a0093d463
|
fix AIOOBE in dfa contract processing
|
2014-04-03 13:10:54 +02:00 |
|
|
peter
|
6b91f55eb7
|
IDEA-122414 Boolean expression simplification changes behavior of the code
|
2014-03-28 19:30:28 +01:00 |
|
|
peter
|
6d2412b599
|
dfa: a variable can't be null after dereference (IDEA-122215)
|
2014-03-28 19:12:00 +01:00 |
|
|
peter
|
87a2944e37
|
IDEA-122624 @Contract fails on vararg methods
|
2014-03-28 19:12:00 +01:00 |
|
|
peter
|
3627c465e4
|
dfa: treat different constants with same values as same (IDEA-121837)
|
2014-03-07 19:41:30 +01:00 |
|
|
peter
|
ba09765e0a
|
missing test data
|
2014-03-05 22:30:11 +01:00 |
|
|
peter
|
76591fdeca
|
dfa: comparison with other variables shouldn't affect a variable's nullability status
|
2014-03-05 22:19:28 +01:00 |
|
|
peter
|
6166a0e4fb
|
don't flush fields for pure method and getter calls (IDEA-117449)
|
2014-03-05 22:19:28 +01:00 |
|
 Alexey Kudravtsev
|
c7b78f76a2
|
IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface
|
2014-02-18 13:55:52 +04:00 |
|
|
peter
|
581d2b73aa
|
IDEA-120586 @ParametersAreNonnullByDefault support broken
|
2014-02-11 15:31:13 +01:00 |
|
|
peter
|
750013c064
|
parameter nullity annotation should have higher-priority than package-level ones
|
2014-02-10 18:34:10 +01:00 |
|
|
peter
|
4757fc901f
|
fixture-based NullableStuffInspectionTest
|
2014-02-10 18:34:10 +01:00 |
|
|
Alexey Kudravtsev
|
ce5e01266b
|
IDEA-119617
|
2014-01-23 14:13:27 +04:00 |
|
|
peter
|
404f4e3fca
|
IDEA-119663 false positive Constant conditions & exceptions: "Argument ... might be null"
|
2014-01-23 09:53:53 +01:00 |
|
|
peter
|
9ffaba9293
|
IDEA-65566 Allow 'NotNull' as the default element behavior for a given class or package
|
2014-01-17 17:25:13 +01:00 |
|
|
peter
|
0c0e8867b1
|
dfa: don't walk equals() method argument twice (IDEA-118971)
|
2014-01-08 18:13:25 +01:00 |
|
|
peter
|
1dd46651c9
|
dfa: don't grow stack infinitely on &= (IDEA-118522)
|
2013-12-22 10:39:55 +01:00 |
|
|
Anna Kozlova
|
fb53d06dfd
|
can be final: ensure non final for base of anonymous class (IDEA-118493)
|
2013-12-20 16:53:03 +04:00 |
|
|
peter
|
57cf9cefb6
|
control flow: visit assignment lValue only once (EA-51083 - ESE: Stack.pop)
|
2013-12-18 17:25:49 +01:00 |
|
|
peter
|
746901e8c5
|
IDEA-116947 Unqualified call NPE false positive with contracts
|
2013-12-18 17:25:49 +01:00 |
|
|
peter
|
d255c5b10c
|
dfa: make state merging result predictable
when removing a!=b and a!=c && b==c, don't restore a!=c
|
2013-12-18 14:42:54 +01:00 |
|
|
peter
|
ec8b2435cb
|
IDEA-117297 @Contract doesn't play nice with @NotNull/@Nullable
|
2013-12-18 10:42:49 +01:00 |
|
|
peter
|
8bca4a68df
|
dfa: combine merge by equality and type into a generic relation-based merge
this improves dfa performance
and fixes cases when a single global != relation would prevent states from merging
|
2013-12-18 10:42:48 +01:00 |
|
|
Anna Kozlova
|
7ca0d0b0d5
|
redundant cast: ensure that temp variable would have unique name (IDEA-118197)
|
2013-12-16 17:00:39 +04:00 |
|
|
peter
|
cef372d03c
|
IDEA-116944 Constant Conditions & Exceptions doesn't report if statements with literal true/false condition
|
2013-12-15 20:04:52 +01:00 |
|
|
peter
|
3880c45980
|
IDEA-118082 "Constant conditions & exceptions" warning expected inside local class
|
2013-12-12 22:43:10 +01:00 |
|
|
Anna Kozlova
|
aa007bbd6d
|
treat enum constructors as private (IDEA-118133)
|
2013-12-12 17:24:49 +04:00 |
|
|
Anna Kozlova
|
76d90f0a4a
|
redundant type args: process nested calls (IDEA-117945)
|
2013-12-11 16:39:51 +04:00 |
|
|
anna
|
83b6571952
|
check lambda return values during constant&conditions (IDEA-117420)
|
2013-12-03 15:30:19 +01:00 |
|
|
anna
|
c9359cf149
|
IDEA-116732 Field can be converted to a local variable
|
2013-12-02 18:58:53 +01:00 |
|
|
anna
|
16baacc368
|
NPE on invalid expressions
|
2013-11-29 12:09:07 +01:00 |
|
 Bas Leijdekkers
|
49639e870b
|
IDEA-116508 ("Local variable or parameter can be final" inspection use generates uncompilable code not extracting a really finalizable variable)
|
2013-11-22 15:25:56 +01:00 |
|
|
peter
|
a54334794b
|
IDEA-115330 Incorrect "condition is always false"
|
2013-11-09 18:19:09 +01:00 |
|
|
peter
|
f92ce9af06
|
add "pure" attribute to @Contract (IDEA-107864)
|
2013-11-02 20:41:17 +01:00 |
|
|
Bas Leijdekkers
|
e62f352ab9
|
IDEA-115468 (for loop variables, catch block parameters and resource variables not reported by "local variable or parameter can be final" inspection)
|
2013-10-28 16:44:04 +01:00 |
|
|
Bas Leijdekkers
|
2a1ebb5187
|
IDEA-115516 (Multiple warnings local foreach parameter can be final)
|
2013-10-28 15:17:57 +01:00 |
|
|
Bas Leijdekkers
|
a0a5570958
|
IDEA-115452 ("Local variable or parameter can be final" -- "Report local variables" setting doesn't work)
|
2013-10-26 21:57:24 +02:00 |
|
|
anna
|
db6463333f
|
nullable stuff: leave buggy assignment to be warned by dfa (IDEA-100172)
|
2013-10-24 15:37:07 +02:00 |
|
|
anna
|
551579c6ef
|
use configured @Nullable in inspection descriptions (IDEA-114884)
|
2013-10-22 10:59:28 +02:00 |
|
|
peter
|
d7e675616d
|
don't throw exceptions on contracts with several clauses
|
2013-10-18 17:39:13 +02:00 |
|
|
Bas Leijdekkers
|
0050935f61
|
Report @SafeVarargs and System.lineSeparator() usages
|
2013-10-18 12:50:56 +02:00 |
|