com.google.common.base.VerifyException: Cannot find a push that affects this pull. This would introduce an assume(false): $r1_x_02, $r1_$dynamicType_5783 := pull(SatRuntimeException, $r1)

GitHub | martinschaef | 3 months ago
  1. 0

    GitHub comment 61#247080664

    GitHub | 3 months ago | martinschaef
    com.google.common.base.VerifyException: Cannot find a push that affects this pull. This would introduce an assume(false): $r1_x_02, $r1_$dynamicType_5783 := pull(SatRuntimeException, $r1)

    Root Cause Analysis

    1. com.google.common.base.VerifyException

      Cannot find a push that affects this pull. This would introduce an assume(false): $r1_x_02, $r1_$dynamicType_5783 := pull(SatRuntimeException, $r1)

      at com.google.common.base.Verify.verify()
    2. Guava
      Verify.verify
      1. com.google.common.base.Verify.verify(Verify.java:123)
      1 frame
    3. soottocfg.cfg.util
      InterProceduralPullPushOrdering.getPushsInfluencing
      1. soottocfg.cfg.util.InterProceduralPullPushOrdering.getFPOsInfluencing(InterProceduralPullPushOrdering.java:180)
      2. soottocfg.cfg.util.InterProceduralPullPushOrdering.getPushsInfluencing(InterProceduralPullPushOrdering.java:135)
      2 frames