From 99289d42319cae958812d5589cb06b3bc4edc835 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Thu, 18 Mar 2021 17:25:47 +0100
Subject: [PATCH] [analysis-scripts] minor fixes
---
bin/frama-c-script | 2 +-
share/analysis-scripts/function_finder.py | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/bin/frama-c-script b/bin/frama-c-script
index 4a1223b4d16..022f9b14096 100755
--- a/bin/frama-c-script
+++ b/bin/frama-c-script
@@ -52,7 +52,7 @@ usage() {
echo " Also opens it in a browser, unless variable NOGUI is set."
echo ""
echo " - help"
- echo " Display this help message and exit."
+ echo " Displays this help message and exits."
echo ""
echo " - heuristic-detect-recursion file..."
echo " Uses a heuristic, syntactic-based, callgraph to detect recursive"
diff --git a/share/analysis-scripts/function_finder.py b/share/analysis-scripts/function_finder.py
index d304ccbb0d4..e68f15ee479 100755
--- a/share/analysis-scripts/function_finder.py
+++ b/share/analysis-scripts/function_finder.py
@@ -178,7 +178,7 @@ def find_definitions_and_declarations(want_defs, want_decls, filename, newlines)
return res
# list of identifiers which are never function calls
-calls_blacklist = ["if", "while", "for", "return"]
+calls_blacklist = ["if", "while", "for", "return", "sizeof", "switch", "_Alignas"]
# Returns a list of tuples (fname, line, offset) for each function call.
#
--
GitLab