search for: getfallthough

...analyze branch there doesn't appear to be anyway to signify that a branch is not a simple conditional or a simple indirect but rather a combination of the two -- it conditionally branches indirect or falls through. Is there a way to express this with analyzeBranch? Can I override the method getFallThough? Is there a way to annotate a basic block to indicate in can fall through? It would seem this would save a lot of calls to analyzeBranck. Any other ideas? Thanks, Brian