From: elfring@users.sourceforge.net (SF Markus Elfring)
To: cocci@systeme.lip6.fr
Subject: [Cocci] [PATCH 1/1] SCSI-QLA2...: Deletion of unnecessary checks before the function call "vfree"
Date: Wed, 22 Oct 2014 21:10:21 +0200 [thread overview]
Message-ID: <5448011D.1000500@users.sourceforge.net> (raw)
In-Reply-To: <5317A59D.4@users.sourceforge.net>
>> If you are convinced that dropping the null tests is a good idea, then you
>> can submit the patch that makes the change to the relevant maintainers and
>> mailing lists.
I resent the request once more because another "Triple-X" software development
adventure might follow ...?
Regards,
Markus
>From ff44962f88ac2dae9324e30819629da4fb33f0ff Mon Sep 17 00:00:00 2001
From: Markus Elfring <elfring@users.sourceforge.net>
Date: Wed, 22 Oct 2014 20:40:31 +0200
Subject: [PATCH] SCSI-QLA2XXX: Deletion of unnecessary checks before the
function call "vfree"
A semantic patch approach was proposed with the subject "[PATCH with
Coccinelle?] Deletion of unnecessary checks before specific function calls"
on 2014-03-05.
https://lkml.org/lkml/2014/3/5/344
http://article.gmane.org/gmane.comp.version-control.coccinelle/3513/
This patch pattern application was repeated with the help of the software
"Coccinelle 1.0.0-rc22" on the source files for Linux 3.17.1. An extract
of the automatically generated update suggestions is shown here.
It was determined that the affected source code places call functions
which perform input parameter validation already. It is therefore not
needed that a similar safety check is repeated at the call site.
Signed-off-by: Markus Elfring <elfring@users.sourceforge.net>
---
drivers/scsi/qla2xxx/qla_attr.c | 6 ++----
drivers/scsi/qla2xxx/qla_init.c | 18 ++++++------------
drivers/scsi/qla2xxx/qla_os.c | 6 ++----
3 files changed, 10 insertions(+), 20 deletions(-)
diff --git a/drivers/scsi/qla2xxx/qla_attr.c b/drivers/scsi/qla2xxx/qla_attr.c
index 82b92c4..95c4c09 100644
--- a/drivers/scsi/qla2xxx/qla_attr.c
+++ b/drivers/scsi/qla2xxx/qla_attr.c
@@ -175,10 +175,8 @@ qla2x00_sysfs_write_fw_dump_template(struct file *filp,
struct kobject *kobj,
uint32_t size;
if (off == 0) {
- if (ha->fw_dump)
- vfree(ha->fw_dump);
- if (ha->fw_dump_template)
- vfree(ha->fw_dump_template);
+ vfree(ha->fw_dump);
+ vfree(ha->fw_dump_template);
ha->fw_dump = NULL;
ha->fw_dump_len = 0;
diff --git a/drivers/scsi/qla2xxx/qla_init.c b/drivers/scsi/qla2xxx/qla_init.c
index a4dde7e..8da3d4f 100644
--- a/drivers/scsi/qla2xxx/qla_init.c
+++ b/drivers/scsi/qla2xxx/qla_init.c
@@ -5256,8 +5256,7 @@ qla24xx_load_risc_flash(scsi_qla_host_t *vha, uint32_t
*srisc_addr,
if (!IS_QLA27XX(ha))
return rval;
- if (ha->fw_dump_template)
- vfree(ha->fw_dump_template);
+ vfree(ha->fw_dump_template);
ha->fw_dump_template = NULL;
ha->fw_dump_template_len = 0;
@@ -5307,8 +5306,7 @@ qla24xx_load_risc_flash(scsi_qla_host_t *vha, uint32_t
*srisc_addr,
default_template:
ql_log(ql_log_warn, vha, 0x0168, "Using default fwdump template\n");
- if (ha->fw_dump_template)
- vfree(ha->fw_dump_template);
+ vfree(ha->fw_dump_template);
ha->fw_dump_template = NULL;
ha->fw_dump_template_len = 0;
@@ -5342,8 +5340,7 @@ default_template:
failed_template:
ql_log(ql_log_warn, vha, 0x016d, "Failed default fwdump template\n");
- if (ha->fw_dump_template)
- vfree(ha->fw_dump_template);
+ vfree(ha->fw_dump_template);
ha->fw_dump_template = NULL;
ha->fw_dump_template_len = 0;
return rval;
@@ -5559,8 +5556,7 @@ qla24xx_load_risc_blob(scsi_qla_host_t *vha, uint32_t
*srisc_addr)
if (!IS_QLA27XX(ha))
return rval;
- if (ha->fw_dump_template)
- vfree(ha->fw_dump_template);
+ vfree(ha->fw_dump_template);
ha->fw_dump_template = NULL;
ha->fw_dump_template_len = 0;
@@ -5609,8 +5605,7 @@ qla24xx_load_risc_blob(scsi_qla_host_t *vha, uint32_t
*srisc_addr)
default_template:
ql_log(ql_log_warn, vha, 0x0178, "Using default fwdump template\n");
- if (ha->fw_dump_template)
- vfree(ha->fw_dump_template);
+ vfree(ha->fw_dump_template);
ha->fw_dump_template = NULL;
ha->fw_dump_template_len = 0;
@@ -5644,8 +5639,7 @@ default_template:
failed_template:
ql_log(ql_log_warn, vha, 0x017d, "Failed default fwdump template\n");
- if (ha->fw_dump_template)
- vfree(ha->fw_dump_template);
+ vfree(ha->fw_dump_template);
ha->fw_dump_template = NULL;
ha->fw_dump_template_len = 0;
return rval;
diff --git a/drivers/scsi/qla2xxx/qla_os.c b/drivers/scsi/qla2xxx/qla_os.c
index db3dbd9..0f9c378 100644
--- a/drivers/scsi/qla2xxx/qla_os.c
+++ b/drivers/scsi/qla2xxx/qla_os.c
@@ -3676,10 +3676,8 @@ qla2x00_free_fw_dump(struct qla_hw_data *ha)
dma_free_coherent(&ha->pdev->dev,
EFT_SIZE, ha->eft, ha->eft_dma);
- if (ha->fw_dump)
- vfree(ha->fw_dump);
- if (ha->fw_dump_template)
- vfree(ha->fw_dump_template);
+ vfree(ha->fw_dump);
+ vfree(ha->fw_dump_template);
ha->fce = NULL;
ha->fce_dma = 0;
--
2.1.2
next prev parent reply other threads:[~2014-10-22 19:10 UTC|newest]
Thread overview: 268+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-02-21 21:52 [Cocci] Remove unnecessary null pointer checks? SF Markus Elfring
2014-02-21 22:27 ` Julia Lawall
2014-02-22 8:09 ` SF Markus Elfring
2014-02-22 12:36 ` Julia Lawall
2014-02-22 18:01 ` SF Markus Elfring
2014-10-26 6:07 ` SF Markus Elfring
[not found] ` <alpine.DEB.2.10.1410260614460.2563@hadrien>
2014-10-26 13:54 ` SF Markus Elfring
2014-02-23 14:40 ` SF Markus Elfring
2014-02-23 15:37 ` Julia Lawall
2014-02-23 16:33 ` SF Markus Elfring
2014-02-23 16:42 ` Julia Lawall
2014-02-23 22:14 ` SF Markus Elfring
2014-02-24 6:00 ` Julia Lawall
2014-02-24 10:55 ` SF Markus Elfring
2014-02-24 11:22 ` Julia Lawall
2014-02-24 15:05 ` SF Markus Elfring
2014-02-24 15:19 ` Julia Lawall
2014-02-24 15:58 ` SF Markus Elfring
2014-02-24 16:14 ` Julia Lawall
2014-02-24 16:34 ` SF Markus Elfring
2014-02-25 9:10 ` SF Markus Elfring
2014-02-25 9:16 ` Julia Lawall
2014-02-25 10:01 ` SF Markus Elfring
2014-02-25 17:28 ` SF Markus Elfring
2014-02-25 17:42 ` Julia Lawall
2014-02-25 20:11 ` SF Markus Elfring
2014-02-25 20:20 ` Julia Lawall
2014-02-25 20:37 ` [Cocci] Source code analysis with big regular expressions? SF Markus Elfring
2014-02-25 20:44 ` Julia Lawall
2014-02-25 20:54 ` SF Markus Elfring
2014-02-25 21:02 ` Julia Lawall
2014-02-25 21:19 ` SF Markus Elfring
2014-02-25 21:29 ` Julia Lawall
2014-02-25 21:44 ` [Cocci] Remove unnecessary null pointer checks? SF Markus Elfring
2014-02-25 21:48 ` Julia Lawall
2014-02-26 8:04 ` SF Markus Elfring
2014-02-26 11:30 ` SF Markus Elfring
2014-02-26 20:35 ` Julia Lawall
2014-02-26 21:01 ` SF Markus Elfring
2014-02-26 21:09 ` Julia Lawall
2014-03-06 8:39 ` SF Markus Elfring
2014-03-06 16:24 ` Julia Lawall
2014-03-06 17:04 ` SF Markus Elfring
2014-09-30 13:24 ` [Cocci] Fix for "lexing: empty token" needed? SF Markus Elfring
2014-03-05 22:30 ` [Cocci] [PATCH with Coccinelle?] Deletion of unnecessary checks before specific function calls SF Markus Elfring
2014-03-05 22:48 ` [Cocci] [coccicheck Linux 3.14-rc5 PATCH 1 of 5] " SF Markus Elfring
2014-03-05 22:50 ` [Cocci] [coccicheck Linux 3.14-rc5 PATCH 2 " SF Markus Elfring
2014-03-05 22:52 ` [Cocci] [coccicheck Linux 3.14-rc5 PATCH 3 " SF Markus Elfring
2014-03-05 22:55 ` [Cocci] [coccicheck Linux 3.14-rc5 PATCH 4 " SF Markus Elfring
2014-03-05 22:58 ` [Cocci] [coccicheck Linux 3.14-rc5 PATCH 5 " SF Markus Elfring
2014-10-01 13:01 ` [Cocci] [PATCH with Coccinelle?] " SF Markus Elfring
2014-10-01 14:06 ` [Cocci] [coccicheck PATCH 1/5] " SF Markus Elfring
2014-10-01 14:06 ` [Cocci] [coccicheck PATCH 2/5] " SF Markus Elfring
2014-10-01 14:06 ` [Cocci] [coccicheck PATCH 3/5] " SF Markus Elfring
2014-10-01 14:07 ` [Cocci] [coccicheck PATCH 4/5] " SF Markus Elfring
2014-10-01 14:07 ` [Cocci] [coccicheck PATCH 5/5] " SF Markus Elfring
2014-10-22 14:30 ` [Cocci] [PATCH 1/1] GPU-DRM-nouveau: Deletion of unnecessary checks before two " SF Markus Elfring
2014-10-22 16:48 ` [Cocci] [PATCH 1/1] GPU-DRM-GMA500: " SF Markus Elfring
2014-10-23 11:26 ` One Thousand Gnomes
2014-10-26 12:10 ` SF Markus Elfring
2014-10-26 14:56 ` Arthur Borsboom
2014-10-22 18:00 ` [Cocci] [PATCH 1/1] IOMMU-MSM: Deletion of unnecessary checks before the function call "clk_disable" SF Markus Elfring
2014-10-23 12:51 ` Jörg Rödel
2014-10-22 18:55 ` [Cocci] [PATCH 1/1] SCSI-QLA2XXX: Deletion of unnecessary checks before the function call "vfree" SF Markus Elfring
2014-10-22 19:10 ` SF Markus Elfring [this message]
2014-10-23 19:20 ` [Cocci] [PATCH 1/1] staging - rtl8188eu: Deletion of unnecessary checks before three function calls SF Markus Elfring
2014-10-29 8:47 ` Greg Kroah-Hartman
2014-10-31 17:55 ` [Cocci] [PATCH resent] staging: " SF Markus Elfring
2014-10-31 18:01 ` Julia Lawall
2014-10-31 18:08 ` SF Markus Elfring
2014-10-31 18:11 ` Julia Lawall
2014-11-12 10:51 ` [Cocci] [PATCH with SmPL?] staging: rtl8188eu: Adjustments around jump labels SF Markus Elfring
2014-11-12 20:20 ` [Cocci] [PATCH v2 0/2] staging: rtl8188eu: Deletion of a few unnecessary checks SF Markus Elfring
2014-11-12 20:25 ` [Cocci] [PATCH v2 1/2] staging: rtl8188eu: Deletion of unnecessary checks before three function calls SF Markus Elfring
2014-11-12 21:18 ` Dan Carpenter
2014-11-12 21:28 ` SF Markus Elfring
2014-11-12 21:40 ` Julia Lawall
2014-11-12 22:08 ` Dan Carpenter
2014-11-13 8:47 ` Julia Lawall
2014-11-12 20:30 ` [Cocci] [PATCH v2 2/2] staging: rtl8188eu: Better memory clean-up in efuse_phymap_to_logical() SF Markus Elfring
2014-11-12 21:14 ` Dan Carpenter
2014-11-12 21:50 ` SF Markus Elfring
2014-11-12 22:05 ` Dan Carpenter
2014-11-13 8:50 ` SF Markus Elfring
2014-11-13 8:43 ` Julia Lawall
2014-11-13 9:33 ` SF Markus Elfring
2014-10-31 17:40 ` [Cocci] [PATCH 1/1] s390/net: Deletion of unnecessary checks before two function calls SF Markus Elfring
2014-11-03 9:50 ` Dan Carpenter
2014-11-03 15:55 ` [Cocci] " SF Markus Elfring
2014-11-03 16:25 ` Dan Carpenter
2014-11-03 16:50 ` SF Markus Elfring
2014-11-03 17:02 ` Julia Lawall
2014-11-03 17:16 ` Dan Carpenter
2014-11-03 17:40 ` SF Markus Elfring
2014-11-03 17:05 ` Derek M Jones
2014-11-03 17:32 ` Julia Lawall
2014-11-03 21:30 ` [Cocci] Are defensive checks treated differently in specific areas? SF Markus Elfring
2014-11-03 11:04 ` [Cocci] [PATCH 1/1] s390/net: Deletion of unnecessary checks before two function calls Ursula Braun
2014-11-03 16:10 ` [Cocci] " SF Markus Elfring
2014-11-03 16:28 ` Dan Carpenter
2014-10-31 21:52 ` [Cocci] [PATCH 1/1] btrfs: Deletion of unnecessary checks before six " SF Markus Elfring
2014-10-31 21:59 ` Julia Lawall
2014-11-02 9:40 ` [Cocci] [PATCH 1/1] ocfs2: Deletion of unnecessary checks before two " SF Markus Elfring
2014-11-02 10:51 ` Julia Lawall
2014-11-02 14:20 ` [Cocci] [PATCH 1/1] ceph: " SF Markus Elfring
2014-11-03 10:35 ` Ilya Dryomov
2014-11-03 13:27 ` [Cocci] " SF Markus Elfring
2014-11-03 14:23 ` Ilya Dryomov
2014-11-02 15:12 ` [Cocci] [PATCH 1/1] PCI: Deletion of unnecessary checks before three " SF Markus Elfring
2014-11-11 4:07 ` Bjorn Helgaas
2014-11-02 18:27 ` [Cocci] [PATCH 1/1] PCI: EMU10K1: " SF Markus Elfring
2014-11-03 9:45 ` Takashi Iwai
2014-11-03 14:10 ` [Cocci] [PATCH resent] ALSA: emu10k1: " SF Markus Elfring
2014-11-03 14:17 ` Takashi Iwai
2014-11-02 19:42 ` [Cocci] [PATCH 1/1] kconfig: Deletion of unnecessary checks before the function call "sym_calc_value" SF Markus Elfring
2014-11-03 10:35 ` Paul Bolle
2014-11-03 18:40 ` [Cocci] [PATCH v2] " SF Markus Elfring
2014-11-15 18:19 ` [Cocci] [PATCH 1/1] fs-ext4: Deletion of an unnecessary check before the function call "iput" SF Markus Elfring
2014-11-26 1:16 ` [Cocci] [1/1] " Theodore Ts'o
2014-11-15 18:42 ` [Cocci] [PATCH 1/1] ntfs: Deletion of unnecessary checks " SF Markus Elfring
2014-11-15 19:54 ` Julia Lawall
2014-11-15 20:01 ` [Cocci] [PATCH 1/1] fs-fat: Less function calls in fat_fill_super() after error detection SF Markus Elfring
2014-11-15 20:18 ` Julia Lawall
2014-11-29 6:44 ` [Cocci] [PATCH v2] " SF Markus Elfring
[not found] ` <87sih22sn8.fsf@devron.myhome.or.jp>
2014-11-29 12:40 ` Julia Lawall
[not found] ` <87lhmu2jl8.fsf@devron.myhome.or.jp>
2014-11-29 14:50 ` [Cocci] " SF Markus Elfring
2014-12-01 6:52 ` [Cocci] [PATCH v2] " Dan Carpenter
2014-12-01 8:43 ` Julia Lawall
2014-12-01 15:30 ` SF Markus Elfring
2014-12-01 19:17 ` Dan Carpenter
2014-12-01 21:22 ` SF Markus Elfring
2014-12-02 7:34 ` Dan Carpenter
2014-12-02 7:37 ` Julia Lawall
2014-12-02 8:59 ` [Cocci] [patch] CodingStyle: add some more error handling guidelines Dan Carpenter
2014-12-02 9:09 ` Julia Lawall
2014-12-02 13:56 ` Jonathan Corbet
2014-12-03 12:31 ` SF Markus Elfring
2014-12-03 12:39 ` Arend van Spriel
2014-12-03 12:51 ` SF Markus Elfring
2014-12-03 12:45 ` Dan Carpenter
2014-12-03 12:52 ` Julia Lawall
2014-12-03 15:45 ` [Cocci] while compiling coccci 1.0.0-rc22 Francois Berenger
2014-12-03 15:50 ` Francois Berenger
2014-12-03 16:00 ` Francois Berenger
2014-12-03 16:20 ` Francois Berenger
2014-12-03 17:24 ` Julia Lawall
2014-11-15 20:44 ` [Cocci] [PATCH 1/1] lib/mpi: Deletion of unnecessary checks before the function call "mpi_free_limb_space" SF Markus Elfring
2014-11-16 10:40 ` [Cocci] [PATCH 1/1] kernel-audit: Deletion of an unnecessary check before the function call "audit_log_end" SF Markus Elfring
2014-11-16 11:10 ` Dan Carpenter
2014-11-16 11:14 ` Dan Carpenter
2014-11-16 11:48 ` SF Markus Elfring
2014-11-17 7:34 ` Dan Carpenter
2014-11-17 8:56 ` SF Markus Elfring
2014-11-17 13:45 ` Dan Carpenter
2014-11-23 11:51 ` Julia Lawall
2014-11-23 13:24 ` [Cocci] " SF Markus Elfring
2014-11-24 9:03 ` Dan Carpenter
2014-11-16 11:24 ` [Cocci] [PATCH 1/1] " Dan Carpenter
2014-11-16 12:07 ` [Cocci] [PATCH 1/1] kernel-audit: Deletion of an unnecessary check before the function call "audit_log_end" (or improve error handling?) SF Markus Elfring
2014-11-16 12:34 ` [Cocci] [PATCH 1/1] kprobes: Deletion of an unnecessary check before the function call "module_put" SF Markus Elfring
2014-11-16 13:29 ` Julia Lawall
2014-11-16 14:26 ` SF Markus Elfring
2014-11-16 15:43 ` Julia Lawall
2014-11-16 16:57 ` SF Markus Elfring
[not found] ` <5469B08E.90104@hitachi.com>
2014-11-19 7:08 ` SF Markus Elfring
2014-11-16 13:28 ` [Cocci] [PATCH 1/1] kernel-power: Deletion of an unnecessary check before the function call "vfree" SF Markus Elfring
2014-11-16 13:50 ` [Cocci] [PATCH 1/1] kernel-trace: Deletion of an unnecessary check before the function call "iput" SF Markus Elfring
2014-11-16 15:56 ` Julia Lawall
2014-11-16 19:13 ` [Cocci] [PATCH v2 0/2] kernel-trace: Fixes around the jump label "fail_address_parse" SF Markus Elfring
2014-11-16 19:18 ` [Cocci] [PATCH v2 1/2] kernel-trace: Deletion of an unnecessary check before the function call "iput" SF Markus Elfring
2014-11-16 19:22 ` [Cocci] [PATCH v2 2/2] kernel-trace: Less calls for iput() in create_trace_uprobe() after error detection SF Markus Elfring
[not found] ` <20141116143120.44421df2@gandalf.local.home>
2014-11-16 19:34 ` Julia Lawall
2014-11-16 22:40 ` [Cocci] [PATCH 1/1] fs-jbd: Deletion of an unnecessary check before the function call "iput" SF Markus Elfring
2014-11-17 10:07 ` [Cocci] [PATCH 1/1] ALSA: hda: Deletion of unnecessary checks before two function calls SF Markus Elfring
2014-11-17 10:34 ` [Cocci] [PATCH 1/1] ALSA: ice17xx: Deletion of unnecessary checks before the function call "snd_ac97_resume" SF Markus Elfring
2014-11-17 11:48 ` [Cocci] [PATCH 1/1] ALSA: lola: Deletion of an unnecessary check before the function call "vfree" SF Markus Elfring
2014-11-17 12:12 ` [Cocci] [PATCH 1/1] ALSA: hdsp: Deletion of an unnecessary check before the function call "release_firmware" SF Markus Elfring
2014-11-17 12:41 ` [Cocci] [PATCH 1/1] ALSA: powermac: Deletion of an unnecessary check before the function call "pci_dev_put" SF Markus Elfring
2014-11-17 13:42 ` [Cocci] [PATCH 1/1] tools lib traceevent: Deletion of an unnecessary check before the function call "free_arg" SF Markus Elfring
2014-11-17 17:11 ` [Cocci] [PATCH 1/1] perf tools: Deletion of unnecessary checks before two function calls SF Markus Elfring
2014-11-17 17:40 ` [Cocci] [PATCH 1/1] mm/zswap: Deletion of an unnecessary check before the function call "free_percpu" SF Markus Elfring
2014-11-17 18:19 ` [Cocci] [PATCH 1/1] hfs/hfs+: Deletion of unnecessary checks before the function call "hfs_bnode_put" SF Markus Elfring
2014-11-17 18:42 ` [Cocci] [PATCH 1/1] configfs: Deletion of unnecessary checks before the function call "config_item_put" SF Markus Elfring
2014-11-18 8:35 ` [Cocci] [PATCH 1/1] fs-eventpoll: Deletion of unnecessary checks before the function call "__pm_stay_awake" SF Markus Elfring
2014-11-18 9:10 ` [Cocci] [PATCH 1/1] exofs: Deletion of an unnecessary check before the function call "ore_put_io_state" SF Markus Elfring
2014-11-18 10:35 ` [Cocci] [PATCH 1/1] GFS2: Deletion of unnecessary checks before two function calls SF Markus Elfring
2014-11-18 11:20 ` [Cocci] [PATCH 1/1] fs-namespace: Deletion of unnecessary checks before the function call "mntput" SF Markus Elfring
2014-11-18 13:10 ` [Cocci] [PATCH 1/1] NFS: Deletion of unnecessary checks before the function call "nfs_put_client" SF Markus Elfring
2014-11-18 13:48 ` [Cocci] [PATCH 1/1] nilfs2: Deletion of an unnecessary check before the function call "iput" SF Markus Elfring
2014-11-18 14:51 ` [Cocci] [PATCH 1/1] fs-proc: One function call less in proc_sys_lookup() after error detection SF Markus Elfring
2014-11-18 17:55 ` [Cocci] [PATCH 0/2] fs-udf: Deletion of two unnecessary checks SF Markus Elfring
2014-11-18 18:00 ` [Cocci] [PATCH 1/2] fs-udf: Deletion of unnecessary checks before the function call "iput" SF Markus Elfring
2014-11-18 18:02 ` [Cocci] [PATCH 2/2] fs-udf: One function call less in udf_fill_super() after error detection SF Markus Elfring
2014-11-18 19:16 ` [Cocci] [PATCH 1/1] net: pktgen: Deletion of an unnecessary check before the function call "proc_remove" SF Markus Elfring
2014-11-18 20:08 ` [Cocci] [PATCH 1/1] netlink: Deletion of an unnecessary check before the function call "__module_get" SF Markus Elfring
2014-11-18 20:26 ` [Cocci] [PATCH 1/1] net: sched: Deletion of an unnecessary check before the function call "kfree" SF Markus Elfring
2014-11-18 20:45 ` [Cocci] [PATCH 1/1] net: xfrm: Deletion of an unnecessary check before the function call "ipcomp_free_tfms" SF Markus Elfring
2014-11-19 8:45 ` Dan Carpenter
2014-11-18 21:03 ` [Cocci] [PATCH 1/1] keys: Deletion of an unnecessary check before the function call "key_put" SF Markus Elfring
2014-11-29 13:42 ` [Cocci] [PATCH 1/1] HID: Wacom: Deletion of an unnecessary check before the function call "vfree" SF Markus Elfring
2014-11-29 14:05 ` [Cocci] [PATCH 1/1] net: cassini: " SF Markus Elfring
2014-11-29 14:33 ` [Cocci] [PATCH 1/1] HID: Wacom: Deletion of unnecessary checks before the function call "input_free_device" SF Markus Elfring
[not found] ` <66bd684a-98f1-0ec4-aa95-1a966d7c4e90@users.sourceforge.net>
[not found] ` <6a8f4258-188e-36f6-28fa-1626c29cf361@users.sourceforge.net>
[not found] ` <alpine.DEB.2.10.1607172056220.3177@hadrien>
[not found] ` <20160720155333.GE1688@katana>
[not found] ` <b249584b-47b8-ffd9-432e-986d69260ff1@users.sourceforge.net>
[not found] ` <20160721062726.GC1664@katana>
[not found] ` <b221aadb-2af7-8d0f-ce8e-99b1efa31edd@users.sourceforge.net>
[not found] ` <20160721163714.GB1616@katana>
2016-07-21 19:00 ` [Cocci] Changing return value determination in if statements with SmPL SF Markus Elfring
2016-07-21 20:00 ` Julia Lawall
2016-07-21 20:40 ` SF Markus Elfring
2016-07-21 20:47 ` Julia Lawall
2016-07-21 21:00 ` [Cocci] Better explanation for the usage of expression/parameter lists with SmPL? SF Markus Elfring
2016-07-21 21:05 ` Julia Lawall
2016-07-21 21:15 ` SF Markus Elfring
2014-03-01 8:16 ` [Cocci] Improvements for passing of big regular expressions in SmPL constraints? SF Markus Elfring
2014-03-01 13:15 ` Julia Lawall
2014-03-01 13:34 ` SF Markus Elfring
2014-03-01 13:36 ` Julia Lawall
2014-03-08 12:30 ` [Cocci] Determination of the number for named function parameters SF Markus Elfring
2014-03-08 14:16 ` Julia Lawall
2014-03-08 15:10 ` SF Markus Elfring
2014-03-08 20:01 ` SF Markus Elfring
2014-03-08 21:41 ` Julia Lawall
2014-03-09 8:00 ` SF Markus Elfring
2014-03-09 8:12 ` Julia Lawall
2014-03-09 8:50 ` SF Markus Elfring
2014-03-14 14:25 ` SF Markus Elfring
2014-03-09 12:51 ` SF Markus Elfring
2014-03-09 13:06 ` Julia Lawall
2014-03-09 13:36 ` SF Markus Elfring
2014-03-09 13:40 ` Julia Lawall
2014-03-09 13:51 ` SF Markus Elfring
2014-12-03 8:09 ` SF Markus Elfring
2014-12-03 8:48 ` Julia Lawall
2014-12-03 9:13 ` SF Markus Elfring
2014-12-03 9:19 ` Julia Lawall
2014-12-03 10:02 ` SF Markus Elfring
2014-12-03 10:36 ` Julia Lawall
2014-03-10 18:00 ` [Cocci] Selection of class libraries ...? SF Markus Elfring
2014-03-10 18:19 ` Julia Lawall
2014-03-10 18:30 ` SF Markus Elfring
2014-03-10 19:24 ` Julia Lawall
2014-03-10 21:10 ` SF Markus Elfring
2014-03-10 21:15 ` Julia Lawall
2014-03-10 21:26 ` SF Markus Elfring
2014-03-12 10:10 ` [Cocci] Clarification for OCaml scripts in SmPL SF Markus Elfring
2014-03-12 12:10 ` SF Markus Elfring
2014-03-14 0:19 ` Julia Lawall
2014-03-13 23:56 ` Julia Lawall
2014-03-13 23:58 ` Julia Lawall
2014-03-14 0:09 ` Julia Lawall
2014-03-14 7:14 ` SF Markus Elfring
2014-03-14 8:29 ` Julia Lawall
2014-03-14 8:39 ` SF Markus Elfring
2014-03-14 8:48 ` Julia Lawall
2014-03-14 9:01 ` SF Markus Elfring
2014-03-08 21:59 ` [Cocci] Determination of the number for named function parameters Julia Lawall
2014-03-09 7:01 ` SF Markus Elfring
2014-03-09 7:13 ` Julia Lawall
2014-03-09 7:18 ` [Cocci] Improvements for the SmPL grammar description? SF Markus Elfring
2014-02-26 7:25 ` [Cocci] Branch layout for if statements with SmPL disjunctions SF Markus Elfring
2014-02-26 9:39 ` Julia Lawall
2014-11-28 16:00 ` [Cocci] Remove unnecessary null pointer checks? SF Markus Elfring
2014-03-27 13:41 ` [Cocci] How to exclude volatile data accesses in expressions with SmPL? SF Markus Elfring
2014-03-27 18:10 ` Julia Lawall
2014-03-27 18:39 ` SF Markus Elfring
2014-03-27 18:43 ` Julia Lawall
2014-03-27 18:59 ` SF Markus Elfring
2014-04-07 15:07 ` SF Markus Elfring
2014-04-07 15:16 ` Julia Lawall
2014-04-07 15:28 ` SF Markus Elfring
2014-04-07 15:34 ` Julia Lawall
2014-04-07 15:40 ` SF Markus Elfring
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=5448011D.1000500@users.sourceforge.net \
--to=elfring@users.sourceforge.net \
--cc=cocci@systeme.lip6.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox