@@ -268,7 +268,9 @@ abstract class Configuration extends string {
268268 *
269269 * Holds if the property `loadProp` should be copied from the object `pred` to the property `storeProp` of object `succ`.
270270 */
271- predicate isAdditionalLoadStoreStep ( DataFlow:: Node pred , DataFlow:: Node succ , string loadProp , string storeProp ) {
271+ predicate isAdditionalLoadStoreStep (
272+ DataFlow:: Node pred , DataFlow:: Node succ , string loadProp , string storeProp
273+ ) {
272274 none ( )
273275 }
274276}
@@ -564,7 +566,9 @@ abstract class AdditionalFlowStep extends DataFlow::Node {
564566 * Holds if the property `loadProp` should be copied from the object `pred` to the property `storeProp` of object `succ`.
565567 */
566568 cached
567- predicate loadStoreStep ( DataFlow:: Node pred , DataFlow:: Node succ , string loadProp , string storeProp ) {
569+ predicate loadStoreStep (
570+ DataFlow:: Node pred , DataFlow:: Node succ , string loadProp , string storeProp
571+ ) {
568572 loadProp = storeProp and
569573 loadStoreStep ( pred , succ , loadProp )
570574 }
@@ -930,7 +934,8 @@ private predicate isAdditionalStoreStep(
930934 * Holds if the property `loadProp` should be copied from the object `pred` to the property `storeProp` of object `succ`.
931935 */
932936private predicate isAdditionalLoadStoreStep (
933- DataFlow:: Node pred , DataFlow:: Node succ , string loadProp , string storeProp , DataFlow:: Configuration cfg
937+ DataFlow:: Node pred , DataFlow:: Node succ , string loadProp , string storeProp ,
938+ DataFlow:: Configuration cfg
934939) {
935940 any ( AdditionalFlowStep s ) .loadStoreStep ( pred , succ , loadProp , storeProp )
936941 or
0 commit comments