From: Julia Lawall <julia.lawall@lip6.fr>
To: Julia Lawall <Julia.Lawall@lip6.fr>
Cc: cbe-oss-dev@lists.ozlabs.org, alsa-devel@alsa-project.org,
Geoff Levand <geoff@infradead.org>,
kernel-janitors@vger.kernel.org, linux-kernel@vger.kernel.org,
Jaroslav Kysela <perex@perex.cz>, Takashi Iwai <tiwai@suse.de>,
linuxppc-dev@lists.ozlabs.org
Subject: Re: [PATCH 9/9] sound/ppc/snd_ps3.c: fix error return code
Date: Sun, 5 Apr 2015 14:12:37 +0200 (CEST) [thread overview]
Message-ID: <alpine.DEB.2.02.1504051412330.2038@localhost6.localdomain6> (raw)
In-Reply-To: <1428233914-4503-9-git-send-email-Julia.Lawall@lip6.fr>
Please ignore. Wrong patch set.
On Sun, 5 Apr 2015, Julia Lawall wrote:
> From: Julia Lawall <Julia.Lawall@lip6.fr>
>
> Initialize ret before returning on failure, as done elsewhere in the
> function.
>
> A simplified version of the semantic match that finds this problem is as
> follows: (http://coccinelle.lip6.fr/)
>
> // <smpl>
> (
> if@p1 (\(ret < 0\|ret != 0\))
> { ... return ret; }
> |
> ret@p1 = 0
> )
> ... when != ret = e1
> when != &ret
> *if(...)
> {
> ... when != ret = e2
> when forall
> return ret;
> }
>
> // </smpl>
>
> Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
>
> ---
> sound/ppc/snd_ps3.c | 1 +
> 1 file changed, 1 insertion(+)
>
> diff --git a/sound/ppc/snd_ps3.c b/sound/ppc/snd_ps3.c
> index 1aa52ef..9b18b52 100644
> --- a/sound/ppc/snd_ps3.c
> +++ b/sound/ppc/snd_ps3.c
> @@ -1040,6 +1040,7 @@ static int __devinit snd_ps3_driver_probe(struct ps3_system_bus_device *dev)
> GFP_KERNEL);
> if (!the_card.null_buffer_start_vaddr) {
> pr_info("%s: nullbuffer alloc failed\n", __func__);
> + ret = -ENOMEM;
> goto clean_preallocate;
> }
> pr_debug("%s: null vaddr=%p dma=%#llx\n", __func__,
>
> --
> To unsubscribe from this list: send the line "unsubscribe kernel-janitors" in
> the body of a message to majordomo@vger.kernel.org
> More majordomo info at http://vger.kernel.org/majordomo-info.html
>
next prev parent reply other threads:[~2015-04-05 12:12 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <1428233914-4503-1-git-send-email-Julia.Lawall@lip6.fr>
2015-04-05 11:38 ` [PATCH 9/9] sound/ppc/snd_ps3.c: fix error return code Julia Lawall
2015-04-05 11:52 ` Geert Uytterhoeven
2015-04-05 12:12 ` Julia Lawall [this message]
[not found] <1416746890-22719-1-git-send-email-Julia.Lawall@lip6.fr>
2014-11-23 12:48 ` Julia Lawall
2014-11-23 13:18 ` Julia Lawall
[not found] <1345359780-18647-1-git-send-email-Julia.Lawall@lip6.fr>
2012-08-19 7:02 ` Julia Lawall
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=alpine.DEB.2.02.1504051412330.2038@localhost6.localdomain6 \
--to=julia.lawall@lip6.fr \
--cc=alsa-devel@alsa-project.org \
--cc=cbe-oss-dev@lists.ozlabs.org \
--cc=geoff@infradead.org \
--cc=kernel-janitors@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linuxppc-dev@lists.ozlabs.org \
--cc=perex@perex.cz \
--cc=tiwai@suse.de \
/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