*** empty log message ***

[splint.git] / src / flagSpec.c

diff --git a/src/flagSpec.c b/src/flagSpec.c
index d2acb8b6dc9df4e28d1aef8e9d526febe3f9622d..3cc96623ef98dca979bc992563415d249057b3f8 100644 (file)
--- a/src/flagSpec.c
+++ b/src/flagSpec.c
@@ -78,6 +78,26 @@ void flagSpec_free (flagSpec f)
     }
 }
 
+flagSpec flagSpec_copy (flagSpec f)
+{
+  if (flagSpec_isDefined (f))
+    {
+      if (flagSpec_isDefined (f->trest))
+       {
+         return flagSpec_createOr (cstring_copy (f->tspec->name), 
+                                   flagSpec_copy (f->trest));
+       }
+      else
+       {
+         return flagSpec_createPlain (cstring_copy (f->tspec->name));
+       }
+    }
+  else
+    {
+      return flagSpec_undefined;
+    }
+}
+
 cstring flagSpec_unparse (flagSpec f)
 {
   if (flagSpec_isDefined (f))