re: [IA64] Failure to grow RBS

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Hello Andrew Burgess,

This is a semi-automatic email about new static checker warnings.

The patch e8c59c0cf9c9: "[IA64] Failure to grow RBS" from Aug 16, 
2007, leads to the following Smatch complaint:

arch/ia64/mm/fault.c:138 ia64_do_page_fault()
	 error: we previously assumed 'vma' could be null (see line 138)

arch/ia64/mm/fault.c
   137	         */
   138	        if (( !vma && prev_vma ) || (address < vma->vm_start) )
                      ^^^^                             ^^^^^^^^^^^^^
If !vma and !prev_vma then Oops.

   139			goto check_expansion;
   140	

regards,
dan carpenter
--
To unsubscribe from this list: send the line "unsubscribe linux-ia64" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html




[Index of Archives]     [Linux Kernel]     [Sparc Linux]     [DCCP]     [Linux ARM]     [Yosemite News]     [Linux SCSI]     [Linux x86_64]     [Linux for Ham Radio]

  Powered by Linux