Splint barfs на __thread, который является частью C99

Question

Запуск Шинная

matt@stanley:~/cpfs$ splint -paramuse +gnuextensions cpfs.c 

останавливается на этой линии:

__thread int cpfs_errno; 

с ошибкой синтаксического анализа:

 
cpfs.c:127:13: Parse Error: Non-function declaration: __thread : 
       int. (For help on parse errors, see splint -help parseerrors.) 
*** Cannot continue. 

Проверка документации и полоскание не упоминается __thread. Однако __thread is part of the C99 spec, который, как утверждается, поддерживает Splint (вставить ссылку).

Что здесь происходит? Как я могу получить шину для распознавания __thread?

Answer 1

От splint FAQ просто добавьте -D__thread= в командную строку шины. Это приведет к удалению ключевого слова __thread из кода, в то время как шина изучает его. Я предполагаю, что шина не особенно известна в потоке и не сможет использовать информацию, которая была передана в GCC по ключевому слову.

Answer 2

__thread не находится на C99. Это расширение GNU C - раздел, к которому вы привязаны, находится в пределах Extensions to the C Language Family. В нем описывается расширение с точки зрения изменений в стандарте C99, предположительно в качестве подготовки к его принятию в будущем пересмотре стандарта.