Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package smatch for openSUSE:Factory checked in at 2022-05-10 15:12:13 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/smatch (Old) and /work/SRC/openSUSE:Factory/.smatch.new.1538 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "smatch" Tue May 10 15:12:13 2022 rev:10 rq:975989 version:1.72+20220506 Changes: -------- --- /work/SRC/openSUSE:Factory/smatch/smatch.changes 2020-07-03 00:08:19.511254587 +0200 +++ /work/SRC/openSUSE:Factory/.smatch.new.1538/smatch.changes 2022-05-10 15:12:28.051610665 +0200 @@ -1,0 +2,21 @@ +Mon May 09 08:32:16 UTC 2022 - [email protected] + +- Update to version 1.72+20220506: + * logical_instead_of_bitwise: add some more warnings + * uninitialized: fix checking for fake calls and don't save global states + * assigned_expr: don't modify the expression until later + * rosenberg,assigned_expr: don't store pointless global data + * uninitialized: fix false positive "passing uninitialized" warnings + * data/kernel.ignore_uninitialized_param: add more functions + * free: don't warn about %p printing of freed pointers + * free: do not warn when freed pointers are part of a condition + * function_hooks: export is_condition_call() + * comparison: fix copying comparisons +- switch to obs_scm +- switch versioning to include version number +- add + * Makefile-allow-CFLAGS-to-be-redefined.patch (fix build) + * Makefile-use-CFLAGS-when-linking.patch (improve build) + * check_free-declare-is_percent_p_print-before-use.patch (fix warnings) + +------------------------------------------------------------------- Old: ---- smatch-20200608+git.e92d9e00.tar.xz New: ---- Makefile-allow-CFLAGS-to-be-redefined.patch Makefile-use-CFLAGS-when-linking.patch check_free-declare-is_percent_p_print-before-use.patch smatch-1.72+20220506.obscpio smatch.obsinfo ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ smatch.spec ++++++ --- /var/tmp/diff_new_pack.1YKCjP/_old 2022-05-10 15:12:29.063611940 +0200 +++ /var/tmp/diff_new_pack.1YKCjP/_new 2022-05-10 15:12:29.067611945 +0200 @@ -1,7 +1,7 @@ # # spec file for package smatch # -# Copyright (c) 2020 SUSE LLC +# Copyright (c) 2022 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -17,13 +17,16 @@ Name: smatch -Version: 20200608+git.e92d9e00 +Version: 1.72+20220506 Release: 0 Summary: Static analysis tool for C License: GPL-2.0-only Group: Development/Tools/Building URL: http://smatch.sf.net Source: %{name}-%{version}.tar.xz +Patch0: Makefile-allow-CFLAGS-to-be-redefined.patch +Patch1: Makefile-use-CFLAGS-when-linking.patch +Patch2: check_free-declare-is_percent_p_print-before-use.patch BuildRequires: gcc BuildRequires: make BuildRequires: openssl-devel @@ -36,10 +39,10 @@ kernel. Please write checks for your project. It's fun and easy! %prep -%setup -q +%autosetup -p1 %build -make %{?_smp_mflags} V=1 CFLAGS="%{optflags}" \ +make %{?_smp_mflags} V=1 CFLAGS="%{optflags} -Wno-unused-result -Wno-abi" \ INSTALL_PREFIX=%{_prefix} \ LIBDIR=%{_libdir} \ PKGCONFIGDIR=%{_datadir}/pkgconfig \ ++++++ Makefile-allow-CFLAGS-to-be-redefined.patch ++++++ From: Jiri Slaby <[email protected]> Date: Mon, 9 May 2022 10:39:58 +0200 Subject: Makefile: allow CFLAGS to be redefined Patch-mainline: no References: build fix I.e. use CFLAGS_INT for the internal ones. Signed-off-by: Jiri Slaby <[email protected]> --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 47742573..a8c6284b 100644 --- a/Makefile +++ b/Makefile @@ -342,7 +342,7 @@ SMATCH_OBJS += smatch_unknown_value.o SMATCH_OBJS += smatch_untracked_param.o SMATCH_OBJS += smatch_var_sym.o -CFLAGS+=-D__CHECKNAME__='"$(subst .c,,$(notdir $<))"' +CFLAGS_INT=-D__CHECKNAME__='"$(subst .c,,$(notdir $<))"' SMATCH_CHECKS=$(shell ls check_*.c | sed -e 's/\.c/.o/') SMATCH_DATA=smatch_data/kernel.allocation_funcs \ @@ -379,7 +379,7 @@ check_list_local.h: touch check_list_local.h smatch.o: smatch.c $(LIB_H) smatch.h check_list.h check_list_local.h - $(CC) $(CFLAGS) -c smatch.c -DSMATCHDATADIR='"$(smatch_datadir)"' + $(CC) $(CFLAGS) $(CFLAGS_INT) -c smatch.c -DSMATCHDATADIR='"$(smatch_datadir)"' $(SMATCH_OBJS) $(SMATCH_CHECKS): smatch.h smatch_slist.h smatch_extra.h \ smatch_constants.h avl.h @@ -398,7 +398,7 @@ libsparse.a: $(LIB_OBJS) $(Q)$(AR) rcs $@ $^ -cflags += $($(*)-cflags) $(CPPFLAGS) $(CFLAGS) +cflags += $($(*)-cflags) $(CPPFLAGS) $(CFLAGS) $(CFLAGS_INT) %.o: %.c @echo " CC $@" $(Q)$(CC) $(cflags) -c -o $@ $< -- 2.34.1 ++++++ Makefile-use-CFLAGS-when-linking.patch ++++++ From: Jiri Slaby <[email protected]> Date: Mon, 9 May 2022 11:23:44 +0200 Subject: Makefile: use CFLAGS when linking Patch-mainline: no References: build improvement So that everything is built properly. Signed-off-by: Jiri Slaby <[email protected]> --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index a8c6284b..c1e042e5 100644 --- a/Makefile +++ b/Makefile @@ -373,7 +373,7 @@ SMATCH_SCRIPTS=smatch_scripts/add_gfp_to_allocations.sh \ SMATCH_LDFLAGS := -lsqlite3 -lssl -lcrypto -lm smatch: smatch.o $(SMATCH_OBJS) $(SMATCH_CHECKS) $(LIBS) - $(Q)$(LD) -o $@ $< $(SMATCH_OBJS) $(SMATCH_CHECKS) $(LIBS) $(SMATCH_LDFLAGS) + $(Q)$(LD) $(CFLAGS) -o $@ $< $(SMATCH_OBJS) $(SMATCH_CHECKS) $(LIBS) $(SMATCH_LDFLAGS) check_list_local.h: touch check_list_local.h -- 2.34.1 ++++++ _service ++++++ --- /var/tmp/diff_new_pack.1YKCjP/_old 2022-05-10 15:12:29.115612005 +0200 +++ /var/tmp/diff_new_pack.1YKCjP/_new 2022-05-10 15:12:29.119612011 +0200 @@ -1,15 +1,16 @@ <services> - <service mode="disabled" name="tar_scm"> + <service mode="disabled" name="obs_scm"> <param name="url">git://repo.or.cz/smatch.git</param> <param name="scm">git</param> <param name="changesgenerate">enable</param> - <param name="filename">smatch</param> - <param name="versionformat">%ad+git.%h</param> + <param name="versionformat">@PARENT_TAG@+%cd</param> </service> - <service mode="disabled" name="recompress"> - <param name="file">*.tar</param> + <service mode="disabled" name="set_version"/> + + <service name="tar" mode="buildtime"/> + <service name="recompress" mode="buildtime"> + <param name="file">smatch-*.tar</param> <param name="compression">xz</param> </service> - <service mode="disabled" name="set_version"/> </services> ++++++ _servicedata ++++++ --- /var/tmp/diff_new_pack.1YKCjP/_old 2022-05-10 15:12:29.135612031 +0200 +++ /var/tmp/diff_new_pack.1YKCjP/_new 2022-05-10 15:12:29.139612036 +0200 @@ -1,6 +1,6 @@ <servicedata> <service name="tar_scm"> - <param name="url">git://repo.or.cz/smatch.git</param> - <param name="changesrevision">e92d9e00f7a2509d40ede8665f3a64a7f793d6fa</param></service></servicedata> + <param name="url">git://repo.or.cz/smatch.git</param> + <param name="changesrevision">486d484cedf0fef0738568f5c18bf46fac9b9075</param></service></servicedata> (No newline at EOF) ++++++ check_free-declare-is_percent_p_print-before-use.patch ++++++ From: Jiri Slaby <[email protected]> Date: Mon, 9 May 2022 10:51:08 +0200 Subject: check_free: declare is_percent_p_print before use Patch-mainline: no References: warnings fix Signed-off-by: Jiri Slaby <[email protected]> --- check_free.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/check_free.c b/check_free.c index ec3202ab..20fbc44f 100644 --- a/check_free.c +++ b/check_free.c @@ -52,6 +52,8 @@ static int is_freed(struct expression *expr) return 0; } +bool is_percent_p_print(struct expression *expr); + static void match_symbol(struct expression *expr) { struct expression *parent; -- 2.34.1 ++++++ smatch.obsinfo ++++++ name: smatch version: 1.72+20220506 mtime: 1651844350 commit: 486d484cedf0fef0738568f5c18bf46fac9b9075
