checker/tests/regex/LubRegex.java

import org.checkerframework.checker.regex.qual.Regex;

public class LubRegex {

  void test1(@Regex(4) String s4, boolean b) {
    String s = null;
    if (b) {
      s = s4;
    }
    @Regex(4) String test = s;

    // :: error: (assignment)
    @Regex(5) String test2 = s;
  }

  void test2(@Regex(2) String s2, @Regex(4) String s4, boolean b) {
    String s = s4;
    if (b) {
      s = s2;
    }
    @Regex(2) String test = s;

    // :: error: (assignment)
    @Regex(3) String test2 = s;
  }

  void test3(@Regex(6) String s6, boolean b) {
    String s;
    if (b) {
      s = s6;
    } else {
      s = null;
    }
    @Regex(6) String test = s;

    // :: error: (assignment)
    @Regex(7) String test2 = s;
  }

  void test4(@Regex(8) String s8, @Regex(9) String s9, boolean b) {
    String s;
    if (b) {
      s = s8;
    } else {
      s = s9;
    }
    @Regex(8) String test = s;

    // :: error: (assignment)
    @Regex(9) String test2 = s;
  }

  void test5(@Regex(10) String s10, @Regex(11) String s11, boolean b) {
    String s;
    if (b) {
      s = s11;
    } else {
      s = s10;
      return;
    }
    @Regex(11) String test = s;

    // :: error: (assignment)
    @Regex(12) String test2 = s;
  }
}