1*4882a593Smuzhiyun// SPDX-License-Identifier: GPL-2.0-only 2*4882a593Smuzhiyun/// The various basic memory allocation functions don't return ERR_PTR 3*4882a593Smuzhiyun/// 4*4882a593Smuzhiyun// Confidence: High 5*4882a593Smuzhiyun// Copyright: (C) 2010-2012 Nicolas Palix. 6*4882a593Smuzhiyun// Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6. 7*4882a593Smuzhiyun// Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6. 8*4882a593Smuzhiyun// URL: http://coccinelle.lip6.fr/ 9*4882a593Smuzhiyun// Comments: 10*4882a593Smuzhiyun// Options: --no-includes --include-headers 11*4882a593Smuzhiyun 12*4882a593Smuzhiyunvirtual patch 13*4882a593Smuzhiyunvirtual context 14*4882a593Smuzhiyunvirtual org 15*4882a593Smuzhiyunvirtual report 16*4882a593Smuzhiyun 17*4882a593Smuzhiyun@depends on patch@ 18*4882a593Smuzhiyunexpression x,E; 19*4882a593Smuzhiyun@@ 20*4882a593Smuzhiyun 21*4882a593Smuzhiyunx = \(kmalloc\|kzalloc\|kcalloc\|kmem_cache_alloc\|kmem_cache_zalloc\|kmem_cache_alloc_node\|kmalloc_node\|kzalloc_node\)(...) 22*4882a593Smuzhiyun... when != x = E 23*4882a593Smuzhiyun- IS_ERR(x) 24*4882a593Smuzhiyun+ !x 25*4882a593Smuzhiyun 26*4882a593Smuzhiyun@r depends on !patch exists@ 27*4882a593Smuzhiyunexpression x,E; 28*4882a593Smuzhiyunposition p1,p2; 29*4882a593Smuzhiyun@@ 30*4882a593Smuzhiyun 31*4882a593Smuzhiyun*x = \(kmalloc@p1\|kzalloc@p1\|kcalloc@p1\|kmem_cache_alloc@p1\|kmem_cache_zalloc@p1\|kmem_cache_alloc_node@p1\|kmalloc_node@p1\|kzalloc_node@p1\)(...) 32*4882a593Smuzhiyun... when != x = E 33*4882a593Smuzhiyun* IS_ERR@p2(x) 34*4882a593Smuzhiyun 35*4882a593Smuzhiyun@script:python depends on org@ 36*4882a593Smuzhiyunp1 << r.p1; 37*4882a593Smuzhiyunp2 << r.p2; 38*4882a593Smuzhiyun@@ 39*4882a593Smuzhiyun 40*4882a593Smuzhiyuncocci.print_main("alloc call",p1) 41*4882a593Smuzhiyuncocci.print_secs("IS_ERR that should be NULL tests",p2) 42*4882a593Smuzhiyun 43*4882a593Smuzhiyun@script:python depends on report@ 44*4882a593Smuzhiyunp1 << r.p1; 45*4882a593Smuzhiyunp2 << r.p2; 46*4882a593Smuzhiyun@@ 47*4882a593Smuzhiyun 48*4882a593Smuzhiyunmsg = "ERROR: allocation function on line %s returns NULL not ERR_PTR on failure" % (p1[0].line) 49*4882a593Smuzhiyuncoccilib.report.print_report(p2[0], msg) 50