Probably it does not find the file string.h.
The software package "glibc-devel 2.14.1-14.14.1" is also installed on my
opnSUSE 12.1 system.
Maybe the -parse_c or -verbose_parsing argument can help you see what files are
included.
elfring@Sonne:~/Projekte/Coccinelle/lokal/demos/pass-through> spatch -sp_file
list_pass-through_candidates.cocci /usr/include/string.h -I /usr/include
-recursive_includes -parse_c
init_defs_builtins: /usr/share/coccinelle/standard.h
warning: seems not a .c file
PARSING: /usr/include/string.h
(ONCE) CPP-MACRO: found known macro = __attribute_pure__
(ONCE) CPP-MACRO: __attributenoarg detected
(ONCE) CPP-MACRO: __attribute detected
(ONCE) CPP-TYPEDEF: promoting: __THROW
(ONCE) CPP-TYPEDEF: promoting: __extern_always_inline
(ONCE) CPP-TYPEDEF: promoting: __attribute_malloc__
(ONCE) CPP-TYPEDEF: promoting: strerror_r
(ONCE) CPP-MACRO: found known macro = strerror_r
(ONCE) CPP-TYPEDEF: promoting: __xpg_strerror_r
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__extension__
passed:__extension__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:strerror_r
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute__ ( ( __const__ ) )
passed:__attribute__ ( ( __const__ ) )
passed:__extension__
passed:__attribute__ ( ( __const__ ) )
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
passed:__attribute_pure__
-----------------------------------------------------------------------
maybe 10 most problematic tokens
-----------------------------------------------------------------------
__THROW: present in 76 parsing errors
example:
__THROW __asm ("basename") __nonnull ((1));
# else
extern char *basename (__const char *__filename) __THROW __nonnull ((1));
# endif
__nonnull: present in 71 parsing errors
example:
__THROW __asm ("basename") __nonnull ((1));
# else
extern char *basename (__const char *__filename) __THROW __nonnull ((1));
# endif
__s: present in 37 parsing errors
example:
/* Frobnicate N bytes of S. */
extern void *memfrob (void *__s, size_t __n) __THROW __nonnull ((1));
__n: present in 28 parsing errors
example:
/* Frobnicate N bytes of S. */
extern void *memfrob (void *__s, size_t __n) __THROW __nonnull ((1));
__c: present in 26 parsing errors
example:
# else
extern char *rindex (__const char *__s, int __c)
__THROW __attribute_pure__ __nonnull ((1));
# endif
__dest: present in 16 parsing errors
example:
extern char *stpncpy (char *__restrict __dest,
__const char *__restrict __src, size_t __n)
__THROW __nonnull ((1, 2));
#endif
__src: present in 16 parsing errors
example:
extern char *stpncpy (char *__restrict __dest,
__const char *__restrict __src, size_t __n)
__THROW __nonnull ((1, 2));
#endif
__s1: present in 11 parsing errors
example:
/* Compare S1 and S2 as strings holding name & indices/version numbers.
*/
extern int strverscmp (__const char *__s1, __const char *__s2)
__THROW __attribute_pure__ __nonnull ((1, 2));
__s2: present in 11 parsing errors
example:
/* Compare S1 and S2 as strings holding name & indices/version numbers.
*/
extern int strverscmp (__const char *__s1, __const char *__s2)
__THROW __attribute_pure__ __nonnull ((1, 2));
__extern_always_inline: present in 7 parsing errors
example:
}
__extern_always_inline __const char *
rindex (__const char *__s, int __c) __THROW
-----------------------------------------------------------------------
NB total files = 1; perfect = 0; pbs = 1; timeout = 0; =========> 0%
nb good = 33, nb passed = 56 =========> 169.696970% passed
nb good = 33, nb bad = 614 =========> 5.100464% good
Do you get a similar result in your test environment?
Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
