Skip to content

Commit 5aa9c2b

Browse files
aschackmullaschackmull
committed
Dataflow: One more pragma.
1 parent 674886a commit 5aa9c2b

File tree

23 files changed

+69
-69
lines changed

23 files changed

+69
-69
lines changed

‎cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -850,7 +850,7 @@ private module Stage2 {
850850
ap = getApNil(node)
851851
or
852852
exists(Node mid, Ap ap0, LocalCc localCc |
853-
fwdFlow(mid, cc, argAp, ap0, config) and
853+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
854854
localCc = getLocalCc(mid, cc, config)
855855
|
856856
localStep(mid, node, true, _, config, localCc) and
@@ -1489,7 +1489,7 @@ private module Stage3 {
14891489
ap = getApNil(node)
14901490
or
14911491
exists(Node mid, Ap ap0, LocalCc localCc |
1492-
fwdFlow(mid, cc, argAp, ap0, config) and
1492+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
14931493
localCc = getLocalCc(mid, cc, config)
14941494
|
14951495
localStep(mid, node, true, _, config, localCc) and
@@ -2206,7 +2206,7 @@ private module Stage4 {
22062206
ap = getApNil(node)
22072207
or
22082208
exists(Node mid, Ap ap0, LocalCc localCc |
2209-
fwdFlow(mid, cc, argAp, ap0, config) and
2209+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
22102210
localCc = getLocalCc(mid, cc, config)
22112211
|
22122212
localStep(mid, node, true, _, config, localCc) and

‎cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -850,7 +850,7 @@ private module Stage2 {
850850
ap = getApNil(node)
851851
or
852852
exists(Node mid, Ap ap0, LocalCc localCc |
853-
fwdFlow(mid, cc, argAp, ap0, config) and
853+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
854854
localCc = getLocalCc(mid, cc, config)
855855
|
856856
localStep(mid, node, true, _, config, localCc) and
@@ -1489,7 +1489,7 @@ private module Stage3 {
14891489
ap = getApNil(node)
14901490
or
14911491
exists(Node mid, Ap ap0, LocalCc localCc |
1492-
fwdFlow(mid, cc, argAp, ap0, config) and
1492+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
14931493
localCc = getLocalCc(mid, cc, config)
14941494
|
14951495
localStep(mid, node, true, _, config, localCc) and
@@ -2206,7 +2206,7 @@ private module Stage4 {
22062206
ap = getApNil(node)
22072207
or
22082208
exists(Node mid, Ap ap0, LocalCc localCc |
2209-
fwdFlow(mid, cc, argAp, ap0, config) and
2209+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
22102210
localCc = getLocalCc(mid, cc, config)
22112211
|
22122212
localStep(mid, node, true, _, config, localCc) and

‎cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -850,7 +850,7 @@ private module Stage2 {
850850
ap = getApNil(node)
851851
or
852852
exists(Node mid, Ap ap0, LocalCc localCc |
853-
fwdFlow(mid, cc, argAp, ap0, config) and
853+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
854854
localCc = getLocalCc(mid, cc, config)
855855
|
856856
localStep(mid, node, true, _, config, localCc) and
@@ -1489,7 +1489,7 @@ private module Stage3 {
14891489
ap = getApNil(node)
14901490
or
14911491
exists(Node mid, Ap ap0, LocalCc localCc |
1492-
fwdFlow(mid, cc, argAp, ap0, config) and
1492+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
14931493
localCc = getLocalCc(mid, cc, config)
14941494
|
14951495
localStep(mid, node, true, _, config, localCc) and
@@ -2206,7 +2206,7 @@ private module Stage4 {
22062206
ap = getApNil(node)
22072207
or
22082208
exists(Node mid, Ap ap0, LocalCc localCc |
2209-
fwdFlow(mid, cc, argAp, ap0, config) and
2209+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
22102210
localCc = getLocalCc(mid, cc, config)
22112211
|
22122212
localStep(mid, node, true, _, config, localCc) and

‎cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -850,7 +850,7 @@ private module Stage2 {
850850
ap = getApNil(node)
851851
or
852852
exists(Node mid, Ap ap0, LocalCc localCc |
853-
fwdFlow(mid, cc, argAp, ap0, config) and
853+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
854854
localCc = getLocalCc(mid, cc, config)
855855
|
856856
localStep(mid, node, true, _, config, localCc) and
@@ -1489,7 +1489,7 @@ private module Stage3 {
14891489
ap = getApNil(node)
14901490
or
14911491
exists(Node mid, Ap ap0, LocalCc localCc |
1492-
fwdFlow(mid, cc, argAp, ap0, config) and
1492+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
14931493
localCc = getLocalCc(mid, cc, config)
14941494
|
14951495
localStep(mid, node, true, _, config, localCc) and
@@ -2206,7 +2206,7 @@ private module Stage4 {
22062206
ap = getApNil(node)
22072207
or
22082208
exists(Node mid, Ap ap0, LocalCc localCc |
2209-
fwdFlow(mid, cc, argAp, ap0, config) and
2209+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
22102210
localCc = getLocalCc(mid, cc, config)
22112211
|
22122212
localStep(mid, node, true, _, config, localCc) and

‎cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -850,7 +850,7 @@ private module Stage2 {
850850
ap = getApNil(node)
851851
or
852852
exists(Node mid, Ap ap0, LocalCc localCc |
853-
fwdFlow(mid, cc, argAp, ap0, config) and
853+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
854854
localCc = getLocalCc(mid, cc, config)
855855
|
856856
localStep(mid, node, true, _, config, localCc) and
@@ -1489,7 +1489,7 @@ private module Stage3 {
14891489
ap = getApNil(node)
14901490
or
14911491
exists(Node mid, Ap ap0, LocalCc localCc |
1492-
fwdFlow(mid, cc, argAp, ap0, config) and
1492+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
14931493
localCc = getLocalCc(mid, cc, config)
14941494
|
14951495
localStep(mid, node, true, _, config, localCc) and
@@ -2206,7 +2206,7 @@ private module Stage4 {
22062206
ap = getApNil(node)
22072207
or
22082208
exists(Node mid, Ap ap0, LocalCc localCc |
2209-
fwdFlow(mid, cc, argAp, ap0, config) and
2209+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
22102210
localCc = getLocalCc(mid, cc, config)
22112211
|
22122212
localStep(mid, node, true, _, config, localCc) and

‎cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -850,7 +850,7 @@ private module Stage2 {
850850
ap = getApNil(node)
851851
or
852852
exists(Node mid, Ap ap0, LocalCc localCc |
853-
fwdFlow(mid, cc, argAp, ap0, config) and
853+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
854854
localCc = getLocalCc(mid, cc, config)
855855
|
856856
localStep(mid, node, true, _, config, localCc) and
@@ -1489,7 +1489,7 @@ private module Stage3 {
14891489
ap = getApNil(node)
14901490
or
14911491
exists(Node mid, Ap ap0, LocalCc localCc |
1492-
fwdFlow(mid, cc, argAp, ap0, config) and
1492+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
14931493
localCc = getLocalCc(mid, cc, config)
14941494
|
14951495
localStep(mid, node, true, _, config, localCc) and
@@ -2206,7 +2206,7 @@ private module Stage4 {
22062206
ap = getApNil(node)
22072207
or
22082208
exists(Node mid, Ap ap0, LocalCc localCc |
2209-
fwdFlow(mid, cc, argAp, ap0, config) and
2209+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
22102210
localCc = getLocalCc(mid, cc, config)
22112211
|
22122212
localStep(mid, node, true, _, config, localCc) and

‎cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -850,7 +850,7 @@ private module Stage2 {
850850
ap = getApNil(node)
851851
or
852852
exists(Node mid, Ap ap0, LocalCc localCc |
853-
fwdFlow(mid, cc, argAp, ap0, config) and
853+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
854854
localCc = getLocalCc(mid, cc, config)
855855
|
856856
localStep(mid, node, true, _, config, localCc) and
@@ -1489,7 +1489,7 @@ private module Stage3 {
14891489
ap = getApNil(node)
14901490
or
14911491
exists(Node mid, Ap ap0, LocalCc localCc |
1492-
fwdFlow(mid, cc, argAp, ap0, config) and
1492+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
14931493
localCc = getLocalCc(mid, cc, config)
14941494
|
14951495
localStep(mid, node, true, _, config, localCc) and
@@ -2206,7 +2206,7 @@ private module Stage4 {
22062206
ap = getApNil(node)
22072207
or
22082208
exists(Node mid, Ap ap0, LocalCc localCc |
2209-
fwdFlow(mid, cc, argAp, ap0, config) and
2209+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
22102210
localCc = getLocalCc(mid, cc, config)
22112211
|
22122212
localStep(mid, node, true, _, config, localCc) and

‎cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -850,7 +850,7 @@ private module Stage2 {
850850
ap = getApNil(node)
851851
or
852852
exists(Node mid, Ap ap0, LocalCc localCc |
853-
fwdFlow(mid, cc, argAp, ap0, config) and
853+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
854854
localCc = getLocalCc(mid, cc, config)
855855
|
856856
localStep(mid, node, true, _, config, localCc) and
@@ -1489,7 +1489,7 @@ private module Stage3 {
14891489
ap = getApNil(node)
14901490
or
14911491
exists(Node mid, Ap ap0, LocalCc localCc |
1492-
fwdFlow(mid, cc, argAp, ap0, config) and
1492+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
14931493
localCc = getLocalCc(mid, cc, config)
14941494
|
14951495
localStep(mid, node, true, _, config, localCc) and
@@ -2206,7 +2206,7 @@ private module Stage4 {
22062206
ap = getApNil(node)
22072207
or
22082208
exists(Node mid, Ap ap0, LocalCc localCc |
2209-
fwdFlow(mid, cc, argAp, ap0, config) and
2209+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
22102210
localCc = getLocalCc(mid, cc, config)
22112211
|
22122212
localStep(mid, node, true, _, config, localCc) and

‎cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -850,7 +850,7 @@ private module Stage2 {
850850
ap = getApNil(node)
851851
or
852852
exists(Node mid, Ap ap0, LocalCc localCc |
853-
fwdFlow(mid, cc, argAp, ap0, config) and
853+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
854854
localCc = getLocalCc(mid, cc, config)
855855
|
856856
localStep(mid, node, true, _, config, localCc) and
@@ -1489,7 +1489,7 @@ private module Stage3 {
14891489
ap = getApNil(node)
14901490
or
14911491
exists(Node mid, Ap ap0, LocalCc localCc |
1492-
fwdFlow(mid, cc, argAp, ap0, config) and
1492+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
14931493
localCc = getLocalCc(mid, cc, config)
14941494
|
14951495
localStep(mid, node, true, _, config, localCc) and
@@ -2206,7 +2206,7 @@ private module Stage4 {
22062206
ap = getApNil(node)
22072207
or
22082208
exists(Node mid, Ap ap0, LocalCc localCc |
2209-
fwdFlow(mid, cc, argAp, ap0, config) and
2209+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
22102210
localCc = getLocalCc(mid, cc, config)
22112211
|
22122212
localStep(mid, node, true, _, config, localCc) and

‎csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -850,7 +850,7 @@ private module Stage2 {
850850
ap = getApNil(node)
851851
or
852852
exists(Node mid, Ap ap0, LocalCc localCc |
853-
fwdFlow(mid, cc, argAp, ap0, config) and
853+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
854854
localCc = getLocalCc(mid, cc, config)
855855
|
856856
localStep(mid, node, true, _, config, localCc) and
@@ -1489,7 +1489,7 @@ private module Stage3 {
14891489
ap = getApNil(node)
14901490
or
14911491
exists(Node mid, Ap ap0, LocalCc localCc |
1492-
fwdFlow(mid, cc, argAp, ap0, config) and
1492+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
14931493
localCc = getLocalCc(mid, cc, config)
14941494
|
14951495
localStep(mid, node, true, _, config, localCc) and
@@ -2206,7 +2206,7 @@ private module Stage4 {
22062206
ap = getApNil(node)
22072207
or
22082208
exists(Node mid, Ap ap0, LocalCc localCc |
2209-
fwdFlow(mid, cc, argAp, ap0, config) and
2209+
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
22102210
localCc = getLocalCc(mid, cc, config)
22112211
|
22122212
localStep(mid, node, true, _, config, localCc) and

0 commit comments

Comments
 (0)