| Server IP : 172.67.216.182 / Your IP : 172.71.82.104 Web Server : Apache System : Linux krdc-ubuntu-s-2vcpu-4gb-amd-blr1-01.localdomain 5.15.0-142-generic #152-Ubuntu SMP Mon May 19 10:54:31 UTC 2025 x86_64 User : www ( 1000) PHP Version : 7.4.33 Disable Function : passthru,exec,system,putenv,chroot,chgrp,chown,shell_exec,popen,proc_open,pcntl_exec,ini_alter,ini_restore,dl,openlog,syslog,readlink,symlink,popepassthru,pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wifcontinued,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority,imap_open,apache_setenv MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : ON Directory : /usr/src/linux-headers-5.15.0-142/scripts/coccinelle/api/ |
Upload File : |
// SPDX-License-Identifier: GPL-2.0-only // Check if refcount_t type and API should be used // instead of atomic_t type when dealing with refcounters // // Copyright (c) 2016-2017, Elena Reshetova, Intel Corporation // // Confidence: Moderate // URL: http://coccinelle.lip6.fr/ // Options: --include-headers --very-quiet virtual report @r1 exists@ identifier a, x; position p1, p2; identifier fname =~ ".*free.*"; identifier fname2 =~ ".*destroy.*"; identifier fname3 =~ ".*del.*"; identifier fname4 =~ ".*queue_work.*"; identifier fname5 =~ ".*schedule_work.*"; identifier fname6 =~ ".*call_rcu.*"; @@ ( atomic_dec_and_test@p1(&(a)->x) | atomic_dec_and_lock@p1(&(a)->x, ...) | atomic_long_dec_and_lock@p1(&(a)->x, ...) | atomic_long_dec_and_test@p1(&(a)->x) | atomic64_dec_and_test@p1(&(a)->x) | local_dec_and_test@p1(&(a)->x) ) ... ( fname@p2(a, ...); | fname2@p2(...); | fname3@p2(...); | fname4@p2(...); | fname5@p2(...); | fname6@p2(...); ) @script:python depends on report@ p1 << r1.p1; p2 << r1.p2; @@ msg = "atomic_dec_and_test variation before object free at line %s." coccilib.report.print_report(p1[0], msg % (p2[0].line)) @r4 exists@ identifier a, x, y; position p1, p2; identifier fname =~ ".*free.*"; @@ ( atomic_dec_and_test@p1(&(a)->x) | atomic_dec_and_lock@p1(&(a)->x, ...) | atomic_long_dec_and_lock@p1(&(a)->x, ...) | atomic_long_dec_and_test@p1(&(a)->x) | atomic64_dec_and_test@p1(&(a)->x) | local_dec_and_test@p1(&(a)->x) ) ... y=a ... fname@p2(y, ...); @script:python depends on report@ p1 << r4.p1; p2 << r4.p2; @@ msg = "atomic_dec_and_test variation before object free at line %s." coccilib.report.print_report(p1[0], msg % (p2[0].line)) @r2 exists@ identifier a, x; position p1; @@ ( atomic_add_unless(&(a)->x,-1,1)@p1 | atomic_long_add_unless(&(a)->x,-1,1)@p1 | atomic64_add_unless(&(a)->x,-1,1)@p1 ) @script:python depends on report@ p1 << r2.p1; @@ msg = "atomic_add_unless" coccilib.report.print_report(p1[0], msg) @r3 exists@ identifier x; position p1; @@ ( x = atomic_add_return@p1(-1, ...); | x = atomic_long_add_return@p1(-1, ...); | x = atomic64_add_return@p1(-1, ...); ) @script:python depends on report@ p1 << r3.p1; @@ msg = "x = atomic_add_return(-1, ...)" coccilib.report.print_report(p1[0], msg)