fix for bug reported by Tobias Gutzmann, which arises in the following situation:
fix for bug reported by Tobias Gutzmann, which arises in the following situation:

abstract class BCDE { void foo() { } }
class BCD extends BCDE {
  void foo() { super.foo(); } // line 3
}

Note that, although the class BCDE is abstract, the concrete method foo() may still be called!

anddann/soot,xph906/SootNew,plast-lab/soot,mbenz89/soot,cfallin/soot,anddann/soot,cfallin/soot,xph906/SootNew,xph906/SootNew,cfallin/soot,plast-lab/soot,plast-lab/soot,cfallin/soot,anddann/soot,mbenz89/soot,xph906/SootNew,mbenz89/soot,anddann/soot,mbenz89/soot