C++: Add a test with missing summaries.

2026-04-24 08:15:14 +02:00 · 2025-04-25 12:18:42 +01:00
parent 21170a1f6d
commit 63b0dd68c9
1 changed files with 10 additions and 0 deletions
--- a/cpp/ql/test/library-tests/dataflow/modelgenerator/dataflow/summaries.cpp
+++ b/cpp/ql/test/library-tests/dataflow/modelgenerator/dataflow/summaries.cpp
@@ -198,4 +198,14 @@ int get_x_from_union(U* u) {
 //contentbased-summary=;;true;set_x_in_union;(U *,int);;Argument[1];Argument[*0].Union[*U];value;dfc-generated
 void set_x_in_union(U* u, int x) {
    u->x = x;
+}
+
+struct HasInt {
+    int x;
+};
+
+
+int copy_struct(HasInt *out, const HasInt *in) {
+    *out = *in;
+    return 1;
 }