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