commit d9538ec6b3ef07d52859bc2d58433a5e4a0ca516
author Leandro Pereira <leandro.pereira@intel.com> Fri Feb 16 17:20:32 2018 -0800
committer Anas Nashif <nashif@linux.intel.com> Fri Feb 16 22:59:40 2018 -0500
tree 4ec7fda30295bdb6a9c20e75c229bbb5cf95f3e9
parent 3b2434f25c66b66d3aeb00ad9492ea08227f90fd

drivers: system_apic: Correctly assert interrupt line number

The interrupt line number is an unsigned integer; it makes no sense to
compare if it is greater than or equal to 0.

Coverity-CID: 182602
Signed-off-by: Leandro Pereira <leandro.pereira@intel.com>

drivers/interrupt_controller/system_apic.c

diff --git a/drivers/interrupt_controller/system_apic.c b/drivers/interrupt_controller/system_apic.c
index a6eef85..54743fe 100644
--- a/drivers/interrupt_controller/system_apic.c
+++ b/drivers/interrupt_controller/system_apic.c
@@ -47,7 +47,7 @@
 void __irq_controller_irq_config(unsigned int vector, unsigned int irq,
 				 u32_t flags)
 {
-	__ASSERT(irq >= 0 && irq <= HARDWARE_IRQ_LIMIT, "invalid irq line");
+	__ASSERT(irq <= HARDWARE_IRQ_LIMIT, "invalid irq line");
 
 	if (IS_IOAPIC_IRQ(irq)) {
 		_ioapic_irq_set(irq, vector, flags);