From: "Cindy Rubio González" <crubio@cs.wisc.edu>
To: linux-mm@kvack.org
Cc: Ben Liblit <liblit@cs.wisc.edu>
Subject: Error-valued pointer dereferences in the Memory Management module
Date: Wed, 17 Nov 2010 12:28:25 -0600 [thread overview]
Message-ID: <AANLkTi=64aMdytm=ty01P5UOk1SKfFeWr2FAeudWQ8Lu@mail.gmail.com> (raw)
[-- Attachment #1.1: Type: text/plain, Size: 1835 bytes --]
Hi all,
I am a graduate student at the University of Wisconsin-Madison. My
advisor (Prof. Ben Liblit) and I have been working on performing
static analysis to find program points at which potential error-valued
pointers are dereferenced in Linux file system implementations.
We have applied our analysis to 52 Linux file systems, the virtual
file system and the memory management module (Linux 2.6.35.4
kernel). We have manually inspected these reports and filtered out
what we believe are false positives. We have identified 31 true bugs,
from which 13 are located or we think might be attributed to the Memory
Management module.
Attached are two files:
1) mm-short-reports.txt
Contains short reports that include program location at which the
dereference occurs, variable name and list of error codes the pointer
variable may contain.
2) mm-detailed-reports.txt
Contains more detailed reports that include a complete sample trace
and a slice. The complete sample trace illustrates how one error code
may reach the program point at which the variable is dereferenced. The
slice summarizes the complete sample trace by including only relevant
program points at which the error code is transferred from variable to
variable or returned by a function. Each report is separated by
"====". Each complete trace and slice is separated by a blank line.
Any feedback will be really appreciated. Should we submit these bug reports
somewhere else? Are these true bugs? If not, a brief explanation could help
us to improve our tool.
Please let us know if you have any questions.
Thank you,
Cindy
P.S. We have also reported bugs #5, #10, #11, #12, #13, #14 and #15 to VFS
maintainers as these bugs might be attributed to the virtual file system
instead. Similarly, we have reported bugs #21, #22 and #23 to the HFS Plus
maintainers.
[-- Attachment #1.2: Type: text/html, Size: 1988 bytes --]
[-- Attachment #2: mm-short-reports.txt --]
[-- Type: text/plain, Size: 1875 bytes --]
[5] include/linux/mm.h:260: Dereferencing variable put_page_testzero#page, which may contain one of the following error codes: ENOMEM* EFAULT
[6] include/linux/mm.h:306: Dereferencing variable compound_head#page, which may contain one of the following error codes: ENOMEM* EFAULT
[7] include/linux/mm.h:520: Dereferencing variable page_zonenum#page, which may contain one of the following error codes: ENOMEM* EFAULT
[8] include/linux/mm_inline.h:58: Dereferencing variable del_page_from_lru#page, which may contain one of the following error codes: ENOMEM* EFAULT
[10] include/linux/page-flags.h:205: Dereferencing variable __ClearPageLRU#page, which may contain one of the following error codes: ENOMEM* EFAULT
[11] include/linux/page-flags.h:205: Dereferencing variable PageLRU#page, which may contain one of the following error codes: ENOMEM* EFAULT
[12] include/linux/page-flags.h:264: Dereferencing variable __TestClearPageMlocked#page, which may contain one of the following error codes: ENOMEM* EFAULT
[13] include/linux/page-flags.h:350: Dereferencing variable PageTail#page, which may contain one of the following error codes: ENOMEM* EFAULT
[14] include/linux/page-flags.h:354: Dereferencing variable PageCompound#page, which may contain one of the following error codes: ENOMEM* EFAULT
[15] mm/page_alloc.c:1165: Dereferencing variable free_hot_cold_page#page, which may contain one of the following error codes: ENOMEM* EFAULT
[21] include/linux/mm.h:650: Dereferencing variable page_mapping#page, which may contain one of the following error codes: ENOMEM* EIO
[22] include/linux/page-flags.h:204: Dereferencing variable PageDirty#page, which may contain one of the following error codes: ENOMEM* EIO
[23] include/linux/page-flags.h:204: Dereferencing variable TestSetPageDirty#page, which may contain one of the following error codes: ENOMEM* EIO
[-- Attachment #3: mm-detailed-reports.txt --]
[-- Type: text/plain, Size: 73090 bytes --]
mm/memory.c:1453:"cabs2cil____62" receives an error from "TENTATIVE_ENOMEM"
mm/memory.c:1453: an unchecked error may be returned
mm/memory.c:1563:"cabs2cil____7" receives an error from function "__get_user_pages"
mm/memory.c:1563: an unchecked error may be returned
mm/util.c:284:"ret" receives an error from function "get_user_pages"
mm/util.c:286:"ret" may have an unchecked error
mm/util.c:288: an unchecked error may be returned
fs/direct-io.c:155:"ret" receives an error from function "get_user_pages_fast"
fs/direct-io.c:155:"ret" may have an unchecked error
fs/direct-io.c:161:"ret" may have an unchecked error
fs/direct-io.c:178:"ret" may have an unchecked error
fs/direct-io.c:186: an unchecked error may be returned
fs/direct-io.c:200:"ret" receives an error from function "dio_refill_pages"
fs/direct-io.c:201:"ret" may have an unchecked error
fs/direct-io.c:202:"ret" may have an unchecked error
include/linux/err.h:24: an unchecked error may be returned
fs/direct-io.c:202:"cabs2cil____11" receives an error from function "ERR_PTR"
fs/direct-io.c:202:"cabs2cil_" receives an error from "cabs2cil____11"
fs/direct-io.c:202:"cabs2cil____7" receives an error from "cabs2cil_"
fs/direct-io.c:202: an unchecked error may be returned
fs/direct-io.c:384:"cabs2cil____7" receives an error from function "dio_get_page"
fs/direct-io.c:384:"cabs2cil____7" may have an unchecked error
mm/swap.c:75:"page" may have an unchecked error
include/linux/page-flags.h:354:"page" may have an unchecked error
mm/swap.c:75:"page" may have an unchecked error
mm/swap.c:77:"page" may have an unchecked error
include/linux/mm.h:259:"page" may have an unchecked error
include/linux/mm.h:260: Dereferencing variable put_page_testzero#page, which may contain one of the following error codes: ENOMEM* EFAULT
mm/memory.c:1453:"cabs2cil____62" receives an error from "TENTATIVE_ENOMEM"
mm/memory.c:1453: an unchecked error may be returned
mm/memory.c:1563:"cabs2cil____7" receives an error from function "__get_user_pages"
mm/memory.c:1563: an unchecked error may be returned
mm/util.c:284:"ret" receives an error from function "get_user_pages"
mm/util.c:288: an unchecked error may be returned
fs/direct-io.c:155:"ret" receives an error from function "get_user_pages_fast"
fs/direct-io.c:186: an unchecked error may be returned
fs/direct-io.c:200:"ret" receives an error from function "dio_refill_pages"
fs/direct-io.c:202:"ret" may have an unchecked error
include/linux/err.h:24: an unchecked error may be returned
fs/direct-io.c:202:"cabs2cil____11" receives an error from function "ERR_PTR"
fs/direct-io.c:202:"cabs2cil_" receives an error from "cabs2cil____11"
fs/direct-io.c:202:"cabs2cil____7" receives an error from "cabs2cil_"
fs/direct-io.c:202: an unchecked error may be returned
fs/direct-io.c:384:"cabs2cil____7" receives an error from function "dio_get_page"
fs/direct-io.c:384:"cabs2cil____7" may have an unchecked error
mm/swap.c:77:"page" may have an unchecked error
include/linux/mm.h:260: Dereferencing variable put_page_testzero#page, which may contain one of the following error codes: ENOMEM* EFAULT
====
mm/memory.c:1453:"cabs2cil____62" receives an error from "TENTATIVE_ENOMEM"
mm/memory.c:1453: an unchecked error may be returned
mm/memory.c:1563:"cabs2cil____7" receives an error from function "__get_user_pages"
mm/memory.c:1563: an unchecked error may be returned
mm/util.c:284:"ret" receives an error from function "get_user_pages"
mm/util.c:286:"ret" may have an unchecked error
mm/util.c:288: an unchecked error may be returned
fs/direct-io.c:155:"ret" receives an error from function "get_user_pages_fast"
fs/direct-io.c:155:"ret" may have an unchecked error
fs/direct-io.c:161:"ret" may have an unchecked error
fs/direct-io.c:178:"ret" may have an unchecked error
fs/direct-io.c:186: an unchecked error may be returned
fs/direct-io.c:200:"ret" receives an error from function "dio_refill_pages"
fs/direct-io.c:201:"ret" may have an unchecked error
fs/direct-io.c:202:"ret" may have an unchecked error
include/linux/err.h:24: an unchecked error may be returned
fs/direct-io.c:202:"cabs2cil____11" receives an error from function "ERR_PTR"
fs/direct-io.c:202:"cabs2cil_" receives an error from "cabs2cil____11"
fs/direct-io.c:202:"cabs2cil____7" receives an error from "cabs2cil_"
fs/direct-io.c:202: an unchecked error may be returned
fs/direct-io.c:384:"cabs2cil____7" receives an error from function "dio_get_page"
fs/direct-io.c:384:"cabs2cil____7" may have an unchecked error
mm/swap.c:75:"page" may have an unchecked error
include/linux/page-flags.h:354:"page" may have an unchecked error
mm/swap.c:75:"page" may have an unchecked error
mm/swap.c:76:"page" may have an unchecked error
mm/swap.c:64:"page" may have an unchecked error
include/linux/mm.h:305:"page" may have an unchecked error
include/linux/page-flags.h:350:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:311:"page" may have an unchecked error
include/linux/page-flags.h:350:"page" may have an unchecked error
include/linux/mm.h:305:"page" may have an unchecked error
include/linux/mm.h:306: Dereferencing variable compound_head#page, which may contain one of the following error codes: ENOMEM* EFAULT
mm/memory.c:1453:"cabs2cil____62" receives an error from "TENTATIVE_ENOMEM"
mm/memory.c:1453: an unchecked error may be returned
mm/memory.c:1563:"cabs2cil____7" receives an error from function "__get_user_pages"
mm/memory.c:1563: an unchecked error may be returned
mm/util.c:284:"ret" receives an error from function "get_user_pages"
mm/util.c:288: an unchecked error may be returned
fs/direct-io.c:155:"ret" receives an error from function "get_user_pages_fast"
fs/direct-io.c:186: an unchecked error may be returned
fs/direct-io.c:200:"ret" receives an error from function "dio_refill_pages"
fs/direct-io.c:202:"ret" may have an unchecked error
include/linux/err.h:24: an unchecked error may be returned
fs/direct-io.c:202:"cabs2cil____11" receives an error from function "ERR_PTR"
fs/direct-io.c:202:"cabs2cil_" receives an error from "cabs2cil____11"
fs/direct-io.c:202:"cabs2cil____7" receives an error from "cabs2cil_"
fs/direct-io.c:202: an unchecked error may be returned
fs/direct-io.c:384:"cabs2cil____7" receives an error from function "dio_get_page"
fs/direct-io.c:384:"cabs2cil____7" may have an unchecked error
mm/swap.c:76:"page" may have an unchecked error
mm/swap.c:64:"page" may have an unchecked error
include/linux/mm.h:306: Dereferencing variable compound_head#page, which may contain one of the following error codes: ENOMEM* EFAULT
====
mm/memory.c:1453:"cabs2cil____62" receives an error from "TENTATIVE_ENOMEM"
mm/memory.c:1453: an unchecked error may be returned
mm/memory.c:1563:"cabs2cil____7" receives an error from function "__get_user_pages"
mm/memory.c:1563: an unchecked error may be returned
mm/util.c:284:"ret" receives an error from function "get_user_pages"
mm/util.c:286:"ret" may have an unchecked error
mm/util.c:288: an unchecked error may be returned
fs/direct-io.c:155:"ret" receives an error from function "get_user_pages_fast"
fs/direct-io.c:155:"ret" may have an unchecked error
fs/direct-io.c:161:"ret" may have an unchecked error
fs/direct-io.c:178:"ret" may have an unchecked error
fs/direct-io.c:186: an unchecked error may be returned
fs/direct-io.c:200:"ret" receives an error from function "dio_refill_pages"
fs/direct-io.c:201:"ret" may have an unchecked error
fs/direct-io.c:202:"ret" may have an unchecked error
include/linux/err.h:24: an unchecked error may be returned
fs/direct-io.c:202:"cabs2cil____11" receives an error from function "ERR_PTR"
fs/direct-io.c:202:"cabs2cil_" receives an error from "cabs2cil____11"
fs/direct-io.c:202:"cabs2cil____7" receives an error from "cabs2cil_"
fs/direct-io.c:202: an unchecked error may be returned
fs/direct-io.c:384:"cabs2cil____7" receives an error from function "dio_get_page"
fs/direct-io.c:384:"cabs2cil____7" may have an unchecked error
mm/swap.c:75:"page" may have an unchecked error
include/linux/page-flags.h:354:"page" may have an unchecked error
mm/swap.c:75:"page" may have an unchecked error
mm/swap.c:77:"page" may have an unchecked error
include/linux/mm.h:259:"page" may have an unchecked error
include/linux/mm.h:260:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:123:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:126:"page" may have an unchecked error
include/linux/mm.h:260:"page" may have an unchecked error
mm/swap.c:77:"page" may have an unchecked error
mm/swap.c:78:"page" may have an unchecked error
mm/swap.c:49:"page" may have an unchecked error
include/linux/page-flags.h:205:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:311:"page" may have an unchecked error
include/linux/page-flags.h:205:"page" may have an unchecked error
mm/swap.c:49:"page" may have an unchecked error
mm/swap.c:51:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
include/linux/mm.h:520:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
mm/swap.c:51:"page" may have an unchecked error
mm/swap.c:53:"page" may have an unchecked error
include/linux/spinlock.h:273:"page" may have an unchecked error
mm/swap.c:53:"page" may have an unchecked error
mm/swap.c:54:"page" may have an unchecked error
mm/swap.c:55:"page" may have an unchecked error
include/linux/page-flags.h:205:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:127:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:128:"page" may have an unchecked error
include/linux/page-flags.h:205:"page" may have an unchecked error
mm/swap.c:55:"page" may have an unchecked error
mm/swap.c:56:"page" may have an unchecked error
include/linux/mm_inline.h:58:"page" may have an unchecked error
include/linux/list.h:105:"page" may have an unchecked error
include/linux/list.h:92:"page" may have an unchecked error
include/linux/list.h:93:"page" may have an unchecked error
include/linux/list.h:94:"page" may have an unchecked error
include/linux/list.h:105:"page" may have an unchecked error
include/linux/list.h:106:"page" may have an unchecked error
include/linux/list.h:107:"page" may have an unchecked error
include/linux/list.h:108:"page" may have an unchecked error
include/linux/mm_inline.h:58:"page" may have an unchecked error
include/linux/mm_inline.h:59:"page" may have an unchecked error
include/linux/page-flags.h:259:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:311:"page" may have an unchecked error
include/linux/page-flags.h:259:"page" may have an unchecked error
include/linux/mm_inline.h:59:"page" may have an unchecked error
include/linux/mm_inline.h:60:"page" may have an unchecked error
include/linux/page-flags.h:259:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:127:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:128:"page" may have an unchecked error
include/linux/page-flags.h:259:"page" may have an unchecked error
include/linux/mm_inline.h:60:"page" may have an unchecked error
include/linux/mm_inline.h:61:"page" may have an unchecked error
include/linux/mm_inline.h:69:"page" may have an unchecked error
include/linux/vmstat.h:261:"page" may have an unchecked error
include/asm-generic/atomic-long.h:167:"page" may have an unchecked error
include/asm-generic/atomic-long.h:169:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:107:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:109:"page" may have an unchecked error
include/asm-generic/atomic-long.h:169:"page" may have an unchecked error
include/asm-generic/atomic-long.h:170:"page" may have an unchecked error
include/linux/vmstat.h:261:"page" may have an unchecked error
include/linux/vmstat.h:262:"page" may have an unchecked error
include/asm-generic/atomic-long.h:167:"page" may have an unchecked error
include/asm-generic/atomic-long.h:169:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:107:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:109:"page" may have an unchecked error
include/asm-generic/atomic-long.h:169:"page" may have an unchecked error
include/asm-generic/atomic-long.h:170:"page" may have an unchecked error
include/linux/vmstat.h:262:"page" may have an unchecked error
include/linux/vmstat.h:263:"page" may have an unchecked error
include/linux/mm_inline.h:69:"page" may have an unchecked error
include/linux/mm_inline.h:70:"page" may have an unchecked error
include/linux/gfp.h:264:"page" may have an unchecked error
include/linux/mm_inline.h:70:"page" may have an unchecked error
include/linux/mm_inline.h:71:"page" may have an unchecked error
mm/swap.c:56:"page" may have an unchecked error
mm/swap.c:57:"page" may have an unchecked error
include/linux/spinlock.h:339:"page" may have an unchecked error
include/linux/spinlock.h:340:"page" may have an unchecked error
mm/swap.c:57:"page" may have an unchecked error
mm/swap.c:59:"page" may have an unchecked error
mm/page_alloc.c:1155:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
include/linux/mm.h:520:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
mm/page_alloc.c:1155:"page" may have an unchecked error
mm/page_alloc.c:1159:"page" may have an unchecked error
include/linux/page-flags.h:264:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:270:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:274:"page" may have an unchecked error
include/linux/page-flags.h:264:"page" may have an unchecked error
mm/page_alloc.c:1159:"page" may have an unchecked error
mm/page_alloc.c:1161:"page" may have an unchecked error
mm/page_alloc.c:642:"page" may have an unchecked error
mm/page_alloc.c:644:"page" may have an unchecked error
include/trace/events/kmem.h:186:"page" may have an unchecked error
mm/page_alloc.c:644:"page" may have an unchecked error
mm/page_alloc.c:645:"page" may have an unchecked error
include/linux/gfp.h:264:"page" may have an unchecked error
mm/page_alloc.c:645:"page" may have an unchecked error
mm/page_alloc.c:647:"page" may have an unchecked error
mm/page_alloc.c:654:"page" may have an unchecked error
mm/page_alloc.c:657:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
include/linux/mm.h:520:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
mm/page_alloc.c:657:"page" may have an unchecked error
include/linux/mmzone.h:729:"page" may have an unchecked error
include/linux/mmzone.h:730:"page" may have an unchecked error
mm/page_alloc.c:657:"page" may have an unchecked error
mm/page_alloc.c:658:"page" may have an unchecked error
mm/highmem.c:337:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
include/linux/mm.h:520: Dereferencing variable page_zonenum#page, which may contain one of the following error codes: ENOMEM* EFAULT
mm/memory.c:1453:"cabs2cil____62" receives an error from "TENTATIVE_ENOMEM"
mm/memory.c:1453: an unchecked error may be returned
mm/memory.c:1563:"cabs2cil____7" receives an error from function "__get_user_pages"
mm/memory.c:1563: an unchecked error may be returned
mm/util.c:284:"ret" receives an error from function "get_user_pages"
mm/util.c:288: an unchecked error may be returned
fs/direct-io.c:155:"ret" receives an error from function "get_user_pages_fast"
fs/direct-io.c:186: an unchecked error may be returned
fs/direct-io.c:200:"ret" receives an error from function "dio_refill_pages"
fs/direct-io.c:202:"ret" may have an unchecked error
include/linux/err.h:24: an unchecked error may be returned
fs/direct-io.c:202:"cabs2cil____11" receives an error from function "ERR_PTR"
fs/direct-io.c:202:"cabs2cil_" receives an error from "cabs2cil____11"
fs/direct-io.c:202:"cabs2cil____7" receives an error from "cabs2cil_"
fs/direct-io.c:202: an unchecked error may be returned
fs/direct-io.c:384:"cabs2cil____7" receives an error from function "dio_get_page"
fs/direct-io.c:384:"cabs2cil____7" may have an unchecked error
mm/swap.c:78:"page" may have an unchecked error
mm/swap.c:59:"page" may have an unchecked error
mm/page_alloc.c:1161:"page" may have an unchecked error
mm/page_alloc.c:658:"page" may have an unchecked error
mm/highmem.c:337:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
include/linux/mm.h:520: Dereferencing variable page_zonenum#page, which may contain one of the following error codes: ENOMEM* EFAULT
====
mm/memory.c:1453:"cabs2cil____62" receives an error from "TENTATIVE_ENOMEM"
mm/memory.c:1453: an unchecked error may be returned
mm/memory.c:1563:"cabs2cil____7" receives an error from function "__get_user_pages"
mm/memory.c:1563: an unchecked error may be returned
mm/util.c:284:"ret" receives an error from function "get_user_pages"
mm/util.c:286:"ret" may have an unchecked error
mm/util.c:288: an unchecked error may be returned
fs/direct-io.c:155:"ret" receives an error from function "get_user_pages_fast"
fs/direct-io.c:155:"ret" may have an unchecked error
fs/direct-io.c:161:"ret" may have an unchecked error
fs/direct-io.c:178:"ret" may have an unchecked error
fs/direct-io.c:186: an unchecked error may be returned
fs/direct-io.c:200:"ret" receives an error from function "dio_refill_pages"
fs/direct-io.c:201:"ret" may have an unchecked error
fs/direct-io.c:202:"ret" may have an unchecked error
include/linux/err.h:24: an unchecked error may be returned
fs/direct-io.c:202:"cabs2cil____11" receives an error from function "ERR_PTR"
fs/direct-io.c:202:"cabs2cil_" receives an error from "cabs2cil____11"
fs/direct-io.c:202:"cabs2cil____7" receives an error from "cabs2cil_"
fs/direct-io.c:202: an unchecked error may be returned
fs/direct-io.c:384:"cabs2cil____7" receives an error from function "dio_get_page"
fs/direct-io.c:384:"cabs2cil____7" may have an unchecked error
mm/swap.c:75:"page" may have an unchecked error
include/linux/page-flags.h:354:"page" may have an unchecked error
mm/swap.c:75:"page" may have an unchecked error
mm/swap.c:77:"page" may have an unchecked error
include/linux/mm.h:259:"page" may have an unchecked error
include/linux/mm.h:260:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:123:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:126:"page" may have an unchecked error
include/linux/mm.h:260:"page" may have an unchecked error
mm/swap.c:77:"page" may have an unchecked error
mm/swap.c:78:"page" may have an unchecked error
mm/swap.c:49:"page" may have an unchecked error
include/linux/page-flags.h:205:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:311:"page" may have an unchecked error
include/linux/page-flags.h:205:"page" may have an unchecked error
mm/swap.c:49:"page" may have an unchecked error
mm/swap.c:51:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
include/linux/mm.h:520:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
mm/swap.c:51:"page" may have an unchecked error
mm/swap.c:53:"page" may have an unchecked error
include/linux/spinlock.h:273:"page" may have an unchecked error
mm/swap.c:53:"page" may have an unchecked error
mm/swap.c:54:"page" may have an unchecked error
mm/swap.c:55:"page" may have an unchecked error
include/linux/page-flags.h:205:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:127:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:128:"page" may have an unchecked error
include/linux/page-flags.h:205:"page" may have an unchecked error
mm/swap.c:55:"page" may have an unchecked error
mm/swap.c:56:"page" may have an unchecked error
include/linux/mm_inline.h:58: Dereferencing variable del_page_from_lru#page, which may contain one of the following error codes: ENOMEM* EFAULT
mm/memory.c:1453:"cabs2cil____62" receives an error from "TENTATIVE_ENOMEM"
mm/memory.c:1453: an unchecked error may be returned
mm/memory.c:1563:"cabs2cil____7" receives an error from function "__get_user_pages"
mm/memory.c:1563: an unchecked error may be returned
mm/util.c:284:"ret" receives an error from function "get_user_pages"
mm/util.c:288: an unchecked error may be returned
fs/direct-io.c:155:"ret" receives an error from function "get_user_pages_fast"
fs/direct-io.c:186: an unchecked error may be returned
fs/direct-io.c:200:"ret" receives an error from function "dio_refill_pages"
fs/direct-io.c:202:"ret" may have an unchecked error
include/linux/err.h:24: an unchecked error may be returned
fs/direct-io.c:202:"cabs2cil____11" receives an error from function "ERR_PTR"
fs/direct-io.c:202:"cabs2cil_" receives an error from "cabs2cil____11"
fs/direct-io.c:202:"cabs2cil____7" receives an error from "cabs2cil_"
fs/direct-io.c:202: an unchecked error may be returned
fs/direct-io.c:384:"cabs2cil____7" receives an error from function "dio_get_page"
fs/direct-io.c:384:"cabs2cil____7" may have an unchecked error
mm/swap.c:78:"page" may have an unchecked error
mm/swap.c:56:"page" may have an unchecked error
include/linux/mm_inline.h:58: Dereferencing variable del_page_from_lru#page, which may contain one of the following error codes: ENOMEM* EFAULT
====
mm/memory.c:1453:"cabs2cil____62" receives an error from "TENTATIVE_ENOMEM"
mm/memory.c:1453: an unchecked error may be returned
mm/memory.c:1563:"cabs2cil____7" receives an error from function "__get_user_pages"
mm/memory.c:1563: an unchecked error may be returned
mm/util.c:284:"ret" receives an error from function "get_user_pages"
mm/util.c:286:"ret" may have an unchecked error
mm/util.c:288: an unchecked error may be returned
fs/direct-io.c:155:"ret" receives an error from function "get_user_pages_fast"
fs/direct-io.c:155:"ret" may have an unchecked error
fs/direct-io.c:161:"ret" may have an unchecked error
fs/direct-io.c:178:"ret" may have an unchecked error
fs/direct-io.c:186: an unchecked error may be returned
fs/direct-io.c:200:"ret" receives an error from function "dio_refill_pages"
fs/direct-io.c:201:"ret" may have an unchecked error
fs/direct-io.c:202:"ret" may have an unchecked error
include/linux/err.h:24: an unchecked error may be returned
fs/direct-io.c:202:"cabs2cil____11" receives an error from function "ERR_PTR"
fs/direct-io.c:202:"cabs2cil_" receives an error from "cabs2cil____11"
fs/direct-io.c:202:"cabs2cil____7" receives an error from "cabs2cil_"
fs/direct-io.c:202: an unchecked error may be returned
fs/direct-io.c:384:"cabs2cil____7" receives an error from function "dio_get_page"
fs/direct-io.c:384:"cabs2cil____7" may have an unchecked error
mm/swap.c:75:"page" may have an unchecked error
include/linux/page-flags.h:354:"page" may have an unchecked error
mm/swap.c:75:"page" may have an unchecked error
mm/swap.c:77:"page" may have an unchecked error
include/linux/mm.h:259:"page" may have an unchecked error
include/linux/mm.h:260:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:123:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:126:"page" may have an unchecked error
include/linux/mm.h:260:"page" may have an unchecked error
mm/swap.c:77:"page" may have an unchecked error
mm/swap.c:78:"page" may have an unchecked error
mm/swap.c:49:"page" may have an unchecked error
include/linux/page-flags.h:205: Dereferencing variable PageLRU#page, which may contain one of the following error codes: ENOMEM* EFAULT
mm/memory.c:1453:"cabs2cil____62" receives an error from "TENTATIVE_ENOMEM"
mm/memory.c:1453: an unchecked error may be returned
mm/memory.c:1563:"cabs2cil____7" receives an error from function "__get_user_pages"
mm/memory.c:1563: an unchecked error may be returned
mm/util.c:284:"ret" receives an error from function "get_user_pages"
mm/util.c:288: an unchecked error may be returned
fs/direct-io.c:155:"ret" receives an error from function "get_user_pages_fast"
fs/direct-io.c:186: an unchecked error may be returned
fs/direct-io.c:200:"ret" receives an error from function "dio_refill_pages"
fs/direct-io.c:202:"ret" may have an unchecked error
include/linux/err.h:24: an unchecked error may be returned
fs/direct-io.c:202:"cabs2cil____11" receives an error from function "ERR_PTR"
fs/direct-io.c:202:"cabs2cil_" receives an error from "cabs2cil____11"
fs/direct-io.c:202:"cabs2cil____7" receives an error from "cabs2cil_"
fs/direct-io.c:202: an unchecked error may be returned
fs/direct-io.c:384:"cabs2cil____7" receives an error from function "dio_get_page"
fs/direct-io.c:384:"cabs2cil____7" may have an unchecked error
mm/swap.c:78:"page" may have an unchecked error
mm/swap.c:49:"page" may have an unchecked error
include/linux/page-flags.h:205: Dereferencing variable PageLRU#page, which may contain one of the following error codes: ENOMEM* EFAULT
====
mm/memory.c:1453:"cabs2cil____62" receives an error from "TENTATIVE_ENOMEM"
mm/memory.c:1453: an unchecked error may be returned
mm/memory.c:1563:"cabs2cil____7" receives an error from function "__get_user_pages"
mm/memory.c:1563: an unchecked error may be returned
mm/util.c:284:"ret" receives an error from function "get_user_pages"
mm/util.c:286:"ret" may have an unchecked error
mm/util.c:288: an unchecked error may be returned
fs/direct-io.c:155:"ret" receives an error from function "get_user_pages_fast"
fs/direct-io.c:155:"ret" may have an unchecked error
fs/direct-io.c:161:"ret" may have an unchecked error
fs/direct-io.c:178:"ret" may have an unchecked error
fs/direct-io.c:186: an unchecked error may be returned
fs/direct-io.c:200:"ret" receives an error from function "dio_refill_pages"
fs/direct-io.c:201:"ret" may have an unchecked error
fs/direct-io.c:202:"ret" may have an unchecked error
include/linux/err.h:24: an unchecked error may be returned
fs/direct-io.c:202:"cabs2cil____11" receives an error from function "ERR_PTR"
fs/direct-io.c:202:"cabs2cil_" receives an error from "cabs2cil____11"
fs/direct-io.c:202:"cabs2cil____7" receives an error from "cabs2cil_"
fs/direct-io.c:202: an unchecked error may be returned
fs/direct-io.c:384:"cabs2cil____7" receives an error from function "dio_get_page"
fs/direct-io.c:384:"cabs2cil____7" may have an unchecked error
mm/swap.c:75:"page" may have an unchecked error
include/linux/page-flags.h:354:"page" may have an unchecked error
mm/swap.c:75:"page" may have an unchecked error
mm/swap.c:77:"page" may have an unchecked error
include/linux/mm.h:259:"page" may have an unchecked error
include/linux/mm.h:260:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:123:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:126:"page" may have an unchecked error
include/linux/mm.h:260:"page" may have an unchecked error
mm/swap.c:77:"page" may have an unchecked error
mm/swap.c:78:"page" may have an unchecked error
mm/swap.c:49:"page" may have an unchecked error
include/linux/page-flags.h:205:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:311:"page" may have an unchecked error
include/linux/page-flags.h:205:"page" may have an unchecked error
mm/swap.c:49:"page" may have an unchecked error
mm/swap.c:51:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
include/linux/mm.h:520:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
mm/swap.c:51:"page" may have an unchecked error
mm/swap.c:53:"page" may have an unchecked error
include/linux/spinlock.h:273:"page" may have an unchecked error
mm/swap.c:53:"page" may have an unchecked error
mm/swap.c:54:"page" may have an unchecked error
mm/swap.c:55:"page" may have an unchecked error
include/linux/page-flags.h:205: Dereferencing variable __ClearPageLRU#page, which may contain one of the following error codes: ENOMEM* EFAULT
mm/memory.c:1453:"cabs2cil____62" receives an error from "TENTATIVE_ENOMEM"
mm/memory.c:1453: an unchecked error may be returned
mm/memory.c:1563:"cabs2cil____7" receives an error from function "__get_user_pages"
mm/memory.c:1563: an unchecked error may be returned
mm/util.c:284:"ret" receives an error from function "get_user_pages"
mm/util.c:288: an unchecked error may be returned
fs/direct-io.c:155:"ret" receives an error from function "get_user_pages_fast"
fs/direct-io.c:186: an unchecked error may be returned
fs/direct-io.c:200:"ret" receives an error from function "dio_refill_pages"
fs/direct-io.c:202:"ret" may have an unchecked error
include/linux/err.h:24: an unchecked error may be returned
fs/direct-io.c:202:"cabs2cil____11" receives an error from function "ERR_PTR"
fs/direct-io.c:202:"cabs2cil_" receives an error from "cabs2cil____11"
fs/direct-io.c:202:"cabs2cil____7" receives an error from "cabs2cil_"
fs/direct-io.c:202: an unchecked error may be returned
fs/direct-io.c:384:"cabs2cil____7" receives an error from function "dio_get_page"
fs/direct-io.c:384:"cabs2cil____7" may have an unchecked error
mm/swap.c:78:"page" may have an unchecked error
mm/swap.c:55:"page" may have an unchecked error
include/linux/page-flags.h:205: Dereferencing variable __ClearPageLRU#page, which may contain one of the following error codes: ENOMEM* EFAULT
====
mm/memory.c:1453:"cabs2cil____62" receives an error from "TENTATIVE_ENOMEM"
mm/memory.c:1453: an unchecked error may be returned
mm/memory.c:1563:"cabs2cil____7" receives an error from function "__get_user_pages"
mm/memory.c:1563: an unchecked error may be returned
mm/util.c:284:"ret" receives an error from function "get_user_pages"
mm/util.c:286:"ret" may have an unchecked error
mm/util.c:288: an unchecked error may be returned
fs/direct-io.c:155:"ret" receives an error from function "get_user_pages_fast"
fs/direct-io.c:155:"ret" may have an unchecked error
fs/direct-io.c:161:"ret" may have an unchecked error
fs/direct-io.c:178:"ret" may have an unchecked error
fs/direct-io.c:186: an unchecked error may be returned
fs/direct-io.c:200:"ret" receives an error from function "dio_refill_pages"
fs/direct-io.c:201:"ret" may have an unchecked error
fs/direct-io.c:202:"ret" may have an unchecked error
include/linux/err.h:24: an unchecked error may be returned
fs/direct-io.c:202:"cabs2cil____11" receives an error from function "ERR_PTR"
fs/direct-io.c:202:"cabs2cil_" receives an error from "cabs2cil____11"
fs/direct-io.c:202:"cabs2cil____7" receives an error from "cabs2cil_"
fs/direct-io.c:202: an unchecked error may be returned
fs/direct-io.c:384:"cabs2cil____7" receives an error from function "dio_get_page"
fs/direct-io.c:384:"cabs2cil____7" may have an unchecked error
mm/swap.c:75:"page" may have an unchecked error
include/linux/page-flags.h:354:"page" may have an unchecked error
mm/swap.c:75:"page" may have an unchecked error
mm/swap.c:77:"page" may have an unchecked error
include/linux/mm.h:259:"page" may have an unchecked error
include/linux/mm.h:260:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:123:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:126:"page" may have an unchecked error
include/linux/mm.h:260:"page" may have an unchecked error
mm/swap.c:77:"page" may have an unchecked error
mm/swap.c:78:"page" may have an unchecked error
mm/swap.c:49:"page" may have an unchecked error
include/linux/page-flags.h:205:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:311:"page" may have an unchecked error
include/linux/page-flags.h:205:"page" may have an unchecked error
mm/swap.c:49:"page" may have an unchecked error
mm/swap.c:51:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
include/linux/mm.h:520:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
mm/swap.c:51:"page" may have an unchecked error
mm/swap.c:53:"page" may have an unchecked error
include/linux/spinlock.h:273:"page" may have an unchecked error
mm/swap.c:53:"page" may have an unchecked error
mm/swap.c:54:"page" may have an unchecked error
mm/swap.c:55:"page" may have an unchecked error
include/linux/page-flags.h:205:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:127:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:128:"page" may have an unchecked error
include/linux/page-flags.h:205:"page" may have an unchecked error
mm/swap.c:55:"page" may have an unchecked error
mm/swap.c:56:"page" may have an unchecked error
include/linux/mm_inline.h:58:"page" may have an unchecked error
include/linux/list.h:105:"page" may have an unchecked error
include/linux/list.h:92:"page" may have an unchecked error
include/linux/list.h:93:"page" may have an unchecked error
include/linux/list.h:94:"page" may have an unchecked error
include/linux/list.h:105:"page" may have an unchecked error
include/linux/list.h:106:"page" may have an unchecked error
include/linux/list.h:107:"page" may have an unchecked error
include/linux/list.h:108:"page" may have an unchecked error
include/linux/mm_inline.h:58:"page" may have an unchecked error
include/linux/mm_inline.h:59:"page" may have an unchecked error
include/linux/page-flags.h:259:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:311:"page" may have an unchecked error
include/linux/page-flags.h:259:"page" may have an unchecked error
include/linux/mm_inline.h:59:"page" may have an unchecked error
include/linux/mm_inline.h:60:"page" may have an unchecked error
include/linux/page-flags.h:259:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:127:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:128:"page" may have an unchecked error
include/linux/page-flags.h:259:"page" may have an unchecked error
include/linux/mm_inline.h:60:"page" may have an unchecked error
include/linux/mm_inline.h:61:"page" may have an unchecked error
include/linux/mm_inline.h:69:"page" may have an unchecked error
include/linux/vmstat.h:261:"page" may have an unchecked error
include/asm-generic/atomic-long.h:167:"page" may have an unchecked error
include/asm-generic/atomic-long.h:169:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:107:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:109:"page" may have an unchecked error
include/asm-generic/atomic-long.h:169:"page" may have an unchecked error
include/asm-generic/atomic-long.h:170:"page" may have an unchecked error
include/linux/vmstat.h:261:"page" may have an unchecked error
include/linux/vmstat.h:262:"page" may have an unchecked error
include/asm-generic/atomic-long.h:167:"page" may have an unchecked error
include/asm-generic/atomic-long.h:169:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:107:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:109:"page" may have an unchecked error
include/asm-generic/atomic-long.h:169:"page" may have an unchecked error
include/asm-generic/atomic-long.h:170:"page" may have an unchecked error
include/linux/vmstat.h:262:"page" may have an unchecked error
include/linux/vmstat.h:263:"page" may have an unchecked error
include/linux/mm_inline.h:69:"page" may have an unchecked error
include/linux/mm_inline.h:70:"page" may have an unchecked error
include/linux/gfp.h:264:"page" may have an unchecked error
include/linux/mm_inline.h:70:"page" may have an unchecked error
include/linux/mm_inline.h:71:"page" may have an unchecked error
mm/swap.c:56:"page" may have an unchecked error
mm/swap.c:57:"page" may have an unchecked error
include/linux/spinlock.h:339:"page" may have an unchecked error
include/linux/spinlock.h:340:"page" may have an unchecked error
mm/swap.c:57:"page" may have an unchecked error
mm/swap.c:59:"page" may have an unchecked error
mm/page_alloc.c:1155:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
include/linux/mm.h:520:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
mm/page_alloc.c:1155:"page" may have an unchecked error
mm/page_alloc.c:1159:"page" may have an unchecked error
include/linux/page-flags.h:264: Dereferencing variable __TestClearPageMlocked#page, which may contain one of the following error codes: ENOMEM* EFAULT
mm/memory.c:1453:"cabs2cil____62" receives an error from "TENTATIVE_ENOMEM"
mm/memory.c:1453: an unchecked error may be returned
mm/memory.c:1563:"cabs2cil____7" receives an error from function "__get_user_pages"
mm/memory.c:1563: an unchecked error may be returned
mm/util.c:284:"ret" receives an error from function "get_user_pages"
mm/util.c:288: an unchecked error may be returned
fs/direct-io.c:155:"ret" receives an error from function "get_user_pages_fast"
fs/direct-io.c:186: an unchecked error may be returned
fs/direct-io.c:200:"ret" receives an error from function "dio_refill_pages"
fs/direct-io.c:202:"ret" may have an unchecked error
include/linux/err.h:24: an unchecked error may be returned
fs/direct-io.c:202:"cabs2cil____11" receives an error from function "ERR_PTR"
fs/direct-io.c:202:"cabs2cil_" receives an error from "cabs2cil____11"
fs/direct-io.c:202:"cabs2cil____7" receives an error from "cabs2cil_"
fs/direct-io.c:202: an unchecked error may be returned
fs/direct-io.c:384:"cabs2cil____7" receives an error from function "dio_get_page"
fs/direct-io.c:384:"cabs2cil____7" may have an unchecked error
mm/swap.c:78:"page" may have an unchecked error
mm/swap.c:59:"page" may have an unchecked error
mm/page_alloc.c:1159:"page" may have an unchecked error
include/linux/page-flags.h:264: Dereferencing variable __TestClearPageMlocked#page, which may contain one of the following error codes: ENOMEM* EFAULT
====
mm/memory.c:1453:"cabs2cil____62" receives an error from "TENTATIVE_ENOMEM"
mm/memory.c:1453: an unchecked error may be returned
mm/memory.c:1563:"cabs2cil____7" receives an error from function "__get_user_pages"
mm/memory.c:1563: an unchecked error may be returned
mm/util.c:284:"ret" receives an error from function "get_user_pages"
mm/util.c:286:"ret" may have an unchecked error
mm/util.c:288: an unchecked error may be returned
fs/direct-io.c:155:"ret" receives an error from function "get_user_pages_fast"
fs/direct-io.c:155:"ret" may have an unchecked error
fs/direct-io.c:161:"ret" may have an unchecked error
fs/direct-io.c:178:"ret" may have an unchecked error
fs/direct-io.c:186: an unchecked error may be returned
fs/direct-io.c:200:"ret" receives an error from function "dio_refill_pages"
fs/direct-io.c:201:"ret" may have an unchecked error
fs/direct-io.c:202:"ret" may have an unchecked error
include/linux/err.h:24: an unchecked error may be returned
fs/direct-io.c:202:"cabs2cil____11" receives an error from function "ERR_PTR"
fs/direct-io.c:202:"cabs2cil_" receives an error from "cabs2cil____11"
fs/direct-io.c:202:"cabs2cil____7" receives an error from "cabs2cil_"
fs/direct-io.c:202: an unchecked error may be returned
fs/direct-io.c:384:"cabs2cil____7" receives an error from function "dio_get_page"
fs/direct-io.c:384:"cabs2cil____7" may have an unchecked error
mm/swap.c:75:"page" may have an unchecked error
include/linux/page-flags.h:354:"page" may have an unchecked error
mm/swap.c:75:"page" may have an unchecked error
mm/swap.c:76:"page" may have an unchecked error
mm/swap.c:64:"page" may have an unchecked error
include/linux/mm.h:305:"page" may have an unchecked error
include/linux/page-flags.h:350: Dereferencing variable PageTail#page, which may contain one of the following error codes: ENOMEM* EFAULT
mm/memory.c:1453:"cabs2cil____62" receives an error from "TENTATIVE_ENOMEM"
mm/memory.c:1453: an unchecked error may be returned
mm/memory.c:1563:"cabs2cil____7" receives an error from function "__get_user_pages"
mm/memory.c:1563: an unchecked error may be returned
mm/util.c:284:"ret" receives an error from function "get_user_pages"
mm/util.c:288: an unchecked error may be returned
fs/direct-io.c:155:"ret" receives an error from function "get_user_pages_fast"
fs/direct-io.c:186: an unchecked error may be returned
fs/direct-io.c:200:"ret" receives an error from function "dio_refill_pages"
fs/direct-io.c:202:"ret" may have an unchecked error
include/linux/err.h:24: an unchecked error may be returned
fs/direct-io.c:202:"cabs2cil____11" receives an error from function "ERR_PTR"
fs/direct-io.c:202:"cabs2cil_" receives an error from "cabs2cil____11"
fs/direct-io.c:202:"cabs2cil____7" receives an error from "cabs2cil_"
fs/direct-io.c:202: an unchecked error may be returned
fs/direct-io.c:384:"cabs2cil____7" receives an error from function "dio_get_page"
fs/direct-io.c:384:"cabs2cil____7" may have an unchecked error
mm/swap.c:76:"page" may have an unchecked error
mm/swap.c:64:"page" may have an unchecked error
include/linux/mm.h:305:"page" may have an unchecked error
include/linux/page-flags.h:350: Dereferencing variable PageTail#page, which may contain one of the following error codes: ENOMEM* EFAULT
====
m/memory.c:1453:"cabs2cil____62" receives an error from "TENTATIVE_ENOMEM"
mm/memory.c:1453: an unchecked error may be returned
mm/memory.c:1563:"cabs2cil____7" receives an error from function "__get_user_pages"
mm/memory.c:1563: an unchecked error may be returned
mm/util.c:284:"ret" receives an error from function "get_user_pages"
mm/util.c:286:"ret" may have an unchecked error
mm/util.c:288: an unchecked error may be returned
fs/direct-io.c:155:"ret" receives an error from function "get_user_pages_fast"
fs/direct-io.c:155:"ret" may have an unchecked error
fs/direct-io.c:161:"ret" may have an unchecked error
fs/direct-io.c:178:"ret" may have an unchecked error
fs/direct-io.c:186: an unchecked error may be returned
fs/direct-io.c:200:"ret" receives an error from function "dio_refill_pages"
fs/direct-io.c:201:"ret" may have an unchecked error
fs/direct-io.c:202:"ret" may have an unchecked error
include/linux/err.h:24: an unchecked error may be returned
fs/direct-io.c:202:"cabs2cil____11" receives an error from function "ERR_PTR"
fs/direct-io.c:202:"cabs2cil_" receives an error from "cabs2cil____11"
fs/direct-io.c:202:"cabs2cil____7" receives an error from "cabs2cil_"
fs/direct-io.c:202: an unchecked error may be returned
fs/direct-io.c:384:"cabs2cil____7" receives an error from function "dio_get_page"
fs/direct-io.c:384:"cabs2cil____7" may have an unchecked error
mm/swap.c:75:"page" may have an unchecked error
include/linux/page-flags.h:354: Dereferencing variable PageCompound#page, which may contain one of the following error codes: ENOMEM* EFAULT
mm/memory.c:1453:"cabs2cil____62" receives an error from "TENTATIVE_ENOMEM"
mm/memory.c:1453: an unchecked error may be returned
mm/memory.c:1563:"cabs2cil____7" receives an error from function "__get_user_pages"
mm/memory.c:1563: an unchecked error may be returned
mm/util.c:284:"ret" receives an error from function "get_user_pages"
mm/util.c:288: an unchecked error may be returned
fs/direct-io.c:155:"ret" receives an error from function "get_user_pages_fast"
fs/direct-io.c:186: an unchecked error may be returned
fs/direct-io.c:200:"ret" receives an error from function "dio_refill_pages"
fs/direct-io.c:202:"ret" may have an unchecked error
include/linux/err.h:24: an unchecked error may be returned
fs/direct-io.c:202:"cabs2cil____11" receives an error from function "ERR_PTR"
fs/direct-io.c:202:"cabs2cil_" receives an error from "cabs2cil____11"
fs/direct-io.c:202:"cabs2cil____7" receives an error from "cabs2cil_"
fs/direct-io.c:202: an unchecked error may be returned
fs/direct-io.c:384:"cabs2cil____7" receives an error from function "dio_get_page"
fs/direct-io.c:384:"cabs2cil____7" may have an unchecked error
mm/swap.c:75:"page" may have an unchecked error
include/linux/page-flags.h:354: Dereferencing variable PageCompound#page, which may contain one of the following error codes: ENOMEM* EFAULT
====
mm/memory.c:1453:"cabs2cil____62" receives an error from "TENTATIVE_ENOMEM"
mm/memory.c:1453: an unchecked error may be returned
mm/memory.c:1563:"cabs2cil____7" receives an error from function "__get_user_pages"
mm/memory.c:1563: an unchecked error may be returned
mm/util.c:284:"ret" receives an error from function "get_user_pages"
mm/util.c:286:"ret" may have an unchecked error
mm/util.c:288: an unchecked error may be returned
fs/direct-io.c:155:"ret" receives an error from function "get_user_pages_fast"
fs/direct-io.c:155:"ret" may have an unchecked error
fs/direct-io.c:161:"ret" may have an unchecked error
fs/direct-io.c:178:"ret" may have an unchecked error
fs/direct-io.c:186: an unchecked error may be returned
fs/direct-io.c:200:"ret" receives an error from function "dio_refill_pages"
fs/direct-io.c:201:"ret" may have an unchecked error
fs/direct-io.c:202:"ret" may have an unchecked error
include/linux/err.h:24: an unchecked error may be returned
fs/direct-io.c:202:"cabs2cil____11" receives an error from function "ERR_PTR"
fs/direct-io.c:202:"cabs2cil_" receives an error from "cabs2cil____11"
fs/direct-io.c:202:"cabs2cil____7" receives an error from "cabs2cil_"
fs/direct-io.c:202: an unchecked error may be returned
fs/direct-io.c:384:"cabs2cil____7" receives an error from function "dio_get_page"
fs/direct-io.c:384:"cabs2cil____7" may have an unchecked error
mm/swap.c:75:"page" may have an unchecked error
include/linux/page-flags.h:354:"page" may have an unchecked error
mm/swap.c:75:"page" may have an unchecked error
mm/swap.c:77:"page" may have an unchecked error
include/linux/mm.h:259:"page" may have an unchecked error
include/linux/mm.h:260:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:123:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:126:"page" may have an unchecked error
include/linux/mm.h:260:"page" may have an unchecked error
mm/swap.c:77:"page" may have an unchecked error
mm/swap.c:78:"page" may have an unchecked error
mm/swap.c:49:"page" may have an unchecked error
include/linux/page-flags.h:205:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:311:"page" may have an unchecked error
include/linux/page-flags.h:205:"page" may have an unchecked error
mm/swap.c:49:"page" may have an unchecked error
mm/swap.c:51:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
include/linux/mm.h:520:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
mm/swap.c:51:"page" may have an unchecked error
mm/swap.c:53:"page" may have an unchecked error
include/linux/spinlock.h:273:"page" may have an unchecked error
mm/swap.c:53:"page" may have an unchecked error
mm/swap.c:54:"page" may have an unchecked error
mm/swap.c:55:"page" may have an unchecked error
include/linux/page-flags.h:205:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:127:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:128:"page" may have an unchecked error
include/linux/page-flags.h:205:"page" may have an unchecked error
mm/swap.c:55:"page" may have an unchecked error
mm/swap.c:56:"page" may have an unchecked error
include/linux/mm_inline.h:58:"page" may have an unchecked error
include/linux/list.h:105:"page" may have an unchecked error
include/linux/list.h:92:"page" may have an unchecked error
include/linux/list.h:93:"page" may have an unchecked error
include/linux/list.h:94:"page" may have an unchecked error
include/linux/list.h:105:"page" may have an unchecked error
include/linux/list.h:106:"page" may have an unchecked error
include/linux/list.h:107:"page" may have an unchecked error
include/linux/list.h:108:"page" may have an unchecked error
include/linux/mm_inline.h:58:"page" may have an unchecked error
include/linux/mm_inline.h:59:"page" may have an unchecked error
include/linux/page-flags.h:259:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:311:"page" may have an unchecked error
include/linux/page-flags.h:259:"page" may have an unchecked error
include/linux/mm_inline.h:59:"page" may have an unchecked error
include/linux/mm_inline.h:60:"page" may have an unchecked error
include/linux/page-flags.h:259:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:127:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:128:"page" may have an unchecked error
include/linux/page-flags.h:259:"page" may have an unchecked error
include/linux/mm_inline.h:60:"page" may have an unchecked error
include/linux/mm_inline.h:61:"page" may have an unchecked error
include/linux/mm_inline.h:69:"page" may have an unchecked error
include/linux/vmstat.h:261:"page" may have an unchecked error
include/asm-generic/atomic-long.h:167:"page" may have an unchecked error
include/asm-generic/atomic-long.h:169:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:107:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:109:"page" may have an unchecked error
include/asm-generic/atomic-long.h:169:"page" may have an unchecked error
include/asm-generic/atomic-long.h:170:"page" may have an unchecked error
include/linux/vmstat.h:261:"page" may have an unchecked error
include/linux/vmstat.h:262:"page" may have an unchecked error
include/asm-generic/atomic-long.h:167:"page" may have an unchecked error
include/asm-generic/atomic-long.h:169:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:107:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:109:"page" may have an unchecked error
include/asm-generic/atomic-long.h:169:"page" may have an unchecked error
include/asm-generic/atomic-long.h:170:"page" may have an unchecked error
include/linux/vmstat.h:262:"page" may have an unchecked error
include/linux/vmstat.h:263:"page" may have an unchecked error
include/linux/mm_inline.h:69:"page" may have an unchecked error
include/linux/mm_inline.h:70:"page" may have an unchecked error
include/linux/gfp.h:264:"page" may have an unchecked error
include/linux/mm_inline.h:70:"page" may have an unchecked error
include/linux/mm_inline.h:71:"page" may have an unchecked error
mm/swap.c:56:"page" may have an unchecked error
mm/swap.c:57:"page" may have an unchecked error
include/linux/spinlock.h:339:"page" may have an unchecked error
include/linux/spinlock.h:340:"page" may have an unchecked error
mm/swap.c:57:"page" may have an unchecked error
mm/swap.c:59:"page" may have an unchecked error
mm/page_alloc.c:1155:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
include/linux/mm.h:520:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
mm/page_alloc.c:1155:"page" may have an unchecked error
mm/page_alloc.c:1159:"page" may have an unchecked error
include/linux/page-flags.h:264:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:270:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:274:"page" may have an unchecked error
include/linux/page-flags.h:264:"page" may have an unchecked error
mm/page_alloc.c:1159:"page" may have an unchecked error
mm/page_alloc.c:1161:"page" may have an unchecked error
mm/page_alloc.c:642:"page" may have an unchecked error
mm/page_alloc.c:644:"page" may have an unchecked error
include/trace/events/kmem.h:186:"page" may have an unchecked error
mm/page_alloc.c:644:"page" may have an unchecked error
mm/page_alloc.c:645:"page" may have an unchecked error
include/linux/gfp.h:264:"page" may have an unchecked error
mm/page_alloc.c:645:"page" may have an unchecked error
mm/page_alloc.c:647:"page" may have an unchecked error
mm/page_alloc.c:648:"page" may have an unchecked error
mm/page_alloc.c:650:"page" may have an unchecked error
include/linux/mm.h:668:"page" may have an unchecked error
mm/page_alloc.c:650:"page" may have an unchecked error
mm/page_alloc.c:651:"page" may have an unchecked error
mm/page_alloc.c:652:"page" may have an unchecked error
mm/page_alloc.c:563:"page" may have an unchecked error
include/linux/mm.h:694:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:25:"page" may have an unchecked error
include/linux/mm.h:694:"page" may have an unchecked error
mm/page_alloc.c:563:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:25:"page" may have an unchecked error
mm/page_alloc.c:563:"page" may have an unchecked error
mm/page_alloc.c:567:"page" may have an unchecked error
mm/page_alloc.c:282:"page" may have an unchecked error
include/linux/page-flags.h:281:"page" may have an unchecked error
mm/page_alloc.c:282:"page" may have an unchecked error
mm/page_alloc.c:291:"page" may have an unchecked error
mm/page_alloc.c:292:"page" may have an unchecked error
mm/page_alloc.c:293:"page" may have an unchecked error
mm/page_alloc.c:294:"page" may have an unchecked error
mm/page_alloc.c:314:"page" may have an unchecked error
include/linux/page-flags.h:235:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:127:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:128:"page" may have an unchecked error
include/linux/page-flags.h:235:"page" may have an unchecked error
mm/page_alloc.c:314:"page" may have an unchecked error
mm/page_alloc.c:315:"page" may have an unchecked error
mm/page_alloc.c:316:"page" may have an unchecked error
mm/page_alloc.c:567:"page" may have an unchecked error
mm/page_alloc.c:568:"page" may have an unchecked error
mm/page_alloc.c:652:"page" may have an unchecked error
mm/page_alloc.c:647:"page" may have an unchecked error
mm/page_alloc.c:648:"page" may have an unchecked error
mm/page_alloc.c:650:"page" may have an unchecked error
include/linux/mm.h:668:"page" may have an unchecked error
mm/page_alloc.c:650:"page" may have an unchecked error
mm/page_alloc.c:651:"page" may have an unchecked error
mm/page_alloc.c:652:"page" may have an unchecked error
mm/page_alloc.c:563:"page" may have an unchecked error
include/linux/mm.h:694:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:25:"page" may have an unchecked error
include/linux/mm.h:694:"page" may have an unchecked error
mm/page_alloc.c:563:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/atomic.h:25:"page" may have an unchecked error
mm/page_alloc.c:563:"page" may have an unchecked error
mm/page_alloc.c:567:"page" may have an unchecked error
mm/page_alloc.c:282:"page" may have an unchecked error
include/linux/page-flags.h:281:"page" may have an unchecked error
mm/page_alloc.c:282:"page" may have an unchecked error
mm/page_alloc.c:291:"page" may have an unchecked error
mm/page_alloc.c:292:"page" may have an unchecked error
mm/page_alloc.c:293:"page" may have an unchecked error
mm/page_alloc.c:294:"page" may have an unchecked error
mm/page_alloc.c:314:"page" may have an unchecked error
include/linux/page-flags.h:235:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:127:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:128:"page" may have an unchecked error
include/linux/page-flags.h:235:"page" may have an unchecked error
mm/page_alloc.c:314:"page" may have an unchecked error
mm/page_alloc.c:315:"page" may have an unchecked error
mm/page_alloc.c:316:"page" may have an unchecked error
mm/page_alloc.c:567:"page" may have an unchecked error
mm/page_alloc.c:568:"page" may have an unchecked error
mm/page_alloc.c:652:"page" may have an unchecked error
mm/page_alloc.c:647:"page" may have an unchecked error
mm/page_alloc.c:654:"page" may have an unchecked error
mm/page_alloc.c:655:"page" may have an unchecked error
mm/page_alloc.c:1161:"page" may have an unchecked error
mm/page_alloc.c:1164:"page" may have an unchecked error
include/linux/mmzone.h:54:"page" may have an unchecked error
mm/page_alloc.c:5212:"page" may have an unchecked error
mm/page_alloc.c:5213:"page" may have an unchecked error
mm/page_alloc.c:5215:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
include/linux/mm.h:520:"page" may have an unchecked error
include/linux/mm.h:556:"page" may have an unchecked error
mm/page_alloc.c:5215:"page" may have an unchecked error
mm/page_alloc.c:5216:"page" may have an unchecked error
mm/page_alloc.c:5217:"page" may have an unchecked error
mm/page_alloc.c:5184:"page" may have an unchecked error
mm/page_alloc.c:5217:"page" may have an unchecked error
mm/page_alloc.c:5218:"page" may have an unchecked error
mm/page_alloc.c:5194:"page" may have an unchecked error
mm/page_alloc.c:5195:"page" may have an unchecked error
mm/page_alloc.c:5218:"page" may have an unchecked error
mm/page_alloc.c:5220:"page" may have an unchecked error
mm/page_alloc.c:5224:"page" may have an unchecked error
include/linux/mmzone.h:54:"page" may have an unchecked error
mm/page_alloc.c:1164:"page" may have an unchecked error
mm/page_alloc.c:1165: Dereferencing variable free_hot_cold_page#page, which may contain one of the following error codes: ENOMEM* EFAULT
mm/memory.c:1453:"cabs2cil____62" receives an error from "TENTATIVE_ENOMEM"
mm/memory.c:1453: an unchecked error may be returned
mm/memory.c:1563:"cabs2cil____7" receives an error from function "__get_user_pages"
mm/memory.c:1563: an unchecked error may be returned
mm/util.c:284:"ret" receives an error from function "get_user_pages"
mm/util.c:288: an unchecked error may be returned
fs/direct-io.c:155:"ret" receives an error from function "get_user_pages_fast"
fs/direct-io.c:186: an unchecked error may be returned
fs/direct-io.c:200:"ret" receives an error from function "dio_refill_pages"
fs/direct-io.c:202:"ret" may have an unchecked error
include/linux/err.h:24: an unchecked error may be returned
fs/direct-io.c:202:"cabs2cil____11" receives an error from function "ERR_PTR"
fs/direct-io.c:202:"cabs2cil_" receives an error from "cabs2cil____11"
fs/direct-io.c:202:"cabs2cil____7" receives an error from "cabs2cil_"
fs/direct-io.c:202: an unchecked error may be returned
fs/direct-io.c:384:"cabs2cil____7" receives an error from function "dio_get_page"
fs/direct-io.c:384:"cabs2cil____7" may have an unchecked error
mm/swap.c:78:"page" may have an unchecked error
mm/swap.c:59:"page" may have an unchecked error
mm/page_alloc.c:1165: Dereferencing variable free_hot_cold_page#page, which may contain one of the following error codes: ENOMEM* EFAULT
====
include/linux/err.h:24: an unchecked error may be returned
mm/filemap.c:1686:"cabs2cil____12" receives an error from function "ERR_PTR"
mm/filemap.c:1686:"cabs2cil_" receives an error from "cabs2cil____12"
mm/filemap.c:1686:"cabs2cil____7" receives an error from "cabs2cil_"
mm/filemap.c:1686: an unchecked error may be returned
mm/filemap.c:1715:"page" receives an error from function "__read_cache_page"
mm/filemap.c:1716:"page" may have an unchecked error
mm/filemap.c:1717: an unchecked error may be returned
mm/filemap.c:1761:"cabs2cil____8" receives an error from function "do_read_cache_page"
mm/filemap.c:1761: an unchecked error may be returned
mm/filemap.c:1818:"cabs2cil____7" receives an error from function "read_cache_page_async"
mm/filemap.c:1818:"cabs2cil____7" may have an unchecked error
mm/filemap.c:1767:"page" may have an unchecked error
mm/filemap.c:1774: an unchecked error may be returned
mm/filemap.c:1818:"cabs2cil____8" receives an error from function "wait_on_page_read"
mm/filemap.c:1818: an unchecked error may be returned
include/linux/pagemap.h:273:"cabs2cil____7" receives an error from function "read_cache_page"
include/linux/pagemap.h:273: an unchecked error may be returned
fs/hfsplus/bitmap.c:181:"page" receives an error from function "read_mapping_page"
fs/hfsplus/bitmap.c:182:"page" may have an unchecked error
fs/hfsplus/bitmap.c:183:"page" may have an unchecked error
fs/hfsplus/bitmap.c:184:"page" may have an unchecked error
fs/hfsplus/bitmap.c:185:"page" may have an unchecked error
fs/hfsplus/bitmap.c:188:"page" may have an unchecked error
fs/hfsplus/bitmap.c:189:"page" may have an unchecked error
fs/hfsplus/bitmap.c:202:"page" may have an unchecked error
fs/hfsplus/bitmap.c:203:"page" may have an unchecked error
fs/hfsplus/bitmap.c:204:"page" may have an unchecked error
fs/hfsplus/bitmap.c:206:"page" may have an unchecked error
fs/hfsplus/bitmap.c:207:"page" may have an unchecked error
fs/hfsplus/bitmap.c:203:"page" may have an unchecked error
fs/hfsplus/bitmap.c:209:"page" may have an unchecked error
fs/hfsplus/bitmap.c:210:"page" may have an unchecked error
fs/hfsplus/bitmap.c:220:"page" may have an unchecked error
fs/hfsplus/bitmap.c:225:"page" may have an unchecked error
mm/page-writeback.c:1169:"page" may have an unchecked error
include/linux/mm.h:650: Dereferencing variable page_mapping#page, which may contain one of the following error codes: ENOMEM* EIO
include/linux/err.h:24: an unchecked error may be returned
mm/filemap.c:1686:"cabs2cil____12" receives an error from function "ERR_PTR"
mm/filemap.c:1686:"cabs2cil_" receives an error from "cabs2cil____12"
mm/filemap.c:1686:"cabs2cil____7" receives an error from "cabs2cil_"
mm/filemap.c:1686: an unchecked error may be returned
mm/filemap.c:1715:"page" receives an error from function "__read_cache_page"
mm/filemap.c:1717: an unchecked error may be returned
mm/filemap.c:1761:"cabs2cil____8" receives an error from function "do_read_cache_page"
mm/filemap.c:1761: an unchecked error may be returned
mm/filemap.c:1818:"cabs2cil____7" receives an error from function "read_cache_page_async"
mm/filemap.c:1818:"cabs2cil____7" may have an unchecked error
mm/filemap.c:1774: an unchecked error may be returned
mm/filemap.c:1818:"cabs2cil____8" receives an error from function "wait_on_page_read"
mm/filemap.c:1818: an unchecked error may be returned
include/linux/pagemap.h:273:"cabs2cil____7" receives an error from function "read_cache_page"
include/linux/pagemap.h:273: an unchecked error may be returned
fs/hfsplus/bitmap.c:181:"page" receives an error from function "read_mapping_page"
fs/hfsplus/bitmap.c:225:"page" may have an unchecked error
mm/page-writeback.c:1169:"page" may have an unchecked error
include/linux/mm.h:650: Dereferencing variable page_mapping#page, which may contain one of the following error codes: ENOMEM* EIO
====
mm/filemap.c:1686:"cabs2cil____12" receives an error from function "ERR_PTR"
mm/filemap.c:1686:"cabs2cil_" receives an error from "cabs2cil____12"
mm/filemap.c:1686:"cabs2cil____7" receives an error from "cabs2cil_"
mm/filemap.c:1686: an unchecked error may be returned
mm/filemap.c:1715:"page" receives an error from function "__read_cache_page"
mm/filemap.c:1716:"page" may have an unchecked error
mm/filemap.c:1717: an unchecked error may be returned
mm/filemap.c:1761:"cabs2cil____8" receives an error from function "do_read_cache_page"
mm/filemap.c:1761: an unchecked error may be returned
mm/filemap.c:1818:"cabs2cil____7" receives an error from function "read_cache_page_async"
mm/filemap.c:1818:"cabs2cil____7" may have an unchecked error
mm/filemap.c:1767:"page" may have an unchecked error
mm/filemap.c:1774: an unchecked error may be returned
mm/filemap.c:1818:"cabs2cil____8" receives an error from function "wait_on_page_read"
mm/filemap.c:1818: an unchecked error may be returned
include/linux/pagemap.h:273:"cabs2cil____7" receives an error from function "read_cache_page"
include/linux/pagemap.h:273: an unchecked error may be returned
fs/hfsplus/bitmap.c:181:"page" receives an error from function "read_mapping_page"
fs/hfsplus/bitmap.c:182:"page" may have an unchecked error
fs/hfsplus/bitmap.c:183:"page" may have an unchecked error
fs/hfsplus/bitmap.c:184:"page" may have an unchecked error
fs/hfsplus/bitmap.c:185:"page" may have an unchecked error
fs/hfsplus/bitmap.c:188:"page" may have an unchecked error
fs/hfsplus/bitmap.c:189:"page" may have an unchecked error
fs/hfsplus/bitmap.c:202:"page" may have an unchecked error
fs/hfsplus/bitmap.c:203:"page" may have an unchecked error
fs/hfsplus/bitmap.c:204:"page" may have an unchecked error
fs/hfsplus/bitmap.c:206:"page" may have an unchecked error
fs/hfsplus/bitmap.c:207:"page" may have an unchecked error
fs/hfsplus/bitmap.c:203:"page" may have an unchecked error
fs/hfsplus/bitmap.c:209:"page" may have an unchecked error
fs/hfsplus/bitmap.c:210:"page" may have an unchecked error
fs/hfsplus/bitmap.c:220:"page" may have an unchecked error
fs/hfsplus/bitmap.c:225:"page" may have an unchecked error
mm/page-writeback.c:1169:"page" may have an unchecked error
include/linux/mm.h:650:"page" may have an unchecked error
include/linux/mm.h:652:"page" may have an unchecked error
include/linux/mm.h:653:"page" may have an unchecked error
include/linux/page-flags.h:253:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:311:"page" may have an unchecked error
include/linux/page-flags.h:253:"page" may have an unchecked error
include/linux/mm.h:653:"page" may have an unchecked error
include/linux/mm.h:655:"page" may have an unchecked error
include/linux/mm.h:656:"page" may have an unchecked error
include/linux/mm.h:657:"page" may have an unchecked error
mm/page-writeback.c:1169:"page" may have an unchecked error
mm/page-writeback.c:1171:"page" may have an unchecked error
mm/page-writeback.c:1179:"page" may have an unchecked error
include/linux/page-flags.h:204: Dereferencing variable PageDirty#page, which may contain one of the following error codes: ENOMEM* EIO
include/linux/err.h:24: an unchecked error may be returned
mm/filemap.c:1686:"cabs2cil____12" receives an error from function "ERR_PTR"
mm/filemap.c:1686:"cabs2cil_" receives an error from "cabs2cil____12"
mm/filemap.c:1686:"cabs2cil____7" receives an error from "cabs2cil_"
mm/filemap.c:1686: an unchecked error may be returned
mm/filemap.c:1715:"page" receives an error from function "__read_cache_page"
mm/filemap.c:1717: an unchecked error may be returned
mm/filemap.c:1761:"cabs2cil____8" receives an error from function "do_read_cache_page"
mm/filemap.c:1761: an unchecked error may be returned
mm/filemap.c:1818:"cabs2cil____7" receives an error from function "read_cache_page_async"
mm/filemap.c:1818:"cabs2cil____7" may have an unchecked error
mm/filemap.c:1774: an unchecked error may be returned
mm/filemap.c:1818:"cabs2cil____8" receives an error from function "wait_on_page_read"
mm/filemap.c:1818: an unchecked error may be returned
include/linux/pagemap.h:273:"cabs2cil____7" receives an error from function "read_cache_page"
include/linux/pagemap.h:273: an unchecked error may be returned
fs/hfsplus/bitmap.c:181:"page" receives an error from function "read_mapping_page"
fs/hfsplus/bitmap.c:225:"page" may have an unchecked error
mm/page-writeback.c:1179:"page" may have an unchecked error
include/linux/page-flags.h:204: Dereferencing variable PageDirty#page, which may contain one of the following error codes: ENOMEM* EIO
====
include/linux/err.h:24: an unchecked error may be returned
mm/filemap.c:1686:"cabs2cil____12" receives an error from function "ERR_PTR"
mm/filemap.c:1686:"cabs2cil_" receives an error from "cabs2cil____12"
mm/filemap.c:1686:"cabs2cil____7" receives an error from "cabs2cil_"
mm/filemap.c:1686: an unchecked error may be returned
mm/filemap.c:1715:"page" receives an error from function "__read_cache_page"
mm/filemap.c:1716:"page" may have an unchecked error
mm/filemap.c:1717: an unchecked error may be returned
mm/filemap.c:1761:"cabs2cil____8" receives an error from function "do_read_cache_page"
mm/filemap.c:1761: an unchecked error may be returned
mm/filemap.c:1818:"cabs2cil____7" receives an error from function "read_cache_page_async"
mm/filemap.c:1818:"cabs2cil____7" may have an unchecked error
mm/filemap.c:1767:"page" may have an unchecked error
mm/filemap.c:1774: an unchecked error may be returned
mm/filemap.c:1818:"cabs2cil____8" receives an error from function "wait_on_page_read"
mm/filemap.c:1818: an unchecked error may be returned
include/linux/pagemap.h:273:"cabs2cil____7" receives an error from function "read_cache_page"
include/linux/pagemap.h:273: an unchecked error may be returned
fs/hfsplus/bitmap.c:181:"page" receives an error from function "read_mapping_page"
fs/hfsplus/bitmap.c:182:"page" may have an unchecked error
fs/hfsplus/bitmap.c:183:"page" may have an unchecked error
fs/hfsplus/bitmap.c:184:"page" may have an unchecked error
fs/hfsplus/bitmap.c:185:"page" may have an unchecked error
fs/hfsplus/bitmap.c:188:"page" may have an unchecked error
fs/hfsplus/bitmap.c:189:"page" may have an unchecked error
fs/hfsplus/bitmap.c:202:"page" may have an unchecked error
fs/hfsplus/bitmap.c:203:"page" may have an unchecked error
fs/hfsplus/bitmap.c:204:"page" may have an unchecked error
fs/hfsplus/bitmap.c:206:"page" may have an unchecked error
fs/hfsplus/bitmap.c:207:"page" may have an unchecked error
fs/hfsplus/bitmap.c:203:"page" may have an unchecked error
fs/hfsplus/bitmap.c:209:"page" may have an unchecked error
fs/hfsplus/bitmap.c:210:"page" may have an unchecked error
fs/hfsplus/bitmap.c:220:"page" may have an unchecked error
fs/hfsplus/bitmap.c:225:"page" may have an unchecked error
mm/page-writeback.c:1169:"page" may have an unchecked error
include/linux/mm.h:650:"page" may have an unchecked error
include/linux/mm.h:652:"page" may have an unchecked error
include/linux/mm.h:653:"page" may have an unchecked error
include/linux/page-flags.h:253:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:311:"page" may have an unchecked error
include/linux/page-flags.h:253:"page" may have an unchecked error
include/linux/mm.h:653:"page" may have an unchecked error
include/linux/mm.h:655:"page" may have an unchecked error
include/linux/mm.h:656:"page" may have an unchecked error
include/linux/mm.h:657:"page" may have an unchecked error
mm/page-writeback.c:1169:"page" may have an unchecked error
mm/page-writeback.c:1171:"page" may have an unchecked error
mm/page-writeback.c:1179:"page" may have an unchecked error
include/linux/page-flags.h:204:"page" may have an unchecked error
/scratch/linux-2.6.35.4/arch/x86/include/asm/bitops.h:311:"page" may have an unchecked error
include/linux/page-flags.h:204:"page" may have an unchecked error
mm/page-writeback.c:1179:"page" may have an unchecked error
mm/page-writeback.c:1180:"page" may have an unchecked error
include/linux/page-flags.h:204: Dereferencing variable TestSetPageDirty#page, which may contain one of the following error codes: ENOMEM* EIO
include/linux/err.h:24: an unchecked error may be returned
mm/filemap.c:1686:"cabs2cil____12" receives an error from function "ERR_PTR"
mm/filemap.c:1686:"cabs2cil_" receives an error from "cabs2cil____12"
mm/filemap.c:1686:"cabs2cil____7" receives an error from "cabs2cil_"
mm/filemap.c:1686: an unchecked error may be returned
mm/filemap.c:1715:"page" receives an error from function "__read_cache_page"
mm/filemap.c:1717: an unchecked error may be returned
mm/filemap.c:1761:"cabs2cil____8" receives an error from function "do_read_cache_page"
mm/filemap.c:1761: an unchecked error may be returned
mm/filemap.c:1818:"cabs2cil____7" receives an error from function "read_cache_page_async"
mm/filemap.c:1818:"cabs2cil____7" may have an unchecked error
mm/filemap.c:1774: an unchecked error may be returned
mm/filemap.c:1818:"cabs2cil____8" receives an error from function "wait_on_page_read"
mm/filemap.c:1818: an unchecked error may be returned
include/linux/pagemap.h:273:"cabs2cil____7" receives an error from function "read_cache_page"
include/linux/pagemap.h:273: an unchecked error may be returned
fs/hfsplus/bitmap.c:181:"page" receives an error from function "read_mapping_page"
fs/hfsplus/bitmap.c:225:"page" may have an unchecked error
mm/page-writeback.c:1180:"page" may have an unchecked error
include/linux/page-flags.h:204: Dereferencing variable TestSetPageDirty#page, which may contain one of the following error codes: ENOMEM* EIO
====
reply other threads:[~2010-11-17 18:28 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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='AANLkTi=64aMdytm=ty01P5UOk1SKfFeWr2FAeudWQ8Lu@mail.gmail.com' \
--to=crubio@cs.wisc.edu \
--cc=liblit@cs.wisc.edu \
--cc=linux-mm@kvack.org \
/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