Skip to content

Commit 63b0dd6

Browse files
committed
C++: Add a test with missing summaries.
1 parent 21170a1 commit 63b0dd6

File tree

1 file changed

+10
-0
lines changed
  • cpp/ql/test/library-tests/dataflow/modelgenerator/dataflow

1 file changed

+10
-0
lines changed

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

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -198,4 +198,14 @@ int get_x_from_union(U* u) {
198198
//contentbased-summary=;;true;set_x_in_union;(U *,int);;Argument[1];Argument[*0].Union[*U];value;dfc-generated
199199
void set_x_in_union(U* u, int x) {
200200
u->x = x;
201+
}
202+
203+
struct HasInt {
204+
int x;
205+
};
206+
207+
208+
int copy_struct(HasInt *out, const HasInt *in) {
209+
*out = *in;
210+
return 1;
201211
}

0 commit comments

Comments
 (0)