• Andreas Zwinkau's avatar
    jumpthreading must not split edges · 2dc83299
    Andreas Zwinkau authored
    * the splitted edge is never critical, so the name was misleading
    * it might result in an infinite loop
      fixes opt/jumpthreading5 and opt/jumpthreading5b
    2dc83299