From 84ae80fafd67abbc1bbd6dd8f62d9c4a3eddcef9 Mon Sep 17 00:00:00 2001
From: arun <bhattar1@purdue.edu>
Date: Mon, 6 Nov 2023 22:35:32 -0500
Subject: [PATCH] add a flag to only add typematic changes, or only checked-c
 or both

---
 include/stdio_checked.h  | 2 ++
 include/string_checked.h | 3 ++-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/include/stdio_checked.h b/include/stdio_checked.h
index 083d78c..e6cc62d 100644
--- a/include/stdio_checked.h
+++ b/include/stdio_checked.h
@@ -23,6 +23,7 @@
 #ifndef __STDIO_CHECKED_H
 #define __STDIO_CHECKED_H
 
+#pragma TLIB_SCOPE on
 #pragma CHECKED_SCOPE push
 #pragma CHECKED_SCOPE on
 
@@ -209,6 +210,7 @@ int fileno (FILE *stream : itype(_Ptr<FILE>));
 #include "_builtin_stdio_checked.h"
 
 #pragma CHECKED_SCOPE pop
+#pragma TLIB_SCOPE off
 
 #endif // guard
 #endif // Checked C
diff --git a/include/string_checked.h b/include/string_checked.h
index 952762e..5e6d564 100644
--- a/include/string_checked.h
+++ b/include/string_checked.h
@@ -27,6 +27,7 @@
 #ifndef __STRING_CHECKED_H
 #define __STRING_CHECKED_H
 
+#pragma TLIB_SCOPE on
 #pragma CHECKED_SCOPE push
 #pragma CHECKED_SCOPE on
 
@@ -177,6 +178,6 @@ char *strndup(const char *s : itype(_Nt_array_ptr<const char>), size_t n) : ityp
 #include "_builtin_string_checked.h"
 
 #pragma CHECKED_SCOPE pop
-
+#pragma TLIB_SCOPE off
 #endif // guard
 #endif // Checked C