File tree Expand file tree Collapse file tree 1 file changed +8
-1
lines changed
cpp/ql/test/library-tests/dataflow/modelgenerator/dataflow Expand file tree Collapse file tree 1 file changed +8
-1
lines changed Original file line number Diff line number Diff 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
136138int 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
208215int copy_struct (HasInt *out, const HasInt *in) {
209216 *out = *in;
210217 return 1 ;
You can’t perform that action at this time.
0 commit comments