Switch statement case missing

import cpp

from EnumSwitch es, EnumConstant ec
where
  ec = es.getAMissingCase() and
  not es.hasDefaultCase()
select es, ec

Description

Finds switch statements with a missing enum constant case and no default case