Skip to content

Commit 79c0310

Browse files
committed
C++: Accept test changes.
1 parent 2f26539 commit 79c0310

File tree

1 file changed

+8
-1
lines changed
  • cpp/ql/test/library-tests/dataflow/modelgenerator/dataflow

1 file changed

+8
-1
lines changed

cpp/ql/test/library-tests/dataflow/modelgenerator/dataflow/summaries.cpp

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -131,6 +131,8 @@ namespace Models {
131131

132132
//summary=;;true;toplevel_function;(int *);;Argument[0];ReturnValue;taint;df-generated
133133
//summary=;;true;toplevel_function;(int *);;Argument[*0];ReturnValue;taint;df-generated
134+
//summary=;;true;toplevel_function;(int *);;Argument[0];Argument[*0];taint;df-generated
135+
//contentbased-summary=;;true;toplevel_function;(int *);;Argument[0];Argument[*0];taint;dfc-generated
134136
//contentbased-summary=;;true;toplevel_function;(int *);;Argument[0];ReturnValue;taint;dfc-generated
135137
//contentbased-summary=;;true;toplevel_function;(int *);;Argument[*0];ReturnValue;value;dfc-generated
136138
int toplevel_function(int* p) {
@@ -204,7 +206,12 @@ struct HasInt {
204206
int x;
205207
};
206208

207-
209+
//contentbased-summary=;;true;copy_struct;(HasInt *,const HasInt *);;Argument[1];Argument[*0];taint;dfc-generated
210+
//contentbased-summary=;;true;copy_struct;(HasInt *,const HasInt *);;Argument[1];Argument[*1];taint;dfc-generated
211+
//contentbased-summary=;;true;copy_struct;(HasInt *,const HasInt *);;Argument[*1];Argument[*0];value;dfc-generated
212+
//summary=;;true;copy_struct;(HasInt *,const HasInt *);;Argument[1];Argument[*0];taint;df-generated
213+
//summary=;;true;copy_struct;(HasInt *,const HasInt *);;Argument[1];Argument[*1];taint;df-generated
214+
//summary=;;true;copy_struct;(HasInt *,const HasInt *);;Argument[*1];Argument[*0];taint;df-generated
208215
int copy_struct(HasInt *out, const HasInt *in) {
209216
*out = *in;
210217
return 1;

0 commit comments

Comments
 (0)