[<prev] [next>] [day] [month] [year] [list]
Message-ID: <d954517a-ec1d-43b6-beef-b15f9f289612@stanley.mountain>
Date: Thu, 31 Oct 2024 09:52:14 +0300
From: Dan Carpenter <dan.carpenter@...aro.org>
To: oe-kbuild@...ts.linux.dev, Anup Patel <apatel@...tanamicro.com>
Cc: lkp@...el.com, oe-kbuild-all@...ts.linux.dev,
linux-kernel@...r.kernel.org, Thomas Gleixner <tglx@...utronix.de>,
Conor Dooley <conor.dooley@...rochip.com>,
Björn Töpel <bjorn@...osinc.com>
Subject: drivers/irqchip/irq-riscv-imsic-state.c:854 imsic_setup_state()
error: we previously assumed 'mmios_va' could be null (see line 745)
Hi Anup,
First bad commit (maybe != root cause):
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: 4236f913808cebef1b9e078726a4e5d56064f7ad
commit: 0eebc69db358fd2f6fe34cc4db6428df6a540dd7 RISC-V: Select APLIC and IMSIC drivers
date: 7 months ago
config: riscv-randconfig-r071-20241030 (https://download.01.org/0day-ci/archive/20241031/202410310641.Nrmy8Sr0-lkp@intel.com/config)
compiler: clang version 17.0.6 (https://github.com/llvm/llvm-project 6009708b4367171ccdbf4b5905cb6a803753fe18)
If you fix the issue in a separate patch/commit (i.e. not just a new version of
the same patch/commit), kindly add following tags
| Reported-by: kernel test robot <lkp@...el.com>
| Reported-by: Dan Carpenter <dan.carpenter@...aro.org>
| Closes: https://lore.kernel.org/r/202410310641.Nrmy8Sr0-lkp@intel.com/
New smatch warnings:
drivers/irqchip/irq-riscv-imsic-state.c:854 imsic_setup_state() error: we previously assumed 'mmios_va' could be null (see line 745)
vim +/mmios_va +854 drivers/irqchip/irq-riscv-imsic-state.c
21a8f8a0eb35ce Anup Patel 2024-03-07 691 int __init imsic_setup_state(struct fwnode_handle *fwnode)
21a8f8a0eb35ce Anup Patel 2024-03-07 692 {
21a8f8a0eb35ce Anup Patel 2024-03-07 693 u32 i, j, index, nr_parent_irqs, nr_mmios, nr_handlers = 0;
21a8f8a0eb35ce Anup Patel 2024-03-07 694 struct imsic_global_config *global;
21a8f8a0eb35ce Anup Patel 2024-03-07 695 struct imsic_local_config *local;
21a8f8a0eb35ce Anup Patel 2024-03-07 696 void __iomem **mmios_va = NULL;
21a8f8a0eb35ce Anup Patel 2024-03-07 697 struct resource *mmios = NULL;
21a8f8a0eb35ce Anup Patel 2024-03-07 698 unsigned long reloff, hartid;
21a8f8a0eb35ce Anup Patel 2024-03-07 699 phys_addr_t base_addr;
21a8f8a0eb35ce Anup Patel 2024-03-07 700 int rc, cpu;
21a8f8a0eb35ce Anup Patel 2024-03-07 701
21a8f8a0eb35ce Anup Patel 2024-03-07 702 /*
21a8f8a0eb35ce Anup Patel 2024-03-07 703 * Only one IMSIC instance allowed in a platform for clean
21a8f8a0eb35ce Anup Patel 2024-03-07 704 * implementation of SMP IRQ affinity and per-CPU IPIs.
21a8f8a0eb35ce Anup Patel 2024-03-07 705 *
21a8f8a0eb35ce Anup Patel 2024-03-07 706 * This means on a multi-socket (or multi-die) platform we
21a8f8a0eb35ce Anup Patel 2024-03-07 707 * will have multiple MMIO regions for one IMSIC instance.
21a8f8a0eb35ce Anup Patel 2024-03-07 708 */
21a8f8a0eb35ce Anup Patel 2024-03-07 709 if (imsic) {
21a8f8a0eb35ce Anup Patel 2024-03-07 710 pr_err("%pfwP: already initialized hence ignoring\n", fwnode);
21a8f8a0eb35ce Anup Patel 2024-03-07 711 return -EALREADY;
21a8f8a0eb35ce Anup Patel 2024-03-07 712 }
21a8f8a0eb35ce Anup Patel 2024-03-07 713
21a8f8a0eb35ce Anup Patel 2024-03-07 714 if (!riscv_isa_extension_available(NULL, SxAIA)) {
21a8f8a0eb35ce Anup Patel 2024-03-07 715 pr_err("%pfwP: AIA support not available\n", fwnode);
21a8f8a0eb35ce Anup Patel 2024-03-07 716 return -ENODEV;
21a8f8a0eb35ce Anup Patel 2024-03-07 717 }
21a8f8a0eb35ce Anup Patel 2024-03-07 718
21a8f8a0eb35ce Anup Patel 2024-03-07 719 imsic = kzalloc(sizeof(*imsic), GFP_KERNEL);
21a8f8a0eb35ce Anup Patel 2024-03-07 720 if (!imsic)
21a8f8a0eb35ce Anup Patel 2024-03-07 721 return -ENOMEM;
21a8f8a0eb35ce Anup Patel 2024-03-07 722 imsic->fwnode = fwnode;
21a8f8a0eb35ce Anup Patel 2024-03-07 723 global = &imsic->global;
21a8f8a0eb35ce Anup Patel 2024-03-07 724
21a8f8a0eb35ce Anup Patel 2024-03-07 725 global->local = alloc_percpu(typeof(*global->local));
21a8f8a0eb35ce Anup Patel 2024-03-07 726 if (!global->local) {
21a8f8a0eb35ce Anup Patel 2024-03-07 727 rc = -ENOMEM;
21a8f8a0eb35ce Anup Patel 2024-03-07 728 goto out_free_priv;
21a8f8a0eb35ce Anup Patel 2024-03-07 729 }
21a8f8a0eb35ce Anup Patel 2024-03-07 730
21a8f8a0eb35ce Anup Patel 2024-03-07 731 /* Parse IMSIC fwnode */
21a8f8a0eb35ce Anup Patel 2024-03-07 732 rc = imsic_parse_fwnode(fwnode, global, &nr_parent_irqs, &nr_mmios);
21a8f8a0eb35ce Anup Patel 2024-03-07 733 if (rc)
21a8f8a0eb35ce Anup Patel 2024-03-07 734 goto out_free_local;
21a8f8a0eb35ce Anup Patel 2024-03-07 735
21a8f8a0eb35ce Anup Patel 2024-03-07 736 /* Allocate MMIO resource array */
21a8f8a0eb35ce Anup Patel 2024-03-07 737 mmios = kcalloc(nr_mmios, sizeof(*mmios), GFP_KERNEL);
21a8f8a0eb35ce Anup Patel 2024-03-07 738 if (!mmios) {
21a8f8a0eb35ce Anup Patel 2024-03-07 739 rc = -ENOMEM;
21a8f8a0eb35ce Anup Patel 2024-03-07 740 goto out_free_local;
21a8f8a0eb35ce Anup Patel 2024-03-07 741 }
21a8f8a0eb35ce Anup Patel 2024-03-07 742
21a8f8a0eb35ce Anup Patel 2024-03-07 743 /* Allocate MMIO virtual address array */
21a8f8a0eb35ce Anup Patel 2024-03-07 744 mmios_va = kcalloc(nr_mmios, sizeof(*mmios_va), GFP_KERNEL);
21a8f8a0eb35ce Anup Patel 2024-03-07 @745 if (!mmios_va) {
21a8f8a0eb35ce Anup Patel 2024-03-07 746 rc = -ENOMEM;
21a8f8a0eb35ce Anup Patel 2024-03-07 747 goto out_iounmap;
mmios_va is NULL here.
21a8f8a0eb35ce Anup Patel 2024-03-07 748 }
21a8f8a0eb35ce Anup Patel 2024-03-07 749
21a8f8a0eb35ce Anup Patel 2024-03-07 750 /* Parse and map MMIO register sets */
21a8f8a0eb35ce Anup Patel 2024-03-07 751 for (i = 0; i < nr_mmios; i++) {
21a8f8a0eb35ce Anup Patel 2024-03-07 752 rc = imsic_get_mmio_resource(fwnode, i, &mmios[i]);
21a8f8a0eb35ce Anup Patel 2024-03-07 753 if (rc) {
21a8f8a0eb35ce Anup Patel 2024-03-07 754 pr_err("%pfwP: unable to parse MMIO regset %d\n", fwnode, i);
21a8f8a0eb35ce Anup Patel 2024-03-07 755 goto out_iounmap;
21a8f8a0eb35ce Anup Patel 2024-03-07 756 }
21a8f8a0eb35ce Anup Patel 2024-03-07 757
21a8f8a0eb35ce Anup Patel 2024-03-07 758 base_addr = mmios[i].start;
21a8f8a0eb35ce Anup Patel 2024-03-07 759 base_addr &= ~(BIT(global->guest_index_bits +
21a8f8a0eb35ce Anup Patel 2024-03-07 760 global->hart_index_bits +
21a8f8a0eb35ce Anup Patel 2024-03-07 761 IMSIC_MMIO_PAGE_SHIFT) - 1);
21a8f8a0eb35ce Anup Patel 2024-03-07 762 base_addr &= ~((BIT(global->group_index_bits) - 1) <<
21a8f8a0eb35ce Anup Patel 2024-03-07 763 global->group_index_shift);
21a8f8a0eb35ce Anup Patel 2024-03-07 764 if (base_addr != global->base_addr) {
21a8f8a0eb35ce Anup Patel 2024-03-07 765 rc = -EINVAL;
21a8f8a0eb35ce Anup Patel 2024-03-07 766 pr_err("%pfwP: address mismatch for regset %d\n", fwnode, i);
21a8f8a0eb35ce Anup Patel 2024-03-07 767 goto out_iounmap;
21a8f8a0eb35ce Anup Patel 2024-03-07 768 }
21a8f8a0eb35ce Anup Patel 2024-03-07 769
21a8f8a0eb35ce Anup Patel 2024-03-07 770 mmios_va[i] = ioremap(mmios[i].start, resource_size(&mmios[i]));
21a8f8a0eb35ce Anup Patel 2024-03-07 771 if (!mmios_va[i]) {
21a8f8a0eb35ce Anup Patel 2024-03-07 772 rc = -EIO;
21a8f8a0eb35ce Anup Patel 2024-03-07 773 pr_err("%pfwP: unable to map MMIO regset %d\n", fwnode, i);
21a8f8a0eb35ce Anup Patel 2024-03-07 774 goto out_iounmap;
21a8f8a0eb35ce Anup Patel 2024-03-07 775 }
21a8f8a0eb35ce Anup Patel 2024-03-07 776 }
21a8f8a0eb35ce Anup Patel 2024-03-07 777
21a8f8a0eb35ce Anup Patel 2024-03-07 778 /* Initialize local (or per-CPU )state */
21a8f8a0eb35ce Anup Patel 2024-03-07 779 rc = imsic_local_init();
21a8f8a0eb35ce Anup Patel 2024-03-07 780 if (rc) {
21a8f8a0eb35ce Anup Patel 2024-03-07 781 pr_err("%pfwP: failed to initialize local state\n",
21a8f8a0eb35ce Anup Patel 2024-03-07 782 fwnode);
21a8f8a0eb35ce Anup Patel 2024-03-07 783 goto out_iounmap;
21a8f8a0eb35ce Anup Patel 2024-03-07 784 }
21a8f8a0eb35ce Anup Patel 2024-03-07 785
21a8f8a0eb35ce Anup Patel 2024-03-07 786 /* Configure handlers for target CPUs */
21a8f8a0eb35ce Anup Patel 2024-03-07 787 for (i = 0; i < nr_parent_irqs; i++) {
21a8f8a0eb35ce Anup Patel 2024-03-07 788 rc = imsic_get_parent_hartid(fwnode, i, &hartid);
21a8f8a0eb35ce Anup Patel 2024-03-07 789 if (rc) {
21a8f8a0eb35ce Anup Patel 2024-03-07 790 pr_warn("%pfwP: hart ID for parent irq%d not found\n", fwnode, i);
21a8f8a0eb35ce Anup Patel 2024-03-07 791 continue;
21a8f8a0eb35ce Anup Patel 2024-03-07 792 }
21a8f8a0eb35ce Anup Patel 2024-03-07 793
21a8f8a0eb35ce Anup Patel 2024-03-07 794 cpu = riscv_hartid_to_cpuid(hartid);
21a8f8a0eb35ce Anup Patel 2024-03-07 795 if (cpu < 0) {
21a8f8a0eb35ce Anup Patel 2024-03-07 796 pr_warn("%pfwP: invalid cpuid for parent irq%d\n", fwnode, i);
21a8f8a0eb35ce Anup Patel 2024-03-07 797 continue;
21a8f8a0eb35ce Anup Patel 2024-03-07 798 }
21a8f8a0eb35ce Anup Patel 2024-03-07 799
21a8f8a0eb35ce Anup Patel 2024-03-07 800 /* Find MMIO location of MSI page */
21a8f8a0eb35ce Anup Patel 2024-03-07 801 index = nr_mmios;
21a8f8a0eb35ce Anup Patel 2024-03-07 802 reloff = i * BIT(global->guest_index_bits) *
21a8f8a0eb35ce Anup Patel 2024-03-07 803 IMSIC_MMIO_PAGE_SZ;
21a8f8a0eb35ce Anup Patel 2024-03-07 804 for (j = 0; nr_mmios; j++) {
21a8f8a0eb35ce Anup Patel 2024-03-07 805 if (reloff < resource_size(&mmios[j])) {
21a8f8a0eb35ce Anup Patel 2024-03-07 806 index = j;
21a8f8a0eb35ce Anup Patel 2024-03-07 807 break;
21a8f8a0eb35ce Anup Patel 2024-03-07 808 }
21a8f8a0eb35ce Anup Patel 2024-03-07 809
21a8f8a0eb35ce Anup Patel 2024-03-07 810 /*
21a8f8a0eb35ce Anup Patel 2024-03-07 811 * MMIO region size may not be aligned to
21a8f8a0eb35ce Anup Patel 2024-03-07 812 * BIT(global->guest_index_bits) * IMSIC_MMIO_PAGE_SZ
21a8f8a0eb35ce Anup Patel 2024-03-07 813 * if holes are present.
21a8f8a0eb35ce Anup Patel 2024-03-07 814 */
21a8f8a0eb35ce Anup Patel 2024-03-07 815 reloff -= ALIGN(resource_size(&mmios[j]),
21a8f8a0eb35ce Anup Patel 2024-03-07 816 BIT(global->guest_index_bits) * IMSIC_MMIO_PAGE_SZ);
21a8f8a0eb35ce Anup Patel 2024-03-07 817 }
21a8f8a0eb35ce Anup Patel 2024-03-07 818 if (index >= nr_mmios) {
21a8f8a0eb35ce Anup Patel 2024-03-07 819 pr_warn("%pfwP: MMIO not found for parent irq%d\n", fwnode, i);
21a8f8a0eb35ce Anup Patel 2024-03-07 820 continue;
21a8f8a0eb35ce Anup Patel 2024-03-07 821 }
21a8f8a0eb35ce Anup Patel 2024-03-07 822
21a8f8a0eb35ce Anup Patel 2024-03-07 823 local = per_cpu_ptr(global->local, cpu);
21a8f8a0eb35ce Anup Patel 2024-03-07 824 local->msi_pa = mmios[index].start + reloff;
21a8f8a0eb35ce Anup Patel 2024-03-07 825 local->msi_va = mmios_va[index] + reloff;
21a8f8a0eb35ce Anup Patel 2024-03-07 826
21a8f8a0eb35ce Anup Patel 2024-03-07 827 nr_handlers++;
21a8f8a0eb35ce Anup Patel 2024-03-07 828 }
21a8f8a0eb35ce Anup Patel 2024-03-07 829
21a8f8a0eb35ce Anup Patel 2024-03-07 830 /* If no CPU handlers found then can't take interrupts */
21a8f8a0eb35ce Anup Patel 2024-03-07 831 if (!nr_handlers) {
21a8f8a0eb35ce Anup Patel 2024-03-07 832 pr_err("%pfwP: No CPU handlers found\n", fwnode);
21a8f8a0eb35ce Anup Patel 2024-03-07 833 rc = -ENODEV;
21a8f8a0eb35ce Anup Patel 2024-03-07 834 goto out_local_cleanup;
21a8f8a0eb35ce Anup Patel 2024-03-07 835 }
21a8f8a0eb35ce Anup Patel 2024-03-07 836
21a8f8a0eb35ce Anup Patel 2024-03-07 837 /* Initialize matrix allocator */
21a8f8a0eb35ce Anup Patel 2024-03-07 838 rc = imsic_matrix_init();
21a8f8a0eb35ce Anup Patel 2024-03-07 839 if (rc) {
21a8f8a0eb35ce Anup Patel 2024-03-07 840 pr_err("%pfwP: failed to create matrix allocator\n", fwnode);
21a8f8a0eb35ce Anup Patel 2024-03-07 841 goto out_local_cleanup;
21a8f8a0eb35ce Anup Patel 2024-03-07 842 }
21a8f8a0eb35ce Anup Patel 2024-03-07 843
21a8f8a0eb35ce Anup Patel 2024-03-07 844 /* We don't need MMIO arrays anymore so let's free-up */
21a8f8a0eb35ce Anup Patel 2024-03-07 845 kfree(mmios_va);
21a8f8a0eb35ce Anup Patel 2024-03-07 846 kfree(mmios);
21a8f8a0eb35ce Anup Patel 2024-03-07 847
21a8f8a0eb35ce Anup Patel 2024-03-07 848 return 0;
21a8f8a0eb35ce Anup Patel 2024-03-07 849
21a8f8a0eb35ce Anup Patel 2024-03-07 850 out_local_cleanup:
21a8f8a0eb35ce Anup Patel 2024-03-07 851 imsic_local_cleanup();
21a8f8a0eb35ce Anup Patel 2024-03-07 852 out_iounmap:
21a8f8a0eb35ce Anup Patel 2024-03-07 853 for (i = 0; i < nr_mmios; i++) {
21a8f8a0eb35ce Anup Patel 2024-03-07 @854 if (mmios_va[i])
^^^^^^^^^^^
NULL dereference. It's unfortunate that the zero day bot doesn't include the
next lines in the email...
881 iounmap(mmios_va[i]);
882 }
Add a new label here.
883 kfree(mmios_va);
884 kfree(mmios);
885 out_free_local:
886 free_percpu(imsic->global.local);
887 out_free_priv:
888 kfree(imsic);
889 imsic = NULL;
890 return rc;
891 }
--
0-DAY CI Kernel Test Service
https://github.com/intel/lkp-tests/wiki
Powered by blists - more mailing lists