public inbox for linux-kernel@vger.kernel.org
 help / color / mirror / Atom feed
From: Dan Carpenter <dan.carpenter@oracle.com>
To: kbuild@lists.01.org, "Cédric Le Goater" <clg@kaod.org>
Cc: lkp@intel.com, kbuild-all@lists.01.org,
	linux-kernel@vger.kernel.org,
	Michael Ellerman <mpe@ellerman.id.au>
Subject: arch/powerpc/sysdev/xive/common.c:1614 xive_debug_show_irq() warn: variable dereferenced before check 'd' (see line 1596)
Date: Sat, 27 Feb 2021 18:03:25 +0300	[thread overview]
Message-ID: <20210227150325.GI2087@kadam> (raw)

[-- Attachment #1: Type: text/plain, Size: 3719 bytes --]

tree:   https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head:   3fb6d0e00efc958d01c2f109c8453033a2d96796
commit: 930914b7d528fc6b0249bffc00564100bcf6ef75 powerpc/xive: Add a debugfs file to dump internal XIVE state
config: powerpc64-randconfig-m031-20210226 (attached as .config)
compiler: powerpc64-linux-gcc (GCC) 9.3.0

If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp@intel.com>
Reported-by: Dan Carpenter <dan.carpenter@oracle.com>

New smatch warnings:
arch/powerpc/sysdev/xive/common.c:1614 xive_debug_show_irq() warn: variable dereferenced before check 'd' (see line 1596)

Old smatch warnings:
arch/powerpc/sysdev/xive/common.c:280 xmon_xive_get_irq_config() warn: variable dereferenced before check 'd' (see line 262)

vim +/d +1614 arch/powerpc/sysdev/xive/common.c

930914b7d528fc Cédric Le Goater 2020-03-06  1594  void xive_debug_show_irq(struct seq_file *m, u32 hw_irq, struct irq_data *d)
930914b7d528fc Cédric Le Goater 2020-03-06  1595  {
930914b7d528fc Cédric Le Goater 2020-03-06 @1596  	struct irq_chip *chip = irq_data_get_irq_chip(d);
                                                                                                      ^
Dereferenced inside function

930914b7d528fc Cédric Le Goater 2020-03-06  1597  	int rc;
930914b7d528fc Cédric Le Goater 2020-03-06  1598  	u32 target;
930914b7d528fc Cédric Le Goater 2020-03-06  1599  	u8 prio;
930914b7d528fc Cédric Le Goater 2020-03-06  1600  	u32 lirq;
930914b7d528fc Cédric Le Goater 2020-03-06  1601  
930914b7d528fc Cédric Le Goater 2020-03-06  1602  	if (!is_xive_irq(chip))
930914b7d528fc Cédric Le Goater 2020-03-06  1603  		return;
930914b7d528fc Cédric Le Goater 2020-03-06  1604  
930914b7d528fc Cédric Le Goater 2020-03-06  1605  	rc = xive_ops->get_irq_config(hw_irq, &target, &prio, &lirq);
930914b7d528fc Cédric Le Goater 2020-03-06  1606  	if (rc) {
930914b7d528fc Cédric Le Goater 2020-03-06  1607  		seq_printf(m, "IRQ 0x%08x : no config rc=%d\n", hw_irq, rc);
930914b7d528fc Cédric Le Goater 2020-03-06  1608  		return;
930914b7d528fc Cédric Le Goater 2020-03-06  1609  	}
930914b7d528fc Cédric Le Goater 2020-03-06  1610  
930914b7d528fc Cédric Le Goater 2020-03-06  1611  	seq_printf(m, "IRQ 0x%08x : target=0x%x prio=%02x lirq=0x%x ",
930914b7d528fc Cédric Le Goater 2020-03-06  1612  		   hw_irq, target, prio, lirq);
930914b7d528fc Cédric Le Goater 2020-03-06  1613  
930914b7d528fc Cédric Le Goater 2020-03-06 @1614  	if (d) {
                                                        ^^^^^^^^
Checked too late.

930914b7d528fc Cédric Le Goater 2020-03-06  1615  		struct xive_irq_data *xd = irq_data_get_irq_handler_data(d);
930914b7d528fc Cédric Le Goater 2020-03-06  1616  		u64 val = xive_esb_read(xd, XIVE_ESB_GET);
930914b7d528fc Cédric Le Goater 2020-03-06  1617  
930914b7d528fc Cédric Le Goater 2020-03-06  1618  		seq_printf(m, "flags=%c%c%c PQ=%c%c",
930914b7d528fc Cédric Le Goater 2020-03-06  1619  			   xd->flags & XIVE_IRQ_FLAG_STORE_EOI ? 'S' : ' ',
930914b7d528fc Cédric Le Goater 2020-03-06  1620  			   xd->flags & XIVE_IRQ_FLAG_LSI ? 'L' : ' ',
930914b7d528fc Cédric Le Goater 2020-03-06  1621  			   xd->flags & XIVE_IRQ_FLAG_H_INT_ESB ? 'H' : ' ',
930914b7d528fc Cédric Le Goater 2020-03-06  1622  			   val & XIVE_ESB_VAL_P ? 'P' : '-',
930914b7d528fc Cédric Le Goater 2020-03-06  1623  			   val & XIVE_ESB_VAL_Q ? 'Q' : '-');
930914b7d528fc Cédric Le Goater 2020-03-06  1624  	}
930914b7d528fc Cédric Le Goater 2020-03-06  1625  	seq_puts(m, "\n");
930914b7d528fc Cédric Le Goater 2020-03-06  1626  }

---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org

[-- Attachment #2: .config.gz --]
[-- Type: application/gzip, Size: 31970 bytes --]

             reply	other threads:[~2021-02-27 15:08 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-02-27 15:03 Dan Carpenter [this message]
2021-03-03 13:23 ` arch/powerpc/sysdev/xive/common.c:1614 xive_debug_show_irq() warn: variable dereferenced before check 'd' (see line 1596) Cédric Le Goater

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=20210227150325.GI2087@kadam \
    --to=dan.carpenter@oracle.com \
    --cc=clg@kaod.org \
    --cc=kbuild-all@lists.01.org \
    --cc=kbuild@lists.01.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=lkp@intel.com \
    --cc=mpe@ellerman.id.au \
    /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