Add support for analyzing FreeBSD kernel printf extensions.
This adds a new __freebsd_kprintf__ format string type, which enables checking when used in __attribute__((format(...))) attributes. It can check the FreeBSD kernel specific %b, %D, %r and %y specifiers, using existing diagnostic messages. Also adds test cases for all these specifiers. Differential Revision: http://reviews.llvm.org/D7154 git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@229921 91177308-0d34-0410-b5e6-96231b3b80d8
Showing
- include/clang/Analysis/Analyses/FormatString.h 9 additions, 2 deletionsinclude/clang/Analysis/Analyses/FormatString.h
- include/clang/Sema/Sema.h 1 addition, 0 deletionsinclude/clang/Sema/Sema.h
- lib/Analysis/FormatString.cpp 16 additions, 0 deletionslib/Analysis/FormatString.cpp
- lib/Analysis/PrintfFormatString.cpp 38 additions, 5 deletionslib/Analysis/PrintfFormatString.cpp
- lib/Sema/SemaChecking.cpp 42 additions, 2 deletionslib/Sema/SemaChecking.cpp
- lib/Sema/SemaDeclAttr.cpp 1 addition, 0 deletionslib/Sema/SemaDeclAttr.cpp
- test/Sema/attr-format.c 7 additions, 0 deletionstest/Sema/attr-format.c
- test/Sema/format-strings-freebsd.c 40 additions, 0 deletionstest/Sema/format-strings-freebsd.c
Loading
Please register or sign in to comment