framework/tests/all-systems/AssertWithSideEffect.java

/* This idiom was found in Daikon and forces us to handle assignments
 * in conditional mode, such as in the condition of an assert statement. */

public class AssertWithSideEffect {
  void CheckAssert() {
    boolean assert_enabled = false;
    assert (assert_enabled = true);
  }
}