* Error-valued pointer dereferences in the Memory Management module
@ 2010-11-17 18:28 Cindy Rubio González
0 siblings, 0 replies; only message in thread
From: Cindy Rubio González @ 2010-11-17 18:28 UTC (permalink / raw)
To: linux-mm; +Cc: Ben Liblit
[-- 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
====
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2010-11-17 18:28 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-11-17 18:28 Error-valued pointer dereferences in the Memory Management module Cindy Rubio González
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox