A semiclassical singularity theorem