Drupal cleanup old modules when missing from file system

gistfile1.txt

/**
 * Delete {system} records for long-lost modules.
 */
function HOOK_update_7100() {
  $modules = array(
    'module1',
    'module2',
    'module3',
  );
  db_delete('system')
    ->condition('name', $modules, 'IN')
    ->condition('type', 'module')
    ->execute();
}