Commit Graph
59 Commits
Author SHA1 Message Date
Andrey Vlasovskikh 58f85ba28d Fixed 'isinstance' analysis for expressions that are resolved to tuples (PY-7573) 2013-09-18 19:53:04 +04:00
Andrey Vlasovskikh 83a912ad84 Added negative type assertions for 'else' and continue after 'if' then exit (PY-5084, PY-7694, PY-9118) 2013-04-22 17:56:52 +04:00
Andrey Vlasovskikh 451e92581d Fixed false positive in unbound vars inspection for assert False with argument (PY-7784) 2013-01-25 16:59:55 +04:00
Andrey Vlasovskikh 12d21d8ecf Fixed out-of-order for-loop body instruction in Python CFG 2012-05-17 17:57:44 +04:00
Andrey Vlasovskikh 4c1eec6846 Fixed false positive in unreachable code inspection for while-else loops (PY-6159) 2012-04-02 22:03:35 +04:00
Dmitry Jemerov 482d66ad8d visit type annotations in control flow builder 2012-01-16 18:44:54 +01:00
Dmitry Jemerov e57db64949 to make sure CFG for bad code is built correctly, visit raw targets of assignment 2012-01-16 18:39:20 +01:00
Dmitry Jemerov 85257c075a include reads of decorators in control flow graph 2012-01-16 18:21:30 +01:00
Dmitry Jemerov ef6c5862f7 include read of lambda default parameter value in control flow graph 2012-01-16 17:33:47 +01:00
Dmitry Jemerov 43b6357fa4 include read of function default parameter value in control flow graph 2012-01-16 17:23:59 +01:00
Dmitry Jemerov 60d7a4e5e9 include read of superclass expression in control flow graph 2012-01-16 17:11:01 +01:00
Andrey Vlasovskikh 783c421a55 Fixed loop-exit CFG edges in for-else loops (PY-4239) 2011-11-14 18:26:51 +04:00
Andrey Vlasovskikh 68d5c3a1f1 Don't count type assertion CFG vertices in DFA (PY-4609)
Also renamed WRITETYPE vertices to ASSERTTYPE for clarity.
2011-11-14 16:55:44 +04:00
Andrey Vlasovskikh a6b4168a55 Removed unused 'self' attributes access vertices from CFG and cleaned up unbound varirables inspection (PY-4623) 2011-11-14 16:17:12 +04:00
Andrey Vlasovskikh 2c8a328e78 Added support for not isinstance and not None type assertions (PY-2140) 2011-09-02 13:11:08 +04:00
Andrey Vlasovskikh 5c4c311642 Updated Python CFG builder tests related to try-finally statements 2011-07-18 16:29:23 +04:00
Andrey Vlasovskikh 1cf4b1d876 Separated success and failure control flow for finally clause if no except clauses found (PY-4102) 2011-07-08 22:44:50 +04:00
Andrey Vlasovskikh a5e38c84e0 Refactored Python try-except CFG builder 2011-07-08 22:44:49 +04:00
Dmitry Jemerov 4bec759ac9 let's not have Ruby code in Python control flow builder testdata 2011-07-01 16:16:53 +02:00
Andrey Vlasovskikh 5cd4809c1a Fixed bug in CFG for qualified imports (PY-3665) 2011-05-25 16:51:33 +04:00
Andrey Vlasovskikh 3a4a00b90c Special warnings for unresolved references in try-except ImportError (PY-3639) 2011-05-24 19:33:35 +04:00
Andrey Vlasovskikh d6ab1ad0b5 Lambda expressions became ScopeOwners and got their own CFG (PY-3532) 2011-05-16 18:47:24 +04:00
Andrey Vlasovskikh 24c1a13db0 Fixed bug in control flow ordering for named function arguments 2011-05-16 18:47:22 +04:00
Andrey Vlasovskikh 566d20977d Fixed control flow break edges for try-except-finally (PY-3503) 2011-05-13 20:50:25 +04:00
Andrey Vlasovskikh 99941e03ff Fixed bugs in control flow for Python list comprehensions (PY-2574) 2011-04-25 17:06:10 +04:00
Dmitry Trofimov 67bcf88cbd Revert "Revert "Merge branch 'master' of git.labs.intellij.net:idea/ultimate""
This reverts commit 3a2ad1f6c248ce02e860be14b796981de7ccfeee.
2011-02-04 17:17:18 +03:00
Dmitry Trofimov 819731653c Revert "Merge branch 'master' of git.labs.intellij.net:idea/ultimate"
This reverts commit 8c63477c4990c0667109c41ec0db1336ef689d68, reversing
changes made to 3478dde5d0c91ad1cce33478d005748849dcb85f.
2011-02-04 15:29:58 +03:00
Oleg Shpynov 915f1693f8 PY-2783 Assignment incorrectly highlighted as unused. Better fix 2011-02-02 18:35:42 +03:00
Oleg Shpynov 656e1c3085 PY-2783 Assignment incorrectly highlighted as unused 2011-02-02 18:35:39 +03:00
Oleg Shpynov 90acfce3c5 Tests for Den's change of control flow building (processing self.reference assignments as write access) 2010-10-01 15:27:48 +04:00
Oleg Shpynov 3ba7d3971c PY-1430 Recognize that 'assert False' breaks control flow 2010-07-27 14:45:25 +04:00
Oleg Shpynov 85b85b200c PY-1209 Unused local variable inspection doesn't handle name conflicts correctly 2010-07-14 17:35:28 +04:00
Oleg Shpynov 2dbae7c34b PY-1244 "Unreachable code" false positive with try/except/else/finally 2010-07-09 16:33:51 +04:00
Oleg Shpynov e476a0721d PY-1243 "Unreachable code" false positive with try/finally and raised exception 2010-07-09 16:07:36 +04:00
Oleg Shpynov b054fe7675 PY-1192 "Unused local variable" false positive with try/finally 2010-07-08 19:09:02 +04:00
Dmitry Jemerov b34b16f62f fix building control flow for assertions (PY-1138) 2010-06-24 18:49:20 +04:00
Dmitry Trofimov d06db6f654 added assert case for isinstance type flow (PY-845) 2010-06-15 15:12:43 +04:00
Dmitry Trofimov 5cb9e92111 -added isinstance type inderence(PY-1075)
-added correct completion to django model fields(PY-1076)
-fixed bugs in django fixture test cases
2010-06-11 18:12:19 +04:00
Oleg Shpynov 12be507873 PY-992 Cannot perform refactoring when execution flow is interrupted 2010-05-24 19:08:52 +04:00
Oleg Shpynov d565fdf47c PY-909 False positive of "Local variable referenced before assignment" after raise 2010-04-30 18:59:28 +04:00
Dmitry Jemerov fd46373bb2 handle qualified refs in control flow builder 2010-04-28 20:53:39 +04:00
Oleg Shpynov ffe03c7a10 PY-863 Incorrect error about value being referenced before assignment 2010-04-21 19:33:13 +04:00
Oleg Shpynov c45a1106e8 PY-793 Control flow builder should know about exit() function and consider it a dead end 2010-04-05 12:24:48 +04:00
Oleg Shpynov 0245d88759 Py CF improvements: handle except parts more accurately 2010-03-15 12:57:36 +03:00
Oleg Shpynov c304205623 Fixes in CF - unbound lv inspection false positives 2010-03-12 14:08:48 +03:00
Oleg Shpynov 93d0d01bde Fixes PSI 2010-03-11 18:54:38 +03:00
Oleg Shpynov 18ca5af5fd PY-625
Unused assignment: false positive
2010-03-03 12:11:27 +03:00
Oleg Shpynov d726d88695 PY-624
Unused assignment false positive
2010-03-02 19:34:18 +03:00
Oleg Shpynov 090e22d55f control flow test fix 2010-03-01 22:09:33 +03:00
Oleg Shpynov 9d66e6c7f5 PY-616
Unused assignment false positive
2010-03-01 20:19:16 +03:00