Merge pull request #855 from MarcMil/fix-static

Fix backwards analyses for cases where the first statement is a method call

Author: StevenArzt

soot-infoflow/src/soot/jimple/infoflow/solver/fastSolver/IFDSSolver.java

@@ -744,13 +744,14 @@ public void runInternal() {
 			if (icfg.isCallStmt(target)) {
 				processCall(edge);
 			} else {
-				// note that some statements, such as "throw" may be
-				// both an exit statement and a "normal" statement
-				if (icfg.isExitStmt(target))
-					processExit(edge);
 				if (!icfg.getSuccsOf(target).isEmpty())
 					processNormalFlow(edge);
 			}
+			// note that some statements, such as "throw" may be
+			// both an exit statement and a "normal" statement
+			// A call statement can be an exit statement when going backwards!
+			if (icfg.isExitStmt(target))
+				processExit(edge);
 		}
 
 		@Override