* [PATCH 2/4] drivers/mmc/host/omap.c: fix error return code
2012-09-17 8:15 [PATCH 1/4] drivers/mmc/host/dw_mmc.c: fix error return code Peter Senna Tschudin
@ 2012-09-17 8:15 ` Peter Senna Tschudin
2012-09-17 8:15 ` [PATCH 3/4] drivers/mmc/host/omap_hsmmc.c: " Peter Senna Tschudin
` (4 subsequent siblings)
5 siblings, 0 replies; 12+ messages in thread
From: Peter Senna Tschudin @ 2012-09-17 8:15 UTC (permalink / raw)
To: jarkko.lavinen
Cc: cjb, linux-omap, linux-mmc, linux-kernel, kernel-janitors,
Peter Senna Tschudin
From: Peter Senna Tschudin <peter.senna@gmail.com>
Convert a nonnegative error return code to a negative one, as returned
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: Peter Senna Tschudin <peter.senna@gmail.com>
---
drivers/mmc/host/omap.c | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/drivers/mmc/host/omap.c b/drivers/mmc/host/omap.c
index 48ad361..d468f51 100644
--- a/drivers/mmc/host/omap.c
+++ b/drivers/mmc/host/omap.c
@@ -1369,8 +1369,10 @@ static int __devinit mmc_omap_probe(struct platform_device *pdev)
host->irq = irq;
host->phys_base = host->mem_res->start;
host->virt_base = ioremap(res->start, resource_size(res));
- if (!host->virt_base)
+ if (!host->virt_base) {
+ ret = -ENOMEM;
goto err_ioremap;
+ }
host->iclk = clk_get(&pdev->dev, "ick");
if (IS_ERR(host->iclk)) {
@@ -1438,8 +1440,10 @@ static int __devinit mmc_omap_probe(struct platform_device *pdev)
host->reg_shift = (cpu_is_omap7xx() ? 1 : 2);
host->mmc_omap_wq = alloc_workqueue("mmc_omap", 0, 0);
- if (!host->mmc_omap_wq)
+ if (!host->mmc_omap_wq) {
+ err = -ENOMEM;
goto err_plat_cleanup;
+ }
for (i = 0; i < pdata->nr_slots; i++) {
ret = mmc_omap_new_slot(host, i);
--
1.7.11.4
^ permalink raw reply related [flat|nested] 12+ messages in thread* [PATCH 3/4] drivers/mmc/host/omap_hsmmc.c: fix error return code
2012-09-17 8:15 [PATCH 1/4] drivers/mmc/host/dw_mmc.c: fix error return code Peter Senna Tschudin
2012-09-17 8:15 ` [PATCH 2/4] drivers/mmc/host/omap.c: " Peter Senna Tschudin
@ 2012-09-17 8:15 ` Peter Senna Tschudin
2012-09-17 18:11 ` S, Venkatraman
2012-09-17 8:15 ` [PATCH 4/4] drivers/mmc/host/mxs-mmc.c: " Peter Senna Tschudin
` (3 subsequent siblings)
5 siblings, 1 reply; 12+ messages in thread
From: Peter Senna Tschudin @ 2012-09-17 8:15 UTC (permalink / raw)
To: svenkatr
Cc: cjb, linux-mmc, linux-omap, linux-kernel, kernel-janitors,
Peter Senna Tschudin
From: Peter Senna Tschudin <peter.senna@gmail.com>
Convert a nonnegative error return code to a negative one, as returned
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: Peter Senna Tschudin <peter.senna@gmail.com>
---
drivers/mmc/host/omap_hsmmc.c | 1 +
1 file changed, 1 insertion(+)
diff --git a/drivers/mmc/host/omap_hsmmc.c b/drivers/mmc/host/omap_hsmmc.c
index e59ac62..c8a2b36 100644
--- a/drivers/mmc/host/omap_hsmmc.c
+++ b/drivers/mmc/host/omap_hsmmc.c
@@ -1893,6 +1893,7 @@ static int __devinit omap_hsmmc_probe(struct platform_device *pdev)
if (pdata->init(&pdev->dev) != 0) {
dev_dbg(mmc_dev(host->mmc),
"Unable to configure MMC IRQs\n");
+ ret = -ENXIO;
goto err_irq_cd_init;
}
}
--
1.7.11.4
^ permalink raw reply related [flat|nested] 12+ messages in thread* Re: [PATCH 3/4] drivers/mmc/host/omap_hsmmc.c: fix error return code
2012-09-17 8:15 ` [PATCH 3/4] drivers/mmc/host/omap_hsmmc.c: " Peter Senna Tschudin
@ 2012-09-17 18:11 ` S, Venkatraman
0 siblings, 0 replies; 12+ messages in thread
From: S, Venkatraman @ 2012-09-17 18:11 UTC (permalink / raw)
To: Peter Senna Tschudin
Cc: cjb, linux-mmc, linux-omap, linux-kernel, kernel-janitors
On Mon, Sep 17, 2012 at 1:45 PM, Peter Senna Tschudin
<peter.senna@gmail.com> wrote:
> From: Peter Senna Tschudin <peter.senna@gmail.com>
>
> Convert a nonnegative error return code to a negative one, as returned
> 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: Peter Senna Tschudin <peter.senna@gmail.com>
Looks good.
Acked-by: Venkatraman S <svenkatr@ti.com>
^ permalink raw reply [flat|nested] 12+ messages in thread
* [PATCH 4/4] drivers/mmc/host/mxs-mmc.c: fix error return code
2012-09-17 8:15 [PATCH 1/4] drivers/mmc/host/dw_mmc.c: fix error return code Peter Senna Tschudin
2012-09-17 8:15 ` [PATCH 2/4] drivers/mmc/host/omap.c: " Peter Senna Tschudin
2012-09-17 8:15 ` [PATCH 3/4] drivers/mmc/host/omap_hsmmc.c: " Peter Senna Tschudin
@ 2012-09-17 8:15 ` Peter Senna Tschudin
2012-09-17 10:09 ` Marek Vasut
2012-09-19 2:25 ` Shawn Guo
2012-09-17 9:18 ` [PATCH 1/4] drivers/mmc/host/dw_mmc.c: " Will Newton
` (2 subsequent siblings)
5 siblings, 2 replies; 12+ messages in thread
From: Peter Senna Tschudin @ 2012-09-17 8:15 UTC (permalink / raw)
To: cjb
Cc: shawn.guo, marex, broonie, vinod.koul, linux-mmc, linux-kernel,
kernel-janitors, Peter Senna Tschudin
From: Peter Senna Tschudin <peter.senna@gmail.com>
Convert a nonnegative error return code to a negative one, as returned
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: Peter Senna Tschudin <peter.senna@gmail.com>
---
drivers/mmc/host/mxs-mmc.c | 1 +
1 file changed, 1 insertion(+)
diff --git a/drivers/mmc/host/mxs-mmc.c b/drivers/mmc/host/mxs-mmc.c
index 80d1e6d..afd8fdd 100644
--- a/drivers/mmc/host/mxs-mmc.c
+++ b/drivers/mmc/host/mxs-mmc.c
@@ -674,6 +674,7 @@ static int mxs_mmc_probe(struct platform_device *pdev)
if (!ssp->dmach) {
dev_err(mmc_dev(host->mmc),
"%s: failed to request dma\n", __func__);
+ ret = -ENODEV;
goto out_clk_put;
}
--
1.7.11.4
^ permalink raw reply related [flat|nested] 12+ messages in thread* Re: [PATCH 4/4] drivers/mmc/host/mxs-mmc.c: fix error return code
2012-09-17 8:15 ` [PATCH 4/4] drivers/mmc/host/mxs-mmc.c: " Peter Senna Tschudin
@ 2012-09-17 10:09 ` Marek Vasut
2012-09-19 2:25 ` Shawn Guo
1 sibling, 0 replies; 12+ messages in thread
From: Marek Vasut @ 2012-09-17 10:09 UTC (permalink / raw)
To: Peter Senna Tschudin
Cc: cjb, shawn.guo, broonie, vinod.koul, linux-mmc, linux-kernel,
kernel-janitors
Dear Peter Senna Tschudin,
> From: Peter Senna Tschudin <peter.senna@gmail.com>
The patch description is a bit crap, but otherwise
Acked-by: Marek Vasut <marex@denx.de>
> Convert a nonnegative error return code to a negative one, as returned
> 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: Peter Senna Tschudin <peter.senna@gmail.com>
> ---
> drivers/mmc/host/mxs-mmc.c | 1 +
> 1 file changed, 1 insertion(+)
>
> diff --git a/drivers/mmc/host/mxs-mmc.c b/drivers/mmc/host/mxs-mmc.c
> index 80d1e6d..afd8fdd 100644
> --- a/drivers/mmc/host/mxs-mmc.c
> +++ b/drivers/mmc/host/mxs-mmc.c
> @@ -674,6 +674,7 @@ static int mxs_mmc_probe(struct platform_device *pdev)
> if (!ssp->dmach) {
> dev_err(mmc_dev(host->mmc),
> "%s: failed to request dma\n", __func__);
> + ret = -ENODEV;
> goto out_clk_put;
> }
Best regards,
Marek Vasut
^ permalink raw reply [flat|nested] 12+ messages in thread* Re: [PATCH 4/4] drivers/mmc/host/mxs-mmc.c: fix error return code
2012-09-17 8:15 ` [PATCH 4/4] drivers/mmc/host/mxs-mmc.c: " Peter Senna Tschudin
2012-09-17 10:09 ` Marek Vasut
@ 2012-09-19 2:25 ` Shawn Guo
1 sibling, 0 replies; 12+ messages in thread
From: Shawn Guo @ 2012-09-19 2:25 UTC (permalink / raw)
To: Peter Senna Tschudin
Cc: cjb, marex, broonie, vinod.koul, linux-mmc, linux-kernel,
kernel-janitors
On Mon, Sep 17, 2012 at 10:15:28AM +0200, Peter Senna Tschudin wrote:
> From: Peter Senna Tschudin <peter.senna@gmail.com>
>
> Convert a nonnegative error return code to a negative one, as returned
> 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: Peter Senna Tschudin <peter.senna@gmail.com>
Acked-by: Shawn Guo <shawn.guo@linaro.org>
> ---
> drivers/mmc/host/mxs-mmc.c | 1 +
> 1 file changed, 1 insertion(+)
>
> diff --git a/drivers/mmc/host/mxs-mmc.c b/drivers/mmc/host/mxs-mmc.c
> index 80d1e6d..afd8fdd 100644
> --- a/drivers/mmc/host/mxs-mmc.c
> +++ b/drivers/mmc/host/mxs-mmc.c
> @@ -674,6 +674,7 @@ static int mxs_mmc_probe(struct platform_device *pdev)
> if (!ssp->dmach) {
> dev_err(mmc_dev(host->mmc),
> "%s: failed to request dma\n", __func__);
> + ret = -ENODEV;
> goto out_clk_put;
> }
>
> --
> 1.7.11.4
>
^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: [PATCH 1/4] drivers/mmc/host/dw_mmc.c: fix error return code
2012-09-17 8:15 [PATCH 1/4] drivers/mmc/host/dw_mmc.c: fix error return code Peter Senna Tschudin
` (2 preceding siblings ...)
2012-09-17 8:15 ` [PATCH 4/4] drivers/mmc/host/mxs-mmc.c: " Peter Senna Tschudin
@ 2012-09-17 9:18 ` Will Newton
2012-09-17 9:54 ` Seungwon Jeon
2012-09-17 12:20 ` [PATCH v2 " Peter Senna Tschudin
5 siblings, 0 replies; 12+ messages in thread
From: Will Newton @ 2012-09-17 9:18 UTC (permalink / raw)
To: Peter Senna Tschudin
Cc: cjb, tgih.jun, jh80.chung, kyungmin.park, linux-mmc, linux-kernel,
kernel-janitors
On Mon, Sep 17, 2012 at 9:15 AM, Peter Senna Tschudin
<peter.senna@gmail.com> wrote:
> From: Peter Senna Tschudin <peter.senna@gmail.com>
>
> Convert a nonnegative error return code to a negative one, as returned
> 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: Peter Senna Tschudin <peter.senna@gmail.com>
Acked-by: Will Newton <will.newton@imgtec.com>
^ permalink raw reply [flat|nested] 12+ messages in thread* RE: [PATCH 1/4] drivers/mmc/host/dw_mmc.c: fix error return code
2012-09-17 8:15 [PATCH 1/4] drivers/mmc/host/dw_mmc.c: fix error return code Peter Senna Tschudin
` (3 preceding siblings ...)
2012-09-17 9:18 ` [PATCH 1/4] drivers/mmc/host/dw_mmc.c: " Will Newton
@ 2012-09-17 9:54 ` Seungwon Jeon
2012-09-17 11:35 ` Peter Senna Tschudin
2012-09-17 12:20 ` [PATCH v2 " Peter Senna Tschudin
5 siblings, 1 reply; 12+ messages in thread
From: Seungwon Jeon @ 2012-09-17 9:54 UTC (permalink / raw)
To: 'Peter Senna Tschudin', cjb
Cc: will.newton, jh80.chung, kyungmin.park, linux-mmc, linux-kernel,
kernel-janitors
On Monday, September 17, 2012, Peter Senna Tschudin <peter.senna@gmail.com> wrote:
> From: Peter Senna Tschudin <peter.senna@gmail.com>
>
> Convert a nonnegative error return code to a negative one, as returned
> 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: Peter Senna Tschudin <peter.senna@gmail.com>
> ---
> drivers/mmc/host/dw_mmc.c | 4 +++-
> 1 file changed, 3 insertions(+), 1 deletion(-)
>
> diff --git a/drivers/mmc/host/dw_mmc.c b/drivers/mmc/host/dw_mmc.c
> index 36f98c0..7ad5176 100644
> --- a/drivers/mmc/host/dw_mmc.c
> +++ b/drivers/mmc/host/dw_mmc.c
> @@ -2039,8 +2039,10 @@ int dw_mci_probe(struct dw_mci *host)
> tasklet_init(&host->tasklet, dw_mci_tasklet_func, (unsigned long)host);
> host->card_workqueue = alloc_workqueue("dw-mci-card",
> WQ_MEM_RECLAIM | WQ_NON_REENTRANT, 1);
> - if (!host->card_workqueue)
> + if (!host->card_workqueue) {
> + err = -ENOMEM;
ret is expected instead of err.
err isn't defined.
Thanks,
Seungwon Jeon
> goto err_dmaunmap;
> + }
> INIT_WORK(&host->card_work, dw_mci_work_routine_card);
> ret = request_irq(host->irq, dw_mci_interrupt, host->irq_flags, "dw-mci", host);
> if (ret)
> --
> 1.7.11.4
^ permalink raw reply [flat|nested] 12+ messages in thread* Re: [PATCH 1/4] drivers/mmc/host/dw_mmc.c: fix error return code
2012-09-17 9:54 ` Seungwon Jeon
@ 2012-09-17 11:35 ` Peter Senna Tschudin
0 siblings, 0 replies; 12+ messages in thread
From: Peter Senna Tschudin @ 2012-09-17 11:35 UTC (permalink / raw)
To: Seungwon Jeon
Cc: cjb, will.newton, jh80.chung, kyungmin.park, linux-mmc,
linux-kernel, kernel-janitors
On Mon, Sep 17, 2012 at 11:54 AM, Seungwon Jeon <tgih.jun@samsung.com> wrote:
> On Monday, September 17, 2012, Peter Senna Tschudin <peter.senna@gmail.com> wrote:
>> From: Peter Senna Tschudin <peter.senna@gmail.com>
>>
>> Convert a nonnegative error return code to a negative one, as returned
>> 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: Peter Senna Tschudin <peter.senna@gmail.com>
>> ---
>> drivers/mmc/host/dw_mmc.c | 4 +++-
>> 1 file changed, 3 insertions(+), 1 deletion(-)
>>
>> diff --git a/drivers/mmc/host/dw_mmc.c b/drivers/mmc/host/dw_mmc.c
>> index 36f98c0..7ad5176 100644
>> --- a/drivers/mmc/host/dw_mmc.c
>> +++ b/drivers/mmc/host/dw_mmc.c
>> @@ -2039,8 +2039,10 @@ int dw_mci_probe(struct dw_mci *host)
>> tasklet_init(&host->tasklet, dw_mci_tasklet_func, (unsigned long)host);
>> host->card_workqueue = alloc_workqueue("dw-mci-card",
>> WQ_MEM_RECLAIM | WQ_NON_REENTRANT, 1);
>> - if (!host->card_workqueue)
>> + if (!host->card_workqueue) {
>> + err = -ENOMEM;
> ret is expected instead of err.
> err isn't defined.
I'm sorry. Somehow I did not compile for testing this one before
sending. I'll fix, test and resend.
>
> Thanks,
> Seungwon Jeon
>
>> goto err_dmaunmap;
>> + }
>> INIT_WORK(&host->card_work, dw_mci_work_routine_card);
>> ret = request_irq(host->irq, dw_mci_interrupt, host->irq_flags, "dw-mci", host);
>> if (ret)
>> --
>> 1.7.11.4
>
> --
> 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
--
Peter
^ permalink raw reply [flat|nested] 12+ messages in thread
* [PATCH v2 1/4] drivers/mmc/host/dw_mmc.c: fix error return code
2012-09-17 8:15 [PATCH 1/4] drivers/mmc/host/dw_mmc.c: fix error return code Peter Senna Tschudin
` (4 preceding siblings ...)
2012-09-17 9:54 ` Seungwon Jeon
@ 2012-09-17 12:20 ` Peter Senna Tschudin
2012-09-18 10:13 ` Seungwon Jeon
5 siblings, 1 reply; 12+ messages in thread
From: Peter Senna Tschudin @ 2012-09-17 12:20 UTC (permalink / raw)
To: cjb
Cc: will.newton, tgih.jun, jh80.chung, kyungmin.park, linux-mmc,
linux-kernel, kernel-janitors, Peter Senna Tschudin
From: Peter Senna Tschudin <peter.senna@gmail.com>
Convert a nonnegative error return code to a negative one, as returned
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: Peter Senna Tschudin <peter.senna@gmail.com>
---
drivers/mmc/host/dw_mmc.c | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/drivers/mmc/host/dw_mmc.c b/drivers/mmc/host/dw_mmc.c
index 36f98c0..43a2663 100644
--- a/drivers/mmc/host/dw_mmc.c
+++ b/drivers/mmc/host/dw_mmc.c
@@ -2039,8 +2039,10 @@ int dw_mci_probe(struct dw_mci *host)
tasklet_init(&host->tasklet, dw_mci_tasklet_func, (unsigned long)host);
host->card_workqueue = alloc_workqueue("dw-mci-card",
WQ_MEM_RECLAIM | WQ_NON_REENTRANT, 1);
- if (!host->card_workqueue)
+ if (!host->card_workqueue) {
+ ret = -ENOMEM;
goto err_dmaunmap;
+ }
INIT_WORK(&host->card_work, dw_mci_work_routine_card);
ret = request_irq(host->irq, dw_mci_interrupt, host->irq_flags, "dw-mci", host);
if (ret)
--
1.7.11.4
^ permalink raw reply related [flat|nested] 12+ messages in thread* RE: [PATCH v2 1/4] drivers/mmc/host/dw_mmc.c: fix error return code
2012-09-17 12:20 ` [PATCH v2 " Peter Senna Tschudin
@ 2012-09-18 10:13 ` Seungwon Jeon
0 siblings, 0 replies; 12+ messages in thread
From: Seungwon Jeon @ 2012-09-18 10:13 UTC (permalink / raw)
To: 'Peter Senna Tschudin', cjb
Cc: will.newton, jh80.chung, kyungmin.park, linux-mmc, linux-kernel,
kernel-janitors
On Monday, September 17, 2012, Peter Senna Tschudin <peter.senna@gmail.com> wrote:
> From: Peter Senna Tschudin <peter.senna@gmail.com>
>
> Convert a nonnegative error return code to a negative one, as returned
> 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: Peter Senna Tschudin <peter.senna@gmail.com>
Looks good.
Acked-by: Seungwon Jeon <tgih.jun@samsung.com>
> --
> 1.7.11.4
^ permalink raw reply [flat|nested] 12+ messages in thread