Source Mage code commit list

[Ismael Luceno <scm AT sourcemage.org>]

GIT changes to master grimoire by Ismael Luceno <ismael AT sourcemage.org>:

 ChangeLog                                                    |    3 
 devel/smatch/BUILD                                           |    1 
 devel/smatch/CONFLICTS                                       |    1 
 devel/smatch/DEPENDS                                         |   17 ++++
 devel/smatch/DETAILS                                         |   15 +++
 devel/smatch/HISTORY                                         |    3 
 devel/smatch/INSTALL                                         |    1 
 devel/smatch/PRE_BUILD                                       |    3 
 devel/smatch/patches/0001-Fix-callback-func-signatures.patch |   46 
+++++++++++
 devel/sparse/CONFLICTS                                       |    1 
 devel/sparse/HISTORY                                         |    3 
 11 files changed, 94 insertions(+)

New commits:
commit 73a424d1d56155350b4f49fd1989c557e8a3260e
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>

    sparse: Conflicts with smatch

commit 93b259b01f101b01120eb60b671cba0cdc091a01
Author: Ismael Luceno <ismael AT sourcemage.org>
Commit: Ismael Luceno <ismael AT sourcemage.org>

    smatch: new spell, Static analysis for C

diff --git a/ChangeLog b/ChangeLog
index 9732f62..f457792 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,6 @@
+2024-10-06 Ismael Luceno <ismael AT sourcemage.org>
+       * devel/smatch: new spell, Static analysis for C
+
 2024-09-27 Treeve Jelbert <treeve AT sourcemage.org>
        * apache.gpg: updates
 
diff --git a/devel/smatch/BUILD b/devel/smatch/BUILD
new file mode 100755
index 0000000..f83560d
--- /dev/null
+++ b/devel/smatch/BUILD
@@ -0,0 +1 @@
+default_build_make $OPTS
diff --git a/devel/smatch/CONFLICTS b/devel/smatch/CONFLICTS
new file mode 100755
index 0000000..16439da
--- /dev/null
+++ b/devel/smatch/CONFLICTS
@@ -0,0 +1 @@
+conflicts sparse
diff --git a/devel/smatch/DEPENDS b/devel/smatch/DEPENDS
new file mode 100755
index 0000000..f9ccc6a
--- /dev/null
+++ b/devel/smatch/DEPENDS
@@ -0,0 +1,17 @@
+. "$GRIMOIRE"/VDEPENDS &&
+vdepends <<-! &&
+       sqlite >= 3.24.0
+       SSL
+!
+optional_depends libxml \
+                 "HAVE_LIBXML=yes" \
+                 "HAVE_LIBXML=no" \
+                 "for c2xml" &&
+optional_depends gtk+3 \
+                 "HAVE_GTK=yes" \
+                 "HAVE_GTK=no" \
+                 "for test-inspect" &&
+optional_depends llvm \
+                 "HAVE_LLVM=yes" \
+                 "HAVE_LLVM=no" \
+                 "for sparse-llvm"
diff --git a/devel/smatch/DETAILS b/devel/smatch/DETAILS
new file mode 100755
index 0000000..14b5d67
--- /dev/null
+++ b/devel/smatch/DETAILS
@@ -0,0 +1,15 @@
+           SPELL=smatch
+         VERSION=1.73
+          SOURCE="$SPELL-$VERSION.tar.gz"
+   
SOURCE_URL[0]=https://repo.or.cz/$SPELL.git/snapshot/refs/tags/$VERSION.tar.gz
+     
SOURCE_HASH=sha512:611ff5de159fab11955a90650cb833d78a30a1399a4f43d6e0e328dec117a0d17c19e0ee4041373dd421ce99d3bdce50b31f49da2e95585d4305d922e7ef4cd7
+SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION"
+        WEB_SITE="https://repo.or.cz/smatch.git";
+      LICENSE[0]="GPL-2.0-or-later"
+         ENTERED=20240919
+        KEYWORDS=""
+           SHORT="Static analysis for C"
+cat << EOF
+Smatch is a static analysis tool for C. Most of the checks are for the linux
+kernel. Please write checks for your project. It's fun and easy!
+EOF
diff --git a/devel/smatch/HISTORY b/devel/smatch/HISTORY
new file mode 100644
index 0000000..26c9f79
--- /dev/null
+++ b/devel/smatch/HISTORY
@@ -0,0 +1,3 @@
+2024-10-06 Ismael Luceno <ismael AT sourcemage.org>
+       * BUILD, CONFLICTS, DEPENDS, DETAILS, INSTALL, PRE_BUILD,
+         patches/0001-Fix-callback-func-signatures.patch: spell created
diff --git a/devel/smatch/INSTALL b/devel/smatch/INSTALL
new file mode 100755
index 0000000..61cbebe
--- /dev/null
+++ b/devel/smatch/INSTALL
@@ -0,0 +1 @@
+make install $OPTS PREFIX="$INSTALL_ROOT/usr"
diff --git a/devel/smatch/PRE_BUILD b/devel/smatch/PRE_BUILD
new file mode 100755
index 0000000..c230ad1
--- /dev/null
+++ b/devel/smatch/PRE_BUILD
@@ -0,0 +1,3 @@
+default_pre_build &&
+cd "$SOURCE_DIRECTORY" &&
+apply_patch_dir patches
diff --git a/devel/smatch/patches/0001-Fix-callback-func-signatures.patch 
b/devel/smatch/patches/0001-Fix-callback-func-signatures.patch
new file mode 100644
index 0000000..85f4ffc
--- /dev/null
+++ b/devel/smatch/patches/0001-Fix-callback-func-signatures.patch
@@ -0,0 +1,46 @@
+From 3e5266491f1f9d55c6923cfc764089beec89e421 Mon Sep 17 00:00:00 2001
+From: Ismael Luceno <ismael AT iodev.co.uk>
+Date: Thu, 19 Sep 2024 13:40:39 +0200
+Subject: [PATCH] Fix callback func signatures
+
+Signed-off-by: Ismael Luceno <ismael AT iodev.co.uk>
+---
+ smatch.h                 | 2 +-
+ smatch_untracked_param.c | 4 ++--
+ 2 files changed, 3 insertions(+), 3 deletions(-)
+
+diff --git a/smatch.h b/smatch.h
+index 36ae3497d8de..ceb1907c9b46 100644
+--- a/smatch.h
++++ b/smatch.h
+@@ -1375,7 +1375,7 @@ bool buf_comp_has_bytes(struct expression *buf, struct 
expression *var);
+ bool buf_comp2_has_bytes(struct expression *buf_expr, struct expression 
*var);
+ 
+ /* smatch_untracked_param.c */
+-void mark_untracked(struct expression *expr, int param, const char *key, 
const char *value);
++void mark_untracked(struct expression *expr, int param, char *key, char 
*value);
+ void add_untracked_param_hook(void (func)(struct expression *call, int 
param));
+ void add_lost_param_hook(void (func)(struct expression *call, int param));
+ void mark_all_params_untracked(int return_id, char *return_ranges, struct 
expression *expr);
+diff --git a/smatch_untracked_param.c b/smatch_untracked_param.c
+index 4bb3c244699e..d24958e7a8ac 100644
+--- a/smatch_untracked_param.c
++++ b/smatch_untracked_param.c
+@@ -120,12 +120,12 @@ free:
+ 
+ }
+ 
+-void mark_untracked(struct expression *expr, int param, const char *key, 
const char *value)
++void mark_untracked(struct expression *expr, int param, char *key, char 
*value)
+ {
+       mark_untracked_lost(expr, param, key, UNTRACKED_PARAM);
+ }
+ 
+-void mark_lost(struct expression *expr, int param, const char *key, const 
char *value)
++void mark_lost(struct expression *expr, int param, char *key, char *value)
+ {
+       mark_untracked_lost(expr, param, key, LOST_PARAM);
+ }
+-- 
+2.46.0
+
diff --git a/devel/sparse/CONFLICTS b/devel/sparse/CONFLICTS
new file mode 100755
index 0000000..08ba499
--- /dev/null
+++ b/devel/sparse/CONFLICTS
@@ -0,0 +1 @@
+conflicts smatch
diff --git a/devel/sparse/HISTORY b/devel/sparse/HISTORY
index 40b8853..46291d1 100644
--- a/devel/sparse/HISTORY
+++ b/devel/sparse/HISTORY
@@ -1,3 +1,6 @@
+2024-10-06 Ismael Luceno <ismael AT sourcemage.org>
+       * CONFLICTS: added smatch
+
 2023-09-10 Ismael Luceno <ismael AT sourcemage.org>
        * DETAILS: updated spell to 0.6.4