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 | 8 months ago
tip
Click on the to mark the solution that helps you, Samebug will learn from it.
As a community member, you’ll be rewarded for you help.
  1. 0

    GitHub comment 61#247080664

    GitHub | 8 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)

  1. arturgajowy 1 times, last 1 month ago

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