File tree Expand file tree Collapse file tree
javascript/ql/src/semmle/javascript/dataflow/internal Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -26,8 +26,8 @@ abstract class TypeTrackingPseudoProperty extends string {
2626 TypeTrackingPseudoProperty ( ) { any ( ) }
2727
2828 /**
29- * Gets a property name that `this` can be copied to in a `LoadStoreStep(this, result)`.
30- */
29+ * Gets a property name that `this` can be copied to in a `LoadStoreStep(this, result)`.
30+ */
3131 string getLoadStoreToProp ( ) { none ( ) }
3232}
3333
@@ -41,10 +41,9 @@ newtype TStepSummary =
4141 StoreStep ( PropertyName prop ) or
4242 LoadStep ( PropertyName prop ) or
4343 LoadStoreStep ( PropertyName fromProp , PropertyName toProp ) {
44- fromProp = toProp or
45- exists ( TypeTrackingPseudoProperty prop |
46- fromProp = prop and toProp = prop .getLoadStoreToProp ( )
47- )
44+ fromProp = toProp
45+ or
46+ exists ( TypeTrackingPseudoProperty prop | fromProp = prop and toProp = prop .getLoadStoreToProp ( ) )
4847 }
4948
5049/**
You can’t perform that action at this time.
0 commit comments