SPARK: Translate boundary cases of switch statements.

include/base/SMPDataFlowAnalysis.h

src/base/SMPBasicBlock.cpp

src/base/SMPFunction.cpp

src/base/SMPInstr.cpp

src/base/SMPProgram.cpp

src/interfaces/idapro/STARSIDAInstruction.cpp