Fixed bug which would cause splint to crash if it was started with the -i flags and...

[splint.git] / src / flags.c

diff --git a/src/flags.c b/src/flags.c
index 0a8cea310b02735ead8d78f723fcce854724f6dc..d197f6ce21801b9a01b77e2ac7bfe0aabaa1c464 100644 (file)
--- a/src/flags.c
+++ b/src/flags.c
@@ -1784,7 +1784,11 @@ flags_processFlags (bool inCommandLine,
                    {
                      if (++i < argc)
                        {
-                         cstring arg = cstring_fromChars (argv[i]);
+                         /*drl 10/21/2002
+                           Changed this because arg can be freed when it's passed to
+                           lslinit_setInitFile and freeing argv[i] causes a seg fault
+                         */
+                         cstring arg =  cstring_fromCharsNew (argv[i]);
                          
                          if (opt == FLG_OPTF)
                            {