* Fixed bug for source analysis Do while in case statement would throw an NPE. Now it doesn't * Added test case The test will fail with an NPE if the fix is not applied.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3170 f5eafffb-2e1d-0410-98e4-8ec43c5233c4