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.
[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
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 ====