Attempt GCC-analyzer (#442)

PQClean · Jul 18, 2022 · 6a67a63 · 6a67a63
1 parent 6cd3167
commit 6a67a63
Showing 1 changed file with 14 additions and 8 deletions.
diff --git a/test/test_functest.py b/test/test_functest.py
@@ -23,14 +23,20 @@
 def test_functest(implementation, impl_path, test_dir,
                   init, destr):
     init()
-    dest_dir = os.path.join(test_dir, 'bin')
-    helpers.make('functest',
-                 TYPE=implementation.scheme.type,
-                 SCHEME=implementation.scheme.name,
-                 IMPLEMENTATION=implementation.name,
-                 SCHEME_DIR=impl_path,
-                 DEST_DIR=dest_dir,
-                 working_dir=os.path.join(test_dir, 'test'))
+    flags = ""
+    if os.environ.get("CC", "gcc") == "gcc" and sys.platform == "linux":
+        flags = "-fanalyzer"
+    dest_dir = os.path.join(test_dir, "bin")
+    helpers.make(
+        "functest",
+        TYPE=implementation.scheme.type,
+        SCHEME=implementation.scheme.name,
+        IMPLEMENTATION=implementation.name,
+        SCHEME_DIR=impl_path,
+        DEST_DIR=dest_dir,
+        EXTRAFLAGS=flags,
+        working_dir=os.path.join(test_dir, "test"),
+    )
     helpers.run_subprocess(
         [os.path.join(dest_dir, 'functest_{}_{}{}'.format(
             implementation.scheme.name,