 peter
|
0200babeca
|
DfaMemoryState is unfortunately mutable; use defensive copying
|
2013-09-14 23:53:54 +04:00 |
|
|
peter
|
9408a08fd9
|
fix file case
|
2013-09-13 18:20:15 +04:00 |
|
|
peter
|
762a0ca1d0
|
empty for loop condition means "true" (IDEA-113242)
|
2013-09-06 18:33:24 +02:00 |
|
|
peter
|
6b3d77c6b3
|
IDEA-112968 Show "Value is always" warning only for null/true/false
|
2013-09-06 17:31:32 +02:00 |
|
|
peter
|
559ab965eb
|
no matter if there are other variables having that constant value, it's still constant
|
2013-09-05 16:27:41 +02:00 |
|
|
peter
|
257d23aeb4
|
IDEA-112474 Expression might evaluate to null and not @Nullable annotated inspection is not aware of @Contract
|
2013-09-04 18:40:23 +02:00 |
|
|
peter
|
9c9e366bce
|
dfa: pop all the contract-unchecked arguments from stack (IDEA-112500)
|
2013-09-04 18:40:23 +02:00 |
|
|
peter
|
78ecf28ff5
|
IDEA-112358 'Constant Conditions' does not understand non-short-circuit 'or'
|
2013-08-21 19:08:48 +02:00 |
|
|
peter
|
012d1147d4
|
dfa inspection CCE analyzer should check erasures only
|
2013-08-05 16:39:28 +02:00 |
|
|
peter
|
e8ee43cdee
|
disable constant value warnings in complex assignments (IDEA-111478)
|
2013-08-05 13:44:51 +02:00 |
|
|
peter
|
ee51eccbf3
|
dfa should box primitive values coerced into Object (IDEA-111445)
|
2013-08-02 15:55:03 +02:00 |
|
|
peter
|
9329331182
|
IDEA-104754 Good code yellow: Unboxing
|
2013-07-31 17:49:44 +02:00 |
|
|
peter
|
96d78ee5e8
|
dfa: suggest to replace variable with int constant (IDEA-111178)
|
2013-07-29 19:51:56 +02:00 |
|
|
peter
|
fd800a7537
|
add @Contract annotation (IDEA-93372)
|
2013-07-23 12:04:54 +02:00 |
|
|
peter
|
7226ea7d0c
|
no non-physical elements in dfa inspection
|
2013-07-16 09:48:49 +02:00 |
|
|
peter
|
4774b1e0e2
|
suggest to replace with constant reference rather than its value
|
2013-07-15 16:42:36 +02:00 |
|
|
peter
|
f982bfccb5
|
"replace with constant value" works with string and enum constants (EA-47692)
|
2013-07-15 15:20:36 +02:00 |
|
|
peter
|
18b1df7dbb
|
IDEA-110398 Catch NullPointerException is "not null" while throwing null is false
|
2013-07-12 14:28:46 +02:00 |
|
|
peter
|
e5c829c66b
|
IDEA-69573 ConstantConditions - Warn when reading a variable that is guaranteed to be null
|
2013-07-09 16:12:33 +02:00 |
|
|
peter
|
97e82d7a5d
|
IDEA-109222 Nullity is not inferred correctly.
|
2013-07-04 19:55:10 +02:00 |
|
|
peter
|
9d1f0d801e
|
IDEA-107071 Incorrect "Condition '...' is always 'false'" inspection result
|
2013-06-24 18:24:31 +02:00 |
|
|
peter
|
a467d40a35
|
IDEA-108814 Assertion is considered active code by code inspections, yields bogus inspections
|
2013-06-18 18:57:17 +02:00 |
|
|
peter
|
1d19b2d96f
|
IDEA-106884 Detect that string concatenation produces not-null result
|
2013-05-22 18:09:00 +02:00 |
|
|
peter
|
ca9680c16c
|
IDEA-107195 Methods returning primitive types should be treated as @Nonnull
|
2013-05-22 18:08:59 +02:00 |
|
|
peter
|
2cda0cd109
|
dfa: avoid false positives when method calls change state (IDEA-107604)
|
2013-05-22 18:08:59 +02:00 |
|
|
peter
|
98ffff43d6
|
IDEA-103146 Java: Invalid "Condition is always true" warning for nested functions
|
2013-03-26 18:48:30 +01:00 |
|
|
peter
|
b982e93034
|
IDEA-103389 "Constant conditions and exceptions" inspection false positive
|
2013-03-26 18:48:29 +01:00 |
|
 Roman Shevchenko
|
2ab88505d2
|
Annotation applicability highlighting reworked
|
2013-03-13 10:23:19 +01:00 |
|
|
peter
|
6642046fb5
|
dfa analysis should be aware that super calls may change fields (IDEA-102126)
|
2013-02-28 18:02:06 +01:00 |
|
|
peter
|
fa92c26eae
|
Merge branch 'master' into customDfaAssert
|
2013-02-27 15:50:04 +01:00 |
|
|
peter
|
a70d203871
|
[Johnny Clark] make condition checkers psi-independent, minor fixes (IDEA-35808)
|
2013-02-27 15:49:50 +01:00 |
|
|
peter
|
913554f408
|
IDEA-101689 incorrect control-flow analisys
|
2013-02-22 19:33:38 +01:00 |
|
|
peter
|
0e12be8b66
|
[Johnny Clasrk] IsNull IsNotNull True False Checks and Assertions (IDEA-35808)
|
2013-02-21 11:17:53 +01:00 |
|
|
peter
|
aa671e4c3f
|
let method calls on other instances not affect our fields (IDEA-92380)
|
2013-02-03 22:42:57 +01:00 |
|
|
peter
|
b418e60060
|
a consistent dfa treatment for plain fields assuming single-threaded context (IDEA-92380)
|
2013-02-03 22:42:56 +01:00 |
|
 Anna Kozlova
|
76fd58b48c
|
dataflow: do not treat fields with qualified this as effectively unqualified (IDEA-99722)
|
2013-01-25 16:11:35 +04:00 |
|
|
peter
|
065f0bc7f8
|
IDEA-97977 Constant conditions & exceptions: instance check on Throwable are wrong
|
2013-01-14 19:07:42 +01:00 |
|
|
peter
|
5aebb2e977
|
light DataFlowInspectionFixtureTest
|
2013-01-14 19:07:41 +01:00 |
|
|
Roman Shevchenko
|
54c399949e
|
Include resource closer exceptions in control flow
|
2012-12-27 22:04:36 +01:00 |
|
|
Roman Shevchenko
|
64282ae9dc
|
IDEA-94910 (test case prepared)
|
2012-11-23 21:28:46 +01:00 |
|
|
peter
|
d40b7a6c04
|
remove that jsp test
|
2012-11-02 14:12:00 +01:00 |
|
|
peter
|
79a7af7d6f
|
uncomment and fix one dfa test
|
2012-10-11 20:21:49 +02:00 |
|
|
Roman Shevchenko
|
b13e8b0d7a
|
Move try-with-resources data flow test to right place
|
2012-10-10 13:03:57 +02:00 |
|
|
Roman Shevchenko
|
4dd466fde6
|
Cleanup
|
2012-10-10 13:03:57 +02:00 |
|
|
anna
|
7678df1cbb
|
IDEA-87652
|
2012-07-05 16:13:20 +02:00 |
|
|
peter
|
8a6f6f7a9d
|
synchronized block start should really flush fields
|
2012-04-18 12:07:42 +02:00 |
|
 Maxim Shafirov
|
56723c4b17
|
IDEA-78370
|
2011-12-09 19:59:46 +04:00 |
|
|
Maxim Shafirov
|
977679a62d
|
[r=peter] dfa regression. Even finals must be flashed when they leave their declaration scope
|
2011-12-02 13:50:40 +04:00 |
|
|
Maxim Shafirov
|
220f762068
|
[r=cdr] IDEA-77819∏
|
2011-11-29 17:06:49 +04:00 |
|
|
Maxim Shafirov
|
57a78b6fab
|
IDEA-74518: Associations for variable negation haven't been cleared on flush.
|
2011-11-25 21:11:25 +04:00 |
|