v0.6.0 (2018-12-26)

The source code can be found at its usual repository:

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

The tarballs are found at:

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

Many thanks to people who have contributed to the 888 non-merge patches of this release:

Ramsay Jones, Randy Dunlap, Uwe Kleine-König, Joey Pabalinas, John Levon, Ben Dooks, Jann Horn, Logan Gunthorpe, Vincenzo Frascino and Tycho Andersen.

Special thanks to Ramsay Jones who has reviewed numerous of my patches, tested many of my series and found many of my typos.

Best wishes for 2019 – Luc Van Oostenryck

The changes since the pre-release (v0.6.0-rc1) are:

• add -Wbitwise-pointer to warn on casts to/from bitwise pointers
• beautify how types are displayed:
• no more <noident>
• no more redundant type specifiers
• remove double space
• some cleanup of the build system:
• only need includedir from llvm-config
• check if sparse-llvm needs libc++
• remove -finline-functions from CFLAGS
• some random cleanup:
• remove unneeded declarations in “compat.h”
• remove unused arg in add_branch()
• allocate BBs after the guards
• remove redundant check of _Bool bitsize
• remove unused regno()
• remove self-assignment of base_type
• some documentation:
• update comment for struct-expression::cast_expression
• fix list formatting in inline doc
• document that identifiers are now OK for address spaces
• add TODO list.

The main changes since the previous release (v0.5.2) are:

• by default, disable warnings about unknown attributes
• no more warnings about sizeof(void) unless -Wpointer-arith is given
• add support for __has_attribute() & __has_builtin()
• many fixes for type evaluation/checking
• the build should be more friendly for distros
• a huge number of testcases have been added to the testsuite
• the handling of cast instructions has been completely revamped
• the SSA conversion has been is now corrected and has been rewritten with a variant of the classical algorithm
• documentation is now handled with Sphinx and inline doc is extracted from the code.
• online documentation can be found at https://sparse-doc.readthedocs.io/en/master/

A more complete list of changes is:

• add predefined macros for __INTMAX_TYPE__, __INT_MAX__, …

• prepare to identify & display the address spaces by name

• fix linearization of non-constant switch-cases

• manpage: update maintainer info

• manpage: add AUTHORS section

• fixes for -dD

• add support for -dM

• remove more complex phi-nodes

• fix linearization/SSA when missing a return

• fix linearization/SSA of (nested) logical expressions

• fix linearization of unreachable switch + label

• add support for __has_attribute()

• consolidate instruction’s properties into an opcode table

• fix: do not optimize away accesses to volatile bitfields

• support mode(__pointer__) and mode(__byte__)

• do ‘classical’ SSA conversion (via the iterated dominance frontier).

• fix buggy recursion in kill_dead_stores()

• kill dead stores again after memops simplification is done.

• simplify TRUNC((x & M’) | y, N)

• simplify AND(SHIFT(a | b, S), M)

• simplify TRUNC(SHIFT(a | b, S), N)

• add simplification of TRUNC(TRUNC((x))

• add simplification of SHL(LSR(x), S), S)

• generate integer-wide OP_ADD & OP_SUB in linearize_inc_dec()

• simplify mask instructions & bitfield accesses

• fix a few bugs related to the linearization of logical expressions

• simplify those logical expressions.

• add optimized version of some list operations

• some simplifications of OP_SETNE & OP_SETEQ with 0 and 1

• several simplifications involving casts and/or bitfields

• give a correct & sensible warning on negative or over-sized shifts.

• add conservative simplification of such shifts.

• do not optimize the meaningless shift:

  • any shift with a negative count
  • OP_ASRs with an over-sized shift count.

• try to give a correct negative/too-big error message during simplification.

• simplify chains of shifts.

• simplify ZEXT + ASR into ZEXT + LSR

• cse: try the next pair instead of keeping the first instruction

• cse: compare casts only by kind a size, not by C type.

• optimize away OP_UTPTR & OP_PTRTU which are nops.

• cleanup of list walking macros:

  • make untagged pointers the normal case
  • use structurally equivalent struct for all pointer lists to avoid needless casting to and fro struct ptrlist
  • simplify PREPARE/NEXT/RESET logic by using common PTR_NEXT()

• add validation of the IR.

• improve expansion of builtin dynamic macros (__FILE__, …)

• add support for __INCLUDE_LEVEL__ & __BASE_FILE__

• improve generation of predefined macros

• add support for builtins doing overflow checking.

• add support for the __has_builtin() macro.

• improve Sphinx doc for IR instructions

  • have those instructions in the index
  • have a nicer presentation of the generated doc thanks to not having to use level-4 headings anymore

• fixes & improvements to the testsuite; mainly:

  • allow to run the testsuite on all the tests of a subdir
  • teach ‘format’ to directly append to the testcase
  • validate the ‘check-…’ tags

Shortlog

Ben Dooks (1):

• tokenize: check show_string() for NULL pointer

Jann Horn (1):

• fix accesses through incorrect union members

Joey Pabalinas (2):

• doc: copy-edit text related to applying sizeof to a _Bool
• sparse: add -Wpointer-arith flag to toggle sizeof(void) warnings

John Levon (2):

• Ignore #ident directives
• Conditionalize ‘warning: non-ANSI function …’

Logan Gunthorpe (1):

• add __builtin functions for isinf_sign, isfinite and isnan

Luc Van Oostenryck (857):

• use long for all mem stats
• diet: use smaller LIST_NODE_NR (29 -> 13)
• diet: remove unused struct scope::token
• diet: remove unused struct symbol::arg_count
• option: add helper to parse/match command line options
• option: rename ‘struct warning’ to ‘struct flag’
• option: let handle_simple_switch() handle an array of flags
• option: extract OPTION_NUMERIC() from handle_switch_fmemcpy_max_count()
• option: add support for options with ‘zero is infinity’
• option: add support for ‘-<some-option>=unlimited’
• option: use OPTION_NUMERIC() for handle_switch_fmemcpy_max_count()
• option: constify match_option()
• option: handle switches by table
• dump-ir: add defines for the compilation passes
• testsuite: ‘echo -n’ may not be interpreted as ‘-n’
• testsuite: allow to test a few cases at once
• testsuite: move verbose() & error()
• testsuite: better message for pattern nbr checking
• testsuite: better message for pattern absence/presence
• use shorter name for constexpr tests
• testsuite: new eq/min/max syntax for pattern checking
• testsuite: obsolete old pattern checking syntax
• testsuite: convert to the new pattern syntax
• use a specific struct for asm operands
• fix: missing evaluate with ‘-include’ : add testcase
• fix: missing evaluate with ‘-include’
• fix test case kill-phi-ttsb
• add test case for incomplete type
• add test case for bad return type
• diet: remove unused struct symbol::value
• cclass: char is wide enough
• cclass: cleanup
• remove prototype extern int is_ptr_type()
• remove prototype for nonexistent examine_simple_symbol_type()
• graph: do not scan removed instructions
• build: fix effectiveness of generated dependencies
• build: remove unused support for pkgconfig
• cgcc: teach cgcc about freebsd & netbsd
• testsuite: clearer result summary
• testsuite: check error messages first
• testsuite: saner handling of ‘must_fail’
• testsuite: allow to parse several options
• testsuite: add support for -q|–quiet
• testsuite: add support for -a|–abort
• testsuite: get options from env too
• testsuite: allow –format & –single
• testsuite: remove useless selftest
• testsuite: remove useless test-be.c
• testsuite: extract disable()
• testsuite: simplify documentation
• testsuite: allow arch-specific tests
• testsuite: save screen real estate
• testsuite: add a blank line before format
• testsuite: ‘quiet’ must be initialized earlier
• testsuite: move up arg_file()
• testsuite: make do_format() more self-contained
• testsuite: format: saner defaults handling
• testsuite: format: strip .c from default name
• testsuite: add support for ‘format -f’
• testsuite: add support for ‘format -l’
• remove never-used MOD_TYPEDEF
• MOD_ACCESSED is not a type modifier …
• reorganize the definition of the modifiers
• remove redundancy in MOD_STORAGE
• define MOD_QUALIFIER for (MOD_CONST | MOD_VOLATILE)
• associate MOD_RESTRICT with restrict-qualified variables
• add support for C11’s _Atomic as type qualifier
• build: use ‘-objs’ instead of ‘_EXTRA_DEPS’
• build: use ‘-ldlibs’ instead of ‘_EXTRA_OBJS’
• build: allow target-specific CFLAGS, CPPFLAGS, LDFLAGS & LDLIBS
• build: allow CFLAGS & friends from command line
• build: avoid rule-specific CFLAGS
• build: use $LIBS directly in the dependency list
• build: no need to use wildcards for generated dependencies
• build: reuse rule for ALL_OBJS
• build: CHECKER_FLAGS=-Wno-vla for all targets
• build: move tests near their use
• build: add note about overwritable vars
• build: remove references to nonexistent pre-process.h
• build: move clean & clean-check together
• build: make clean targets quieter
• build: remove rule for shared lib, it’s unused
• build: normalize rules
• build: remove the dist rule since unused
• build: use one line per item
• build: allow the name ‘local.mk’ to be configurable via the environment
• build: use standard rules for install
• build: remove unused QUIET_INST_SH
• build: let quiet commands use less indentation
• build: simplify quiet commands
• build: simplify clean pattern
• build: add *.o to clean-check pattern
• build: avoid foreach
• build: reorg & add comment
• build: use a single space before assignments
• build: add rule to run a single test
• build: let -fno-strict-aliasing be a mandatory flag
• volatile loads are side-effects too
• define MOD_ACCESS for (MOD_ASSIGNED | MOD_ADDRESSABLE)
• fix ‘simplification’ of float-to-int casts
• fix description setval & symaddr
• flush stdout when warning
• add test case for bogus volatile simplification
• fix: volatile stores must not be simplified
• dump-ir: add testcase for option parsing corner case
• dump-ir: allow to specify the passes to execute via cli’s options
• dump-ir: activate/deactivate pass ‘mem2reg’
• dump-ir: allow to skip the optimization pass(es)
• dump-ir: saner use of fdump_linearize
• dump-ir: rename -fdump-linearize to -fdump-ir
• dump-ir: make it more flexible
• dump-ir: activate -fdump-ir=mem2reg
• add test case for using multiple input files
• add test case for VLA sizeof
• add test case for memory to register problem
• add test case for conditionally undefined var
• add test case for incomplete type
• add test case bitfields in K&R decl
• add test case storage specifier in struct member
• add test case using sizeof on incomplete type
• add test case for bad layout of bool in bitfields
• add test case for missed overflow detection
• add test cases for canonicalization of add/sub chains
• add test case for compound literals
• add testcase for __builtin_unreachable()
• add test cases for canonicalization of mul chains
• add test case for pre-processor extra tokens warning
• add testcase for return & inline
• add test cases for simplification of equivalent to ‘x == 0’ or ‘x != 0’
• add test case for superfluous cast with volatiles
• add testcase for mem2reg/SSA conversion
• add test cases for canonicalization of boolean expressions
• add test case for missing conversion to select
• show OP_PHI without VOID
• don’t output value of anonymous symbol’s pointer
• add table to “negate” some opcode
• use opcode table for compare_opcode()
• canonicalize binops before simplification
• canonicalize compare instructions
• add is_signed_type()
• fix usage of inlined calls
• inlined calls should not block BB packing
• give a type to all function arguments
• give a type to OP_PHISOURCEs
• give a type to OP_SELs, always
• give a type to OP_SWITCHs
• add doc about sparse’s instructions/IR
• add support for wider type in switch-case
• llvm: remove unneeded arg ‘module’
• llvm: remove unneeded ‘generation’
• llvm: remove unneeded function::type
• llvm: reduce scope of ‘bb_nr’
• llvm: use pseudo_list_size() instead of open coding it
• llvm: give arguments a name
• llvm: give a name to call’s return values
• llvm: avoid useless temp variable
• llvm: extract get_sym_value() from pseudo_to_value()
• llvm: fix test of floating-point type
• llvm: fix translation of PSEUDO_VALs into a ValueRefs
• llvm: fix output_op_store() which modify its operand
• llvm: fix output_op_[ptr]cast()
• llvm: add test cases for symbol’s address
• llvm: add test cases for pointers passed as argument
• llvm: add test cases for arrays passed as argument
• llvm: add test cases for degenerated pointers
• llvm: add support for OP_NEG
• llvm: add support for OP_SETVAL with floats
• llvm: add support for OP_SETVAL with labels
• llvm: ignore OP_INLINED_CALL
• llvm: fix pointer/float mixup in comparisons
• llvm: fix type in comparison with an address constant
• llvm: give correct type to binops
• llvm: adjust OP_RET’s type
• llvm: variadic functions are not being marked as such
• llvm: fix type of switch constants
• llvm: make pseudo_name() more flexible
• llvm: give a name to all values
• llvm: add support for OP_SWITCH with a range
• llvm: fix OP_SWITCH has no target
• llvm: make value_to_pvalue() more flexible
• llvm: make value_to_ivalue() more flexible
• llvm: add test case pointer compare with cast
• llvm: let pseudo_to_value() directly use the type
• llvm: add small script to test LLVM generated bytecode
• llvm: add testcase for calling variadic functions
• llvm: fix variadic calls with constants
• llvm: take care of degenerated rvalues
• llvm: fix mutating function pointer
• llvm: fix mutated OP_RET
• llvm: fix mutated OP_SEL
• llvm: fix mutated OP_SWITCH
• llvm: fix mutated OP_PHISOURCE
• llvm: fix mutated OP_[PTR]CAST
• llvm: add support for restricted types
• llvm: fix get value from initialized symbol
• llvm: fix get value from non-anonymous symbol
• llvm: fix type of bitfields
• llvm: add support for OP_FPCAST
• llvm: add support for cast from floats
• llvm: cleanup of output_[ptr]cast()
• llvm: fix creation of sparsec’s tmp files
• llvm: give names easier to debug
• llvm: gracefully catch impossible type/value
• llvm: warn instead of assert on global inits
• llvm: add support for float initializer
• llvm: only compare void pointers
• fix linearize_inc_dec() with floats
• add test case for boolean negation on float
• fix support of floating-point compare
• add support of floating-point specific arithmetic ops
• testsuite: fix: remove unneeded ‘./’ before commands
• fix: build sparse-llvm on i686s too.
• add more testcases for using addresses in conditionals
• add testcases linearization of degenerated arrays/functions
• fix: add missing degenerate() for logical not
• testsuite: make the ‘%.t’ rule depends on PROGRAMS too
• testsuite: fix a few more incorrect check-commands
• testsuite: convert to the new pattern syntax
• testsuite: remove old ugly pattern syntax
• testsuite: move verbose/error() before get_tag_value()
• testsuite: add & use warning()
• testsuite: reset ‘quiet’ at the start of each testcase
• testsuite: fix invalid ‘check-…’ tags
• testsuite: validate the ‘check-…’ tags
• testsuite: early return in getopt loop
• testsuite: move do_test_suite out of the getopt loop
• testsuite: move no-arg out of the getopt loop
• testsuite: change do_usage text
• testsuite: allow to test only a subdir
• testsuite: default to shift in the getopt loop
• testsuite: add support for ‘format -a’
• add testcase for ‘sparse -D M…’
• fix: accept ‘sparse -D M…’
• testsuite: add test case for quoting of command’s arguments
• testsuite: process extra options without exec
• testsuite: respect command line’s quotes & whitespaces
• testsuite: allow default args from environment for test commands
• add test case for space within command line
• fix: spaces in macro definition on the command line
• add testcases for unexamined base type
• fix: evaluate_dereference() unexamined base type
• add testcases for the linearization of calls
• simplify linearize_call_expression()
• fix linearize (*fun)()
• add testcases for multiple deref of calls
• avoid unneeded alloc on error path
• dereference of a function is a no-op
• add testcase for constant bitfield dereference
• fix expansion of constant bitfield dereference
• add testcase for CSE of floating-point compares
• fix: restore CSE on floating-point compares
• llvm: fix: previous function ref MUST be reused
• llvm: use LLVMModuleRef for get_sym_value()
• llvm: add declares for function prototypes
• testcases: add missing return statements
• warn on empty parenthesized expressions
• fix crash on bad expression in linearize_switch()
• llvm: simplify emit of null pointers
• llvm: default init of arrays & structs
• add more testcases for function designator dereference
• add testcases for type comparison
• fix implicit size of unsized arrays
• let handle_switches() also handle reverse logic
• add support for ‘-f[no-][un]signed-char’
• fix: dereference null-type
• teach sparse about ‘-fmax-warnings’
• give a type to builtin functions
• ctags: avoid null deref
• cleanup: make some functions static
• cleanup: remove unused & obsolete symbol_is_typename()
• cleanup: remove unused delete_last_basic_block()
• cleanup: remove declaration of unused merge_phi_sources
• add OP_SETFVAL
• CSE: support CSE of floating-point literal
• doc: fix manpage formatting
• report type & size on non-power-of-2 pointer subtraction
• remove warning “call with no type”
• add testcases for duplicated warning about invalid types
• fix error in bad conditional
• early return if null ctype in evaluate_conditional()
• add helper: valid_type()
• use valid_type to avoid to warn twice on conditionals
• add helpers: valid_expr_type() & valid_subexpr_type()
• do not report bad types twice
• always evaluate both operands
• fix examination of bad typeof
• extract extract eval_insn() from simplify_constant_binop()
• add testcase of dead dominator
• fix dead dominator
• fix missing checks for deleted instructions
• add testcase for bad killing of dominated stores
• add helper for pseudo’s user-list’s size
• add helper: has_users()
• use has_users() in dead_insn() too
• let kill_instruction() report if changes were made
• add testcases for converted loads
• fix killing of converted loads
• fix usage of deadborn loads
• kill dead loads
• kill dead stores when simplifying symbols
• By default disable the warning flag ‘-Wunknown-attribute’
• no repetition in unknown attribute warning message
• cleanup: remove unused ‘struct pseudo_ptr_list’
• llvm: use list_size() to count the numbers of arguments
• llvm: initialize at declaration time
• show_pseudo(): protect against NULL ->sym
• use show_pseudo() for OP_SYMADDR’s symbol
• let struct access_data use a single type
• rename base_type() to bitfield_base_type()
• builtin: add ctype for const {void,char} *
• builtin: make builtins more builtin
• builtin: extract eval_args() from arguments_choose()
• builtin: add typechecking of isnan(), isinf(), …
• builtin: add testcases for expansion of special FP constants
• builtin: add testcases for expansion of FP classification
• unsigned multiplication is also associative
• no need for signed & unsigned multiplication
• use ‘%lld’ for printing long longs
• build: add -MP for generated dependencies
• build: use -MMD for generated dependencies
• ban use of ‘true’ or ‘false’
• ‘amd64’ is also ok for sparse-llvm
• testsuite: fix typo with ‘test-suite format -a’
• rename variable ‘optimize’ to ‘optimize_level’
• move the optimization loop in its own file
• cse: untangle simplification & hashing
• extract cse_eliminate() from cleanup_and_cse()
• expose interface to CSE
• move liveness interface to its own header
• move inner optimization loop into optimize.c
• move the inner optimization loop into the main loop
• remove unneeded cast in calls to free_ptr_list()
• testsuite: add testcase for some random crash
• testsuite: add testcase about CSE problem
• IR: fix typo in IR doc
• IR: remove now unused OP_LNOP & OP_SNOP
• IR: remove never-generated instructions
• IR: let .cond unionize with .src and not .target
• IR: let OP_COMPUTEGOTO use .src instead of .target
• llvm: normalize sparse-llvm-dis’ output
• llvm: fix typo for constant addresses
• testsuite: fix problem with double-escaping in patterns
• add a field ‘tainted’ to struct instruction
• taint: let check_access() warn just once
• fix address_taken()
• fix symbol cleanup
• cleanup deadborn phi-sources
• optim: add some more optimization tests
• optim: add testcase for internal infinite loop
• optim: add timeout for infinite optim loop tests
• optim: kill unreachable BBS after CFG simplification
• optim: no need to kill_unreachable_bbs() after main loop
• optim: fix optimization loop’s condition
• optim: pack bb must set REPEAT_CFG
• optim: load simplification should repeat optimization
• optim: fix REPEAT_CFG_CLEANUP
• add an helper to test the value of a pseudo against zero
• optim: simplify null select
• make remove_usage() more generic
• add remove_use()
• show_label: add (and use) show_label()
• extract alloc_phisrc() from alloc_phi()
• small code reorg of add_store()
• alloc: add missing #include “compat.h”
• defer initialization of bb::context
• fix-return: remove special case for single return
• avoid deadborn loads & stores
• doc: options.md is for development
• doc: document the debug flags
• fix missing handling of OP_FNEG
• graph: do not use insn->symbol for memops
• use -Wpointer-arith for tests
• default to LP64 for all and only for 64 bit ABIs
• fix alignment of 64 bit integers on LLP64
• add testcases for verifying ABI’s integer size & align
• use an enum for ARCH_LP32 & friends
• add a flag -mx32 ILP32 env on 64 bit archs
• add testcase for enum / int type difference
• add testcase for array size type difference
• add testcase for typedef redefinition
• export check_duplicates()
• fix: warn on typedef redefinition
• do not to ignore old preprocessor testcases
• use also __x86_64 when __x86_64__ is used
• build: use a variable for $(shell uname -m)
• build: use ‘filter’ to do pattern matching inside the Makefile
• build: disable LLVM on x86-64-x32
• let cgcc use sparse’s predefines for i386 & x86-64
• build: use –dirty with ‘git describe’
• fix build on Hurd which doesn’t define PATH_MAX
• testsuite: add check-cp-if
• testsuite: add check-assert
• teach sparse about _Floatn and _Floatnx
• add test case bug expand union
• alloc: check if size is too big
• fix: don’t dump pointer value in error message
• fix missing checks for deleted instructions
• fix comment about PSEUDO_SYM usage
• fix: remove usage when killing symaddr (part 1)
• fix: remove usage when killing symaddr (part 2)
• OP_SYMADDR is simply an unop
• use function-like syntax for __range__
• increment the version number suffix it with -dev
• doc: fix markdown syntax
• doc: fix headings
• doc: add minimal support for sphinx-doc
• doc: add logo
• doc: automatically set the copyright date
• doc: automatically get the version
• doc: set primary domain to C
• doc: allow .md with py3-sphinx
• doc: move sparse.txt to markdown and rename it
• doc: the testsuite doc in reST
• doc: format dev-options.md as a man page
• doc: use reST for manpages
• api: move evaluate interface to its own header file
• doc: add structured doc to ptrlist.c
• autodoc: extract doc from the C files
• autodoc: convert extracted doc to reST
• autodoc: add a sphinx c:autodoc directive for the extracted doc
• autodoc: add doc from ptrlist.c
• autodoc: add markup to argument’s references
• autodoc: doc the doc
• autodoc: by default disable syntax highlighting
• autodoc: add a small cheatsheet for reST markup
• autodoc: support muti-line param & return descriptions
• autodoc: document a few more APIs to test multiline
• autodoc: add autodoc tests in the testsuite
• doc: convert IR.md to reST
• doc: add sphinx domain for IR instruction indexation
• add helper for new parsing errors: unexpected()
• context: fix parsing of attribute ‘context’
• context: __context__(…) expect a constant expression
• context: fix crashes while parsing ‘__context__;’ or ‘__context__(;’
• context: stricter syntax for __context__ statement
• context: extra warning for __context__() & friends
• label: add testcase for label redefinition
• label: avoid multiple definitions
• vla-sizeof: add test cases
• vla-sizeof: add support for sizeof of VLAs
• fix typing of __builtin_expect()
• fix crash on ‘goto <reserved word>’
• give a position to end-of-input
• avoid multiple error message after parsing error
• add test for integer-const-expr-ness
• dyn-macro: add testcase for __LINE__ & friends
• dyn-macro: use a table to expand __DATE__, __FILE__, …
• dyn-macro: add support for __INCLUDE_LEVEL__
• dyn-macro: add real support for __BASE_FILE__
• utils: add xmemdup() & xstrdup()
• utils: convert alloc + copy to {mem,str}dup_alloc()
• builtin: add testcase for builtin macro expansion
• builtin: extract do_define() from do_handle_define()
• builtin: add builtin types {u,}{int,long,long}_ptr_ctype
• builtin: declare __builtin_[us]{add,sub,mul}{,l,ll}_overflow()
• builtin: rename arguments_choose() to args_triadic()
• builtin: add support for __builtin_{add,sub,mul}_overflow(), …
• extract replace_with_bool() from replace_with_defined()
• builtin: add support for __has_builtin()
• builtin: add predefine()
• builtin: directly predefine builtin macros
• builtin: consolidate predefined_macros()
• doc: API before IR
• builtin: switch calling order of predefined_macros() & friends
• builtin: merge declare_builtin_function() with declare_builtins()
• teach sparse about -m16
• ptrlist: specialize __add_ptr_list() for tag/notag
• ptrlist: remove now unneeded add_ptr_list_notag()
• ptrlist: add helper PTR_UNTAG()
• ptrlist: rename PTR_ENTRY() to PTR_ENTRY_UNTAG()
• ptrlist: make explicit when tagged pointers are used.
• ptrlist: let FOR_EACH_PTR() ignore tags
• utils: add xasprintf() & xvasprintf()
• add support for -fdiagnostic-prefix[=prefix]
• doc: add doc for the -vcompound flag
• testsuite: fix missing return
• keep the debug flags alphabetically sorted
• testsuite: allow extra/default options to test commands
• ir-validate: add framework for IR validation
• ir-validate: validate pseudo’s defining instruction
• ir-validate: add validation of (nbr of) phi operands
• ir-validate: add more validation points
• sparsec: simplify & portable use of mktemp
• add predefines for __INT_WIDTH__ & friends
• ptrlist: remove the now unneeded FOR_EACH_PTR_NOTAG()
• ptrlist: let {first,last}_ptr_list() return the raw pointer
• ptrlist: let sort_list() use the raw pointer
• ptrlist: let all pointer lists have the same parameterized structure
• ptrlist: when possible use the real type of the list
• ptrlist: remove now unneeded CHECK_TYPE()
• ptrlist: make add_ptr_list() more readable
• ptrlist: make free_ptr_list() more readable
• ptrlist: remove some unneeded arg from internal macros.
• ptrlist: remove extra ident level
• ptrlist: simplify loop nesting
• ptrlist: simplify DO_NEXT
• ptrlist: simplify PREPARE/NEXT
• ptrlist: shorter continuated lines
• ptrlist: remove ptr_list_empty()
• ptrlist: make {first,last}_ptr_list() out-of-line functions
• ptrlist: move semi-private prototypes close to their user
• ptrlist: use VRFY_PTR_LIST() for sanity check
• ptrlist: keep declaration of head-list-nr together
• ptrlist: make clear what is API and what is implementation.
• ptrlist: move DO_SPLIT() into DO_INSERT_CURRENT()
• ptrlist: add missing doc for some functions
• add testcase for bad fpcast simplification
• fix bad fpcast simplification
• avoid useless deref in simplify_cond_branch()
• new helper: replace_pseudo()
• remove unused arg in simplify_cond_branch()
• add_uniop() should take a type, not an expression
• rename add_uniop() to add_unop()
• add missing entry for OP_FNEG in kill_insn() & validate_insn()
• ir: define an OP_.. range for unops
• ir: case OP_UNOP … OP_UNOP_END
• cast: reorg testcases related to casts
• cast: add testcase for bad implicit casts to struct/union
• cast: add testcase for cast to bad typeof
• cast: add tests for warnings issued by sparse -v
• cast: rename evaluate_cast()’s vars with slightly more meaningful names
• cast: force_cast are OK on non-scalar values
• cast: prepare finer grained cast instructions
• cast: specialize FPCAST into [USF]CVTF
• cast: handle NO-OP casts
• cast: specialize floats to integer conversion
• cast: specialize casts from unsigned to pointers
• cast: make [u]intptr_ctype alias of [s]size_t_ctype
• cast: make pointer casts always size preserving
• cast: temporary simplify handling cast to/from void*
• cast: specialize cast from pointers
• cast: add support for -Wpointer-to-int-cast
• cast: make casts from pointer always size preserving
• cast: specialize integer casts
• cast: accept null casts
• cast: do not try to linearize illegal casts
• cse: add testcase for missed opportunity
• new helper: def_opcode()
• cast: simplify simplify_cast()
• cast: merge simplification of constant casts with constant unops
• cast: prepare for more cast simplifications
• cast: keep instruction sizes consistent
• cse: move to next comparable instruction
• cast: simplify TRUNC + ZEXT to AND
• add simple testcases for internal infinite loops
• simplify ‘x | ~0’ to ‘~0’
• simplify ‘x & ~0’ to ‘x’
• simplify ‘x ^ ~0’ to ‘~x’
• bool: add testcase for bool simplification
• bool: fix add missing check in simplify_seteq_setne()
• bool: simplify ZEXT in bool -> int -> bool
• bool: fix missing boolean context for floats
• bool: generate plain OP_{AND,OR} instead of OP_{AND,OR}_BOOL
• bool: remove OP_{AND,OR}_BOOL instructions
• cast: reorganize testcases for cast optimization
• cast: optimize away casts to/from pointers
• cse: let equivalent casts hash & compare identically
• fix killing OP_SWITCH
• fix: remove dead OP_{SETVAL,SETFVAL,SLICE}
• kds: add testcases for kill_dead_stores()
• kds: add explanation to kill_dead_stores()
• kds: rename kill_dead_stores() to kill_dead_stores_bb()
• kds: add interface for kill_dead_stores()
• kds: kill dead stores after memops simplification
• kds: shortcut for kill_dead_stores()
• kds: fix recursion in kill_dead_stores_bb()
• kds: clarify kill_dead_stores_bb()
• testsuite: reorganize tests for compound literals
• testsuite: add a few more tests catching quadratic behaviour
• testsuite: improve mem2reg testcases
• testsuite: remove useless test for loop-linearization
• graph: build the CFG reverse postorder traversal
• graph: add debugging for (reverse) postorder traversal
• dom: calculate the dominance tree
• dom: add some debugging for the dominance tree
• dom: add support for dominance queries
• dom: build the domtree before optimization
• dom: use domtree for bb_dominates()
• sset: add implementation of sparse sets
• idf: compute the iterated dominance frontier
• idf: add test/debug/example
• add new helper: is_integral_type()
• add PSEUDO_UNDEF & undef_pseudo()
• add insert_phi_node()
• ptrmap: core implementation
• ptrmap: add type-safe interface
• ssa: phase 1: phi-nodes placement
• ssa: phase 2: rename load & stores
• ssa: phase 3: rename phi-nodes
• ssa: activate the new SSA conversion
• ssa: remove unused simplify_symbol_usage()
• ssa: phi worklist
• remove unused finish_address_gen()
• remove unused struct access_data::pos
• no need to assign ad->type for EXPR_POS
• remove obsolete comment: /* Dummy pseudo allocator */
• big-shift: add test for shifts with bad count
• big-shift: mark out-of-range OP_{ASR,LSR,SHL} as tainted
• big-shift: do not evaluate negative or over-sized shifts
• big-shift: don’t take the modulo at expand time
• big-shift: move the check into check_shift_count()
• big-shift: use the base type for shift-too-big warning
• big-shift: also check shift count of shift-assignment
• big-shift: do not simplify over-sized OP_ASR to zero
• big-shift: reorder the tests in simplify_asr()
• big-shift: reuse simplify_asr() for LSR & SHL
• big-shift: simplify over-sized OP_LSRs
• big-shift: simplify over-sized OP_SHLs
• big-shift: use the type width for too big shift
• big-shift: fix warning message for negative shift count
• big-shift: fix evaluation of shift-assign
• big-shift: do not truncate the count when checking it
• big-shift: add -Wshift-count-{negative,overflow}
• extract nbr_users() from unssa.c
• add testcases for casts & bitfield insertion/extraction
• bitfield: extract linearize_bitfield_extract()
• bitfield: extract linearize_bitfield_insert()
• cast: simplify [SZ]EXT + TRUNC to original size
• cast: simplify [SZ]EXT + TRUNC to a smaller/greater size
• cast: fix shift signedness in cast simplification
• cast: do not compare sizes, test the opcode
• cast: use a switch to handle TRUNC(AND(x,M),N) in simplify_cast()
• cast: preserve the sizes of TRUNC(AND(x,M),N)
• cast: simplify [ZS]EXT(AND(x,M),N)
• cast: simplify AND(ZEXT(x,M),N)
• cast: simplify SEXT(SEXT(x,N),N’)
• cast: simplify ZEXT(ZEXT(x,N),N’)
• cast: simplify SEXT(ZEXT(x,N),N’)
• bits: add helpers for zero & sign-extension
• big-shift: add testcases for simplification of over-sized shifts
• big-shift: add testcases for simplification of negative shifts
• big-shift: move shift count check in a separate function
• big-shift: fix warning message for negative or over-sized shifts
• big-shift: do not optimize negative shifts
• big-shift: do not optimize over-sized ASRs
• use “%Le” to display floats
• add copy_ptr_list()
• testcases: add testcase for missing detection of out-of-bound stores
• testcases: missing evaluation of side effects in typeof(VLA)
• kill dead OP_FADD & friends
• add ptr_list_empty()
• add ptr_list_multiple()
• add lookup_ptr_list_entry()
• shift: simplify LSR(LSR(x,N),N’) & friends
• shift: simplify ASR(LSR(x,N),N’)
• shift: avoid simplification of ASR(LSR(x,0),N)
• shift: simplify ASR(ZEXT(X, N), C)
• testcase for SET{EQ,NE}([SZ]EXT(x, N),{0,1})’s simplification
• cleanup of simplify_seteq_setne(): remove tmp vars
• simplify SET{EQ,NE}(ZEXT(x, N),{0,1})
• simplify SET{EQ,NE}(SEXT(x, N),{0,1})
• simplify ‘x != 0’ or ‘x == 1’ to ‘x’
• add testcase for linearize_logical()
• fix size corruption when simplifying ‘x != 0’ to ‘x’
• protect add_convert_to_bool() against bad types / invalid expressions
• conditional branches can’t accept arbitrary expressions
• fix linearize_conditional() for logical ops
• expand linearize_conditional() into linearize_logical()
• simplify linearize_logical()
• simplify SETNE(AND(X,1),0) to AND(X,1)
• simplify SETNE(TRUNC(x,N),{0,1})
• simplify ZEXT(SETCC(x,y), N)
• simplify SEXT(SETCC(x,y), N)
• simplify TRUNC(SETCC(x,y), N)
• simplify AND(SETCC(x,y), M)
• boolean conversion of boolean value is a no-op
• cast: fix warning position in cast_pseudo()
• limit the mask used for bitfield insertion
• expand linearize_position() into linearize_initializer()
• put back the bitfield base type into struct access_data
• fix instruction size & type in linearize_inc_dec()
• fix bad indentation in linearize_inc_dec()
• avoid infinite simplification loops of the second kind
• optim: add a few more testcases for shift & mask
• use multi_users() instead on nbr_users()
• reorg code for shift-shift simplification
• simplify ((x & M’) | y ) & M into (y & M) when (M’ & M) == 0
• simplify ((x & M) | y) >> S to (y >> S) when (M >> S) == 0
• simplify (x << S) >> S into x & (-1 >> S)
• simplify (x & M) >> S to (x >> S) & (M >> S)
• rename testcase for ((x << S) >> S) simplification
• add testcase for ((x >> S) << S) simplification
• add testcase for TRUNC(TRUNC(x)) simplification
• simpler guard in LSR-SHL simplification
• reorganize shift-shift simplification
• simplify ((x >> S) << S)
• reorganize simplification of ZEXT(TRUNC(x))
• simplify TRUNC(TRUNC(x))
• doc: simplify the creation of the viewlist
• doc: automatically insert the blank line for lists
• doc: convert existing simplify.c doc into ReST autodoc
• doc: reword doc for replace_pseudo()
• doc: add doc for simplification notation
• add testcase for (((x & M’) | (y & M’‘)) & M)
• add testcases for bitfield & AND/OR simplification
• unify simplify_lsr_or() & simplify_and_or_mask()
• add simplify_mask_or()
• use better names for simplify_mask_or_and() vars
• document simplify_mask_or() & simplify_mask_or_and()
• switch return order in simplify_mask_or_and()
• allow simplification of OP(((x & y) | (a & M’)), K)
• move opcode test inside simplify_mask_or_and()
• simplify OP(((x & M’) | y), K) when (M’ & M) == M
• simplify OP(((x & M’) | y), K) when (M’ & M) != M’
• simplify OP((x | C), K) when (C & M) == 0
• simplify OP((x | C), K) when (C & M) == M
• simplify OP((x | C), K) when (C & M) != C
• simplify SHL((x & M’) | y, S)
• add testcases for {LSR,SHL}(AND(x, M), S) with shared AND(x, M)
• use an intermediate mask in simplify_shift()
• simplify ((x & M) >> S) when (M >> S) == 0
• simplify ((x & M) >> S) when (M >> S) == (-1 >> S)
• simplify ((x & M) << S) when (M << S) == 0
• simplify ((x & M) << S) when (M << S) == (-1 << S)
• simplify TRUNC((x & M’) | y, N)
• doc: extend simplification notation
• prepare simplification of MASK(SHIFT(a | b, S), M)
• simplify AND(SHIFT(a | b, S), M)
• simplify TRUNC(SHIFT(a | b, S), N)
• mode keywords don’t need MOD_{CHAR,LONG,…}
• add support for mode __pointer__
• add support for mode __byte__
• add a testcase for enum using a mode
• remove superfluous newline in ‘unknown mode attribute’ error message
• testsuite: remove useless test for loop-linearization
• symaddr: s/insn->symbol/insn->src/
• add testcase for accesses to volatile bitfields
• split memops from unops
• add a flag for volatile memops
• fix: do not optimize away accesses to volatile bitfields
• opcode: centralize opcode definition
• opcode: add arity info
• opcode: add OPF_TARGET
• add a function to remove deadborn instructions
• fix missing declarations
• has-attr: add testcase for __has_attribute()
• has-attr: move ‘mode’ next to ‘__mode__’
• has-attr: add __designated_init__ & transparent_union
• has-attr: add support for __has_attribute()
• ir-validate: add validation branch to dead BB
• ir-validate: ignore dead phis
• ir-validate: validate return value
• add testcase for unreachable label in switch
• fix linearization of unreachable switch (with reachable label).
• move DEF_OPCODE() to header file
• trivial-phi: add testcase for unneeded trivial phi-nodes
• trivial-phi: make clean_up_phi() more sequential
• trivial-phi: extract trivial_phi() from clean_up_phi()
• trivial-phi: early return
• trivial-phi: use a temp var for the real source
• trivial-phi: directly return the unique value
• trivial-phi: remove more complex trivial phi-nodes
• stricter warning for explicit cast to ulong
• add linearization as a pass
• add testcases for missing return in last block
• use a temp var for function’s upper-level statement
• topasm: top-level asm is special
• specialize linearize_compound_statement()
• there is always an active BB after linearize_fn_statement()
• the return BB is never terminated
• extract add_return() from linearize_return()
• use UNDEF for missing returns
• use a temp var for the return type/symbol
• return nothing only in void functions
• add testcases for wrong ordering in phi-nodes
• fix ordering of phi-node operand
• add tests for nested logical expr
• fix linearization of nested logical expr
• add testcase for non-constant switch-case
• fix linearization of non-constant switch-cases
• test: make test Waddress-space-strict succeed on 32-bit
• test: use integers of different sizes, even on 32-bit
• test: make 32-bit version of failed test
• ssa: relax what can be promoted
• doc: is_int_type() returns false for SYM_RESTRICTs
• enum: add testcase for UB in oversized shift
• enum: fix UB when rshifting by full width
• enum: add testcase for type of enum members
• enum: add testcase for base & enumerator type
• enum: fix cast_enum_list()
• enum: use the smallest type that fit
• enum: use the values to determine the base type
• enum: only warn (once) when mixing bitwiseness
• enum: warn when mixing different restricted types
• enum: warn on bad enums
• enum: rewrite bound checking
• enum: keep enumerators as int if they fit
• enum: default to unsigned
• enum: more specific error message for empty enum
• __attribute__((fallthrough)) can’t simply be ignored
• ptrlist: add ptr_list_nth_entry()
• add testcase for missing function designator expansion
• fix expansion of function designator
• teach sparse about ‘-o <file>’
• teach sparse about ‘-x <language>’
• cgcc: add support to ignore argument(s) of options
• cgcc: teach about ‘-o <file>’
• cgcc: teach about ‘-x c’
• dump-macro: break the loop at TOKEN_UNTAINT
• dump-macro: simplify processing of whitespace
• fix implicit K&R argument types
• Use -Wimplicit-int when warning about missing K&R argument types
• Accept comma-separated list for function declarations.
• cgcc: use ‘i386’ for the arch instead of ‘i86’
• add testcase for missing deliminator ‘ or “
• man: add section about reporting bugs
• man: add AUTHORS section
• man: update maintainer info
• don’t allow newlines inside string literals
• multi-buffer for idents
• as-name: add and use show_as()
• as-name: use idents for address spaces
• as-name: allow ident as address_space
• as-name: check for multiple address spaces at parsing time
• as-named: warn on bad address space
• add detection of native platform
• Consolidate ‘machine detection’ into “machine.h”
• test endianness with __BYTE_ORDER__
• testsuite: test predef macros on LP32/LP64/LLP64
• fix ‘__SIZE_TYPE__’ for LLP64
• allow optional “_T” suffix to __SIZEOF_XXX__
• use bits_mask() for predefined_max()
• add builtin_type_suffix()
• teach sparse about asm inline
• remove duplicates from gcc-attr-list.h
• show-parse: strip do_show_type()’s trailing space
• make predefined_type_size() more generic
• give a type to wchar
• use the type for predefined_max()
• add predefined macros for wint_t
• add predefined macros for [u]intptr
• add predefined macros for [u]intmax
• add predefined macros for [u]int{8,16}_t
• add predefined macros for [u]int64_t
• add predefined macros for [u]int32_t
• add predefined macros for char{16,32}_t
• fix the size of long double
• add predefine for __CHAR_UNSIGNED__
• add predefine_min() and use it for __{WCHAR,WINT}_MIN__
• add a flag to warn on casts to/from bitwise pointers
• show-parse: don’t display null ident in show_typename()
• show-parse: do not display base type’s redundant specifiers
• show-parse: remove string_ctype from typenames
• VERSION=0.6.0-rc1
• build: only need includedir from llvm-config
• build: check if sparse-llvm needs libc++
• remove unneeded declarations in “compat.h”
• remove unused arg in add_branch()
• allocate BBs after the guards
• remove redundant check of _Bool bitsize
• remove unused regno()
• remove -finline-functions from CFLAGS
• remove self-assignment of base_type
• doc: fix list formatting
• as-name: document that identifiers are OK for address spaces
• add TODO list.
• Sparse v0.6.0

Ramsay Jones (9):

• Makefile: use locally built sparse in the selfcheck target
• sparsec: use a compatible exception model on cygwin
• sparsei: add the –[no-]jit options
• constant: add -Wconstant-suffix warning
• pre-process: suppress trailing space when dumping macros
• pre-process: print macros containing # and ## correctly
• pre-process: don’t put spaces in macro parameter list
• pre-process: print variable argument macros correctly
• pre-process: add the -dM option to dump macro definitions

Randy Dunlap (6):

• sparse: minor manpage corrections
• Documentation: make data-structures.txt easier to read
• Documentation: editing fixes in test-suite
• lib.c: early return from handle_onoff_switch()
• sparse: ignore indirect_branch attribute
• sparse: option to print compound global data symbol info

Thiebaud Weksteen (1):

• Add testcases for bitwise cast on pointer

Tycho Andersen (1):

• expression.h: update comment to include other cast types

Uwe Kleine-König (6):

• build: make PREFIX overwritable from the environment
• build: put comment about local.mk to the place where it is included
• build: drop BASIC_CFLAGS and ALL_CFLAGS
• build: drop -g from LDFLAGS
• build: pass CPPFLAGS to compiler
• build: only generate version.h when needed

Vincenzo Frascino (1):

• print address space number for cast-from-AS warnings