public inbox for linux-ia64@vger.kernel.org
 help / color / mirror / Atom feed
* re: [IA64] Failure to grow RBS
@ 2013-11-06 19:26 Dan Carpenter
  0 siblings, 0 replies; only message in thread
From: Dan Carpenter @ 2013-11-06 19:26 UTC (permalink / raw)
  To: linux-ia64

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

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2013-11-06 19:26 UTC | newest]

Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2013-11-06 19:26 [IA64] Failure to grow RBS Dan Carpenter

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox