Michael, in the your sample o != null is really always true. If not you'll get java.lang.NullPointerException in the previous line. So if (o != null) will never get control if o is null.
Best regards, Maxim Shafirov IntelliJ Software, http://www.intellij.com/ "Develop with pleasure!" ----- Original Message ----- From: <[EMAIL PROTECTED]> To: <[EMAIL PROTECTED]> Sent: Tuesday, March 12, 2002 3:00 PM Subject: [Eap-list] 611 local code analysis Bug > JDK1.3.1, NT4, build 611 > > when running local code analysis I get various results > where the code checks against null, and IDEA says > "is always true" or "is always false" - which is not the case. > > sometimes, if the (xyz!=null) is in a finally-block, > and sometimes, it seems, if a method parameter is accessed > before the check against null, reproducable with this code: > > private void getRemaining(Object o) > { > o.getClass(); > 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
