File tree Expand file tree Collapse file tree
cpp/ql/test/library-tests/dataflow/fields Expand file tree Collapse file tree Original file line number Diff line number Diff line change 44 class C
55 {
66 public:
7- virtual void f (void *) {}
7+ virtual void insert (void *) {}
88 };
99 class C1 : public C
1010 {
@@ -37,8 +37,8 @@ class A
3737 {
3838 C cc;
3939 C ct;
40- cc.f (nullptr );
41- ct.f (new C ());
40+ cc.insert (nullptr );
41+ ct.insert (new C ());
4242 sink (&cc); // no flow
4343 sink (&ct); // flow
4444 }
Original file line number Diff line number Diff line change @@ -20,7 +20,7 @@ class Conf extends Configuration {
2020
2121 override predicate isAdditionalFlowStep ( Node a , Node b ) {
2222 b .asPartialDefinition ( ) = any ( Call c |
23- c .getTarget ( ) .hasName ( "f " ) and c .getAnArgument ( ) = a .asExpr ( )
23+ c .getTarget ( ) .hasName ( "insert " ) and c .getAnArgument ( ) = a .asExpr ( )
2424 ) .getQualifier ( )
2525 or
2626 b .asExpr ( ) .( AddressOfExpr ) .getOperand ( ) = a .asExpr ( )
You can’t perform that action at this time.
0 commit comments