The JumpTable object is freed, and the associated BRANCHIND is no longer marked as a \e switch point. \param jt is the given JumpTable object
source not stored for this graph (policy: none)
no test coverage detected