Merge pull request #2910 from aschackmull/dataflow/cleanup

Java/C++: Minor dataflow cleanup.
This commit is contained in:
Jonas Jensen
2020-02-25 12:47:10 +01:00
committed by GitHub
5 changed files with 1 additions and 25 deletions

View File

@@ -120,7 +120,7 @@ predicate jumpStep(Node node1, Node node2) {
* Holds if `fa` is an access to an instance field that occurs as the
* destination of an assignment of the value `src`.
*/
predicate instanceFieldAssign(Expr src, FieldAccess fa) {
private predicate instanceFieldAssign(Expr src, FieldAccess fa) {
exists(AssignExpr a |
a.getSource() = src and
a.getDest() = fa and