Cleanup -assumenosideeffects rules which also assume values
The AppReduce team wants to simplify the implementation of -assumenosideeffects by removing the ability to also have the rule also work like an -assumevalues rule. This transforms existing rules into an -assumenosideeffects/-assumevalues pair. For example:
-assumenosideeffects class Foo { boolean foo() return false; }
will be transformed into:
-assumenosideeffects class Foo { boolean foo(); }
-assumevalues class Foo { boolean foo() return false; }
Tested:
TAP sample presubmit queue
http://test/OCL:249732401:BASE:249740180:1558654982282:a5b95487
PiperOrigin-RevId: 250415146
Change-Id: Ib0b6f2e1c91eac53bba8b49a826fa4d013287192
1 file changed
