diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2009-11-13 20:33:19 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2009-11-13 20:33:19 -0500 |
| commit | a35aa12a916f0ba167b109e709538e4289141e58 (patch) | |
| tree | 900b808f959bcab4558e9639dd59b153b585c660 /README | |
| parent | e736aed161f54bb5130458b88001fa2c3ff31051 (diff) | |
| download | check-cpython-a35aa12a916f0ba167b109e709538e4289141e58.tar.gz check-cpython-a35aa12a916f0ba167b109e709538e4289141e58.tar.xz check-cpython-a35aa12a916f0ba167b109e709538e4289141e58.zip | |
Add current_element to error messages
Diffstat (limited to 'README')
| -rw-r--r-- | README | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -13,4 +13,12 @@ init_defs_builtins: /usr/share/coccinelle/standard.h HANDLING: buggy.c buggy.c:13: Mismatching type of argument 1: expected "int *" but got "unsigned long *" -which correctly detects an issue seen in socket.htons() on 64bit big endian machines
\ No newline at end of file +which correctly detects an issue seen in socket.htons() on 64bit big endian machines + + +Similarly, it detects the deliberate bug here: +spatch -sp_file pyarg-parsetuple.cocci ../python-svn/Modules/xxmodule.c +init_defs_builtins: /usr/share/coccinelle/standard.h +HANDLING: ../python-svn/Modules/xxmodule.c +TYPE: header ../python-svn/Modules/Python.h not found +../python-svn/Modules/xxmodule.c:206: unknown format char: '#' |