Fixed in build #612. Thank you Michael!

Best regards,
Maxim Shafirov
JetBrains, Inc / IntelliJ Software
http://www.intellij.com
"Develop with pleasure!"


----- Original Message ----- 
From: <[EMAIL PROTECTED]>
To: <[EMAIL PROTECTED]>
Sent: Tuesday, March 12, 2002 3:30 PM
Subject: [Eap-list] 611 local code analysis - example for problem


> oops - in fact in this example IDEA would be right,
> but the code inspection result is the same 
> if you call methods that can throw exceptions before o = new Object()
> 
> IDEA stops saying "is always false" when o=null
> at the end of the try-block is removed. 
> 
> 
> ----
> This code reproduces the "is always false"-problem
> with the finally-block.
> because of o=null at the end of the try-block IDEA
> seems to think o is always null,
> while methods called before could throw exception.
> 
> private void test()
>    {
> Object o= null;
> try
> {
>    o = new Object();   
>                    o.wait();
>    o=null;
> }
>                 catch {}
> finally
> {
> if (o!=null)
> {
> 
> }
> }
> }
> 
> ________________________________________________________________
> Keine verlorenen Lotto-Quittungen, keine vergessenen Gewinne mehr! 
> Beim WEB.DE Lottoservice: http://tippen2.web.de/?x=13
> 
> 
> 
> _______________________________________________
> Eap-list mailing list
> [EMAIL PROTECTED]
> http://www.intellij.com/mailman/listinfo/eap-list


_______________________________________________
Eap-list mailing list
[EMAIL PROTECTED]
http://www.intellij.com/mailman/listinfo/eap-list

Reply via email to