Merge pull request github#14110 from hvitved/ruby/remove-emptiness-successor

Ruby: Get rid of unused `EmptinessSuccessor`

Author: hvitved

ruby/ql/lib/codeql/ruby/controlflow/ControlFlowGraph.qll

@@ -73,16 +73,14 @@ module SuccessorTypes {
   }
 
   /**
-   * A conditional control flow successor. Either a Boolean successor (`BooleanSuccessor`),
-   * an emptiness successor (`EmptinessSuccessor`), or a matching successor
-   * (`MatchingSuccessor`)
+   * A conditional control flow successor. Either a Boolean successor (`BooleanSuccessor`)
+   * or a matching successor (`MatchingSuccessor`)
    */
   class ConditionalSuccessor extends SuccessorType {
     boolean value;
 
     ConditionalSuccessor() {
       this = CfgImpl::TBooleanSuccessor(value) or
-      this = CfgImpl::TEmptinessSuccessor(value) or
       this = CfgImpl::TMatchingSuccessor(value)
     }
 
@@ -109,41 +107,6 @@ module SuccessorTypes {
    */
   class BooleanSuccessor extends ConditionalSuccessor, CfgImpl::TBooleanSuccessor { }
 
-  /**
-   * An emptiness control flow successor.
-   *
-   * For example, this program fragment:
-   *
-   * ```rb
-   * for arg in args do
-   *   puts arg
-   * end
-   * puts "done";
-   * ```
-   *
-   * has a control flow graph containing emptiness successors:
-   *
-   * ```
-   *           args
-   *            |
-   *          for------<-----
-   *           / \           \
-   *          /   \          |
-   *         /     \         |
-   *        /       \        |
-   *     empty    non-empty  |
-   *       |          \      |
-   *  puts "done"      \     |
-   *                  arg    |
-   *                    |    |
-   *                puts arg |
-   *                     \___/
-   * ```
-   */
-  class EmptinessSuccessor extends ConditionalSuccessor, CfgImpl::TEmptinessSuccessor {
-    override string toString() { if value = true then result = "empty" else result = "non-empty" }
-  }
-
   /**
    * A matching control flow successor.
    *

ruby/ql/lib/codeql/ruby/controlflow/internal/ControlFlowGraphImpl.qll

@@ -1513,7 +1513,6 @@ private module Cached {
   newtype TSuccessorType =
     TSuccessorSuccessor() or
     TBooleanSuccessor(boolean b) { b in [false, true] } or
-    TEmptinessSuccessor(boolean isEmpty) { isEmpty in [false, true] } or
     TMatchingSuccessor(boolean isMatch) { isMatch in [false, true] } or
     TReturnSuccessor() or
     TBreakSuccessor() or