Sparse 0.6.2 released

From Sparse Wiki
Revision as of 13:40, 21 June 2020 by Luc Van Oostenryck (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Sparse v0.6.2 is out.

The source code can be found at the official repository:

  git://git.kernel.org/pub/scm/devel/sparse/sparse.git v0.6.2

The tarballs can be found at:

  https://www.kernel.org/pub/software/devel/sparse/dist/

with the following sha256sum:

  0395bada812d831b2f32948258690c1c5799761683d5d4f20c34e641037bd555  sparse-0.6.2.tar.gz
  519ca0de92c1c5dbb76494176c7e567ce4cc8f64a2ecd27b2fae32ce156421fc  sparse-0.6.2.tar.xz


Many thanks to people who have contributed to the 269 patches of this release, reported a bug or made a suggestion:

  Ramsay Jones, Oleg Nesterov, John Levon, Alexey Gladkov,
  Xi Wang, Xan Phung, Toomas Soome, Quentin Monnet,
  Joe Perches, Davidson Francis, Garrit Franke, Ben Dooks,
  Randy Dunlap, Marco Elver Alex Kogan, Miguel Ojeda,
  Linus Torvalds, Paul Walmsley and kbuild test robot.

Special thanks to Ramsay Jones who has reviewed and tested numerous patches and found a lot of my typos and to Marco Elver who has reported an embarrassing bug late in the release cycle.

The most notable changes are:

  • sindex: a new cscope-like tool by Alexey Gladkov
  • sparse can now use the option --arch=<arch> for non-native usage
  • support for __auto_type & _Generic()
  • the documentation can now be found on https://sparse.docs.kernel.org

Release notes for v0.6.2


  • add a new tool: sindex - the semantic utility
   Sindex is a simple to use cscope-like tool but understanding
   how symbols are used and which can track struct members.
  • add support for GCC's __auto_type
  • add support for _Generic
  • fully propagate declarations downward.
   For example, it means that code like:
       static int foo(void);
       int foo(void) { return 0; }
   now behaves as expected: foo() is effectively static.
  • multi-arch:
  * allow a single sparse executable to be used for multiple architectures
  * add support for -mcmodel & -f{pic,PIC,pie,PIE}, mainly for RISC-V
  * add new option, --arch=$ARCH, to specify the target architecture
  * move all arch-specific code into separate files (target-$ARCH.c)
  * try to support the various floating-point ABIs on ARM
  * fix wchar_t & wint_t for openbsd
  * add missing predefines for PPC
  * add missing predefines: __amd64 & __amd64__
  * sparc32 on SunOS/Solaris uses 128-bit long double
  * fix wchar_t & wint_t on SunOS/Solaris
  * teach sparse about -fshort-wchar
  * keep cygwin specifics with i386/x86-64 specifics
  * keep BSD & Darwin specifics with i386/x86-64 specifics
  * fix the signedness of plain chars
  * add support for s390 (ILP32)
  * add predefine for __mips__
  * predefine "i386" if needed
  * pre-define __unix__ and friends
  * add necessary defined for sunos-derived systems
  * improved detection of the native OS
  • warnings:
  * improve diagnostic message about wrong redeclaration
  * conditionally accept { 0 } without warnings
  * add -Wexternal-function-has-definition
  * display the bitfield name in error messages
  * oversized bitfields are now errors
  * add an option to suppress warning 'no newline at EOF'
  * warn when jumping into statement expressions
  * warn when using undefined labels
  * warn on defined but unused labels
  • attributes:
  * allows '__<attribute-name>__' for all attributes.
  * improve handling of function attributes
  * separate modifiers into type/declaration
  * add support for attributes 'unused' & 'gnu_inline'
  * simplify parsing of inline/__tls/__visible
  * better handle function-only attributes
  * teach sparse about gnu_inline
  * parse enum attributes and, for now, ignore them
  • cgcc:
  * use -fshort-char for Cygwin
  * add support for riscv32 & riscv64
  * don't define __CYGWIN32__ on 64-bit
  * filter-out sparse-specific -msize-long & -msize-llp64
  * use -mfloat-abi=hard for armhf
  * define _BIG_ENDIAN when needed
  * remove definition of _STRING_ARCH_unaligned (defined by glibc)
  * removed unneeded predefines for integers (now defined by sparse)
  * better multi-arch support by using --arch=$ARCH
  • testsuite:
  * avoid standard includes in the tests
  * fix testcase with non-constant initializer
   
  • IR
  * add support for the linearization of builtins
  * generate OP_UNREACH from  __builtin_unreachable()
  * add OP_UNREACH after calls to __noreturn functions
  • doc:
  * do not use obsolete sphinx's AutodocReporter
  * Sphinx's minimal version is now 1.7
  * add basic doc about the type system
  * doc is now accessible as: https://sparse.docs.kernel.org
  * release notes (old and current ones) have been added to the doc
  * now using the sphinx_rtd_theme instead of the classic theme
  • misc:
  * add support for '-std=c17/c18'
  * simplify testing of which version of the standard is used
  * ensure that typeofs are evaluated before using show_typename()
  * use a single way to expand typeofs
  * various improvements to the 'dissect' tool
  * simplify the parsing of type specifiers
  * improve diagnostic messages concerning bitfields
  * fix premature examination of dereferenced object
  * various fixes for the expansion of constant symbols
  * fix type compatibility of _Atomic types
  * add support for builtin macros with argument
  * add support for __has_feature() & __has_extension()

Changes since previous release (v0.6.1) are:

  Alexey Gladkov (2):
     Add semantic index utility
     sindex: Add option to search by location
  Davidson Francis (1):
     show-parse: null pointer dereference in do_show_type()
  Garrit Franke (1):
     ir-validate: remove orphan comments
  Joe Perches (1):
     Add '__' prefix and suffix to all __attribute__ #defines
  John Levon (5):
     Add -Wexternal-function-has-definition
     define __PRAGMA_REDEFINE_EXTNAME
     add necessary defined for sunos-derived systems
     pre-define __unix__ and friends
     predefine "i386" if needed
  Luc Van Oostenryck (229):
     options: add support for -fpic, -fPIC, -fpie & -fPIE
     options: add support for -mcmodel
     arch: add predefine for __mips__
     arch: reorder MACH_XXX defines
     arch: add support for s390 (ILP32)
     arch: change the arch when changing -m32/64
     arch: add an option to specify the desired arch: --arch=<arch>
     cgcc: specify the arch via --arch
     cgcc: removed unneeded predefines for integers
     .gitignore: alphasort the patterns
     remove unused KW_STATEMENT
     remove unused SYM_MEMBER
     remove unused SYM_TYPEDEF
     remove unneeded MOD_TYPE
     show-type: add a test program to test do_show_type() & friends
     arch: fix setting the endianness
     cgcc: remove _STRING_ARCH_unaligned
     cgcc: let sparse define _BIG_ENDIAN
     typeof: fix up comment in examine_pointer_type()
     typeof: add a test for unexamined typeof
     typeof: examine it at show-time
     spec: process chars like other integer types
     spec: types[] is indexed by the specifier class
     spec: add '.class = CInt'
     spec: improve parsing of __int128
     spec: KW_SHORT is not needed
     spec: KW_LONG is not needed
     spec: s/size/rank/
     arch: fix the signedness of plain chars
     arch: simplify i386/x86-64 specifics
     arch: do not needlessly set bitness on 32-bit archs
     arch: remove impossible cases with 64-bit arch not being lp64
     arch: keep BSD & Darwin specifics with i386/x86-64 specifics
     function attributes apply to the function declaration
     option: move all option parsing helpers before their potential uses
     arch: keep cygwin specifics with i386/x86-64 specifics
     arch: teach sparse about -fshort-wchar
     cgcc: let cygwin use -fshort-wchar
     option: allow handle_switches() to set non-boolean values
     option: use handle_switches() for -m flags
     option: simpler handling of key-value for suboptions
     add tests for function attributes
     fix assignment: pointer to __pure/__noreturn function to void *
     fix assignment check with function attribute
     propagate function modifiers only to functions
     let function definition inherit prototype attributes
     allow 'static' forward declaration
     spec: make ctype_declare[] more readable
     spec: get rid of all specifier MOD_XXX
     fp-abi: add tests for ARM's -mfloat-abi=... & -msoft-float
     fp-abi: teach sparse about -mfloat-abi on ARM
     fp-abi: teach sparse about -m{hard,soft}-float
     cgcc: use -mfloat-abi=hard for armhf
     arch: char32_t should be the same as uint32_t, not uint
     arch: (almost) all platforms simply use int for int32
     arch: add predefines for INT128 only on supported archs
     arch: use a variable for the OS
     arch: fix wchar_t & wint_t on SunOS/Solaris
     arch: sparc32 on SunOS/Solaris uses 128-bit long doubles
     arch: add note for 128-bit long double on mips64
     spec: replace lllong_ctype by int128_ctype
     cgcc: filter-out -msize-long & -msize-llp64
     arch: add missing predfines: __amd64 & __amd64__
     arch: add missing predefines for PPC
     arch: fix wchar_t & wint_t for openbsd
     cgcc: add support for riscv64
     simplify initialization of Wdeclarationafterstatement
     allow to test the standard version outside of lib.c
     alt definition for STANDARD_GNU89 & friends
     testsuite: avoid standard includes in the tests
     remove redundant degenerate() in compatible_assignment_types()
     bitfield: add testcases for invalid bitfield width
     bitfield: don't warn twice on invalid width
     bitfield: oversized bitfields are errors
     bitfield: keep the bitfield ident
     bitfield: display the bitfield name in error messages
     reorganize the __STDC_VERSION__/__STRICT_ANSI__ switch statement
     simplify definition of __STRICT_ANSI__
     separate definition of __STDC_NO_ATOMICS__ and friends from C11
     teach sparse about C17
     fix premature examination of dereferenced object
     split testcases for type punning & constant initializer expansion
     add testcase for expansion of default initializers
     add testcase for addressability of degenerated symbol
     add testcase for addressability of 'complex' symbols
     add test for union cast
     add test for dereference cost of symbol with complex type
     add test for constant expansion of complex initializer
     extract mark_addressable() from evaluate_addressof().
     fix addressability marking in evaluate_addressof()
     degenerated arrays & functions are addressable too
     fix expansion of initializer (mismatching size)
     fix expansion of initializer (mismatching type)
     fix expansion of initializer (default)
     fix simplify_loads() when doing type punning
     fix cost of dereference of symbols with complex type
     mark strings as examined & evaluated
     testcase: remove trailing ';' in commands
     typeof: do not let classify_type() do its own SYM_TYPEOF expansion
     typeof: extract examine_typeof() from examine_symbol_type()
     typeof: avoid using is_bitfield_type()
     improve diagnostic message about wrong redeclaration
     cgcc: add support for riscv32
     cgcc: rename 'ppc64+{be,le}' to 'ppc64{be,le}'
     arch: move arch-specificities to their own files
     arch: move parsing of --arch=<ARCH> to target.c
     arch: move handle_arch_finalize() into target_init()
     arch: use an arch-specific default for -msize-long
     arch: move target-specific predefines to the target files.
     arch: move cmodel predefines to the target files.
     arch: use arch_target for INT128's predefine
     arch: arch_mach is not needed anymore
     fix testcase with non-constant initializer
     ptrlist: fix typos
     add predefine_nostd()
     fix typo when detecting SunOS
     detect native OS in alphabetical order
     detect native OS on OpenBSD & NetBSD
     detect OS_UNIX as native OS
     allow to easily test if the OS is UNIX-like
     fix type compatibility of _Atomic
     inline: add some tests
     do the tree inlining during expansion phase
     teach sparse about -pedantic/-Wpedantic
     cpp: silently allow conditional directives within a macro
     cpp: remove extra newlines during macro expansion
     cpp: fix redefinition of a macro during its own expansion
     add testcases for OP_UNREACH
     add instruction OP_UNREACH
     add an implicit __builtin_unreachable() for __noreturn
     add support for linearization of builtins
     teach sparse to linearize __builtin_unreachable()
     add support for GCC's __auto_type
     do not use expr->left for conditionals
     doc: do not use obsolete sphinx.ext.autodoc.AutodocReporter
     doc: fix the warnings when building the doc
     doc: remove done item from the TODO
     misc: fix typo: s/OS_UNIX/OS_NATIVE/
     attribute: sort the table of modifier names
     attribute: add helper apply_mod() and use it
     attribute: allow some attribute to be present multiple times
     attribute: add support for unused
     attribute: separate modifiers into type/declaration
     attribute: teach sparse about attribute((gnu_inline))
     univ-init: add helper match_token_zero()
     attribute: '__tls' is just another 'declaration' modifier
     attribute: 'inline' is just another 'declaration' modifier
     attribute: 'externally_visible' is just another 'declaration' modifier
     testsuite: add a few testcases for nested functions
     misc: fix testcase typeof-safe
     misc: s/fntype/rettype/
     misc: always use the node for current_fn
     bad-goto: add testcase for 'jump inside discarded expression statement'
     bad-goto: add testcases for linearization of invalid labels
     bad-goto: reorganize testcases and add some more
     bad-goto: do not linearize if the IR will be invalid
     bad-goto: reorg test in evaluate_goto_statement()
     bad-goto: simplify testing of undeclared labels
     bad-goto: do not linearize function with undeclared labels
     bad-goto: catch labels with reserved names
     scope: no memset() needed after __alloc_scope()
     scope: move scope opening/ending inside compound_statement()
     scope: extract bind_symbol_with_scope() from bind_symbol()
     scope: __func__ is special
     scope: __label__ is special
     scope: s/{start,end}_symbol_scope/{start,end}_block_scope/
     scope: let labels have their own scope
     scope: add is_in_scope()
     scope: give a scope for labels & gotos
     bad-goto: jumping inside a statement expression is an error
     bad-goto: label expression inside a statement expression is UB
     bad-goto: extract check_label_declaration()
     bad-goto: check declaration of label expressions
     bad-label: check for unused labels
     bad-label: mark labels as used when needed
     bad-label: respect attribute((unused))
     univ-init: conditionally accept { 0 } without warnings
     add an option to suppress warning 'no newline at EOF'
     testsuite: add testcase for duplicated local definitions
     add support for _Generic
     univ-init: scalar initializer needs some additional checks
     univ-init: set default to -Wno-universal-initializer
     pre-process: remove unneeded declaration of show_token_sequence()
     generic: fix crash when nothing match
     nios2: add declaration for __builtin_{rd,wr}ctl()
     builtin: can be initialized later
     builtin: use a table for the builtins
     builtin: unify the 2 tables of builtins
     builtin: add support for arch-specific builtins
     arch: add specificities for Nios2
     arch: add specificities for Blackfin
     arch: add specificities for Alpha
     testsuite: plain chars are never compatible with [un]signed chars
     ctype: keep modifiers & base_type close
     doc: add some doc for the type system
     doc: move meta-doc to its own section
     doc: add link to the doc on kernel.org in the man page
     doc: add release notes for incoming v0.6.2
     doc: show the ToC in the sidebar
     Sparse v0.6.2-rc1
     sindex: minimal version for sqlite3 is 3.24
     sindex: use -stdc=gnu99
     doc: reindent the sublists in the relnotes
     attribute: parse but ignore enum attributes
     doc: fix code-block formatting in v0.6.2 relnotes
     doc: minimal version for Sphinx is 1.7
     doc: add intro stolen from the wiki
     doc: copy the old relnotes here
     doc: update TODO
     doc: fix some typos
     doc: fix markup in types.rst (s/```/``/)
     doc: reformulate an item in the TODO
     build: let the C++ compiler be configurable
     testsuite: be less paranoid with timeout
     pre-process: add testcases for __has_feature() & __has_extension()
     pre-process: rename 'expander' into 'expand_simple'
     pre-process: add support for builtin macros
     pre-process: add support for __has_feature() & __has_extension()
     pre-process: make __has_{attribute,builtin}() true builtin macros
     Sparse v0.6.2-rc2
     gensel: add testcases from DR481
     gensel: use temporary variable in generic selection
     gensel: controlling expression must be lvalue converted
     gensel: controlling expression must be pointer-converted
     gensel: validate the type of the associations
     doc: switch to the sphinx_rtd theme
     doc: add some info to the main page
     doc: update release notes
     Sparse v0.6.2
  Oleg Nesterov (20):
     show_parse: avoid null pointer dereference in do_show_type()
     dissect: don't report anonymous members in initializers
     dissect: turn mk_name() into deanon()
     dissect: change deanon() to handle the !node case
     dissect: disallow NULL pointers in struct reporter
     dissect: introduce reporter->r_memdef()
     dissect: introduce dissect_ctx
     dissect: change do_symbol(SYM_FN) to check base_type->stmt != NULL
     dissect: kill return_type
     dissect: set sym->kind for reporter
     dissect: enforce sym->kind='f' when it looks like a function call
     dissect: introduce sym_is_local() for reporter
     dissect: move __sparse() callsite from test-dissect.c to dissect.c
     dissect: use show_ident() to print dctx->ident
     dissect: don't set ->ident = '?' in no_member()
     dissect: kill no_member()
     struct_union_enum_specifier: always initialize sym->scope
     dissect: fix sym_is_local(SYM_STRUCT/UNION/ENUM)
     dissect: enforce toplevel() if SYM_STRUCT was not defined
     make "directive in macro's argument list" a warning
  Quentin Monnet (1):
     build: fix LLVM version detection
  Ramsay Jones (6):
     lib.c: fix spelling of _BIG_ENDIAN
     cgcc: fix definition of 'linux' macro
     cgcc: only define __CYGWIN32__ for -m32 builds
     evaluate: mark evaluate_generic_selection() as static
     pre-process: fix a compiler array subscript type warning
     doc: correct some spelling
  Toomas Soome (1):
     correct sparcv9 defines
  Xan Phung (1):
     domtree: domtree_build() creates extraneous bb->doms entries
  Xi Wang (1):
     fix pointer casts in evaluate_compare()
Personal tools