| 2017-09-12 |
Luc Van Oostenryck | build: disable sparse-llvm on non-x86
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-08-17 |
Luc Van Oostenryck | Sparse v0.5.1
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-08-11 |
Luc Van Oostenryck | Bump sparse's version to -rc5
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-08-11 |
Luc Van Oostenryck | Remove single-store shortcut
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-08-09 |
Luc Van Oostenryck | testsuite: add support for commands with timeout
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-08-08 |
Luc Van Oostenryck | mark pseudo users as deleted instead of removing them
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-08-08 |
Luc Van Oostenryck | ptrlist: avoid iteration on NULL entries
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-08-04 |
Luc Van Oostenryck | ptrlist: add MARK_CURRENT_DELETED
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-08-04 |
Luc Van Oostenryck | ptrlist: adjust ptr_list_size for the new ->rm field
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-08-04 |
Luc Van Oostenryck | ptrlist: add a counter for the number of removed elemnets
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-08-04 |
Luc Van Oostenryck | fix: give a type to bad cond expr with known condition
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-08-04 |
Luc Van Oostenryck | take comma expr in account for constant value
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-07-31 |
Luc Van Oostenryck | fix crash with sym->bb_target == NULL
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-07-31 |
Luc Van Oostenryck | fix some crashes in add_dominators()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-07-31 |
Luc Van Oostenryck | fix crash in rewrite_branch()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-07-31 |
Luc Van Oostenryck | fix crash when ep->active is NULL
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-07-31 |
Luc Van Oostenryck | fix BB dependencies on phi-nodes
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-07-31 |
Luc Van Oostenryck | fix infinite simplification loops
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-07-31 |
Luc Van Oostenryck | fix ptrlist corruption while killing unreachable BBs
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-21 |
Luc Van Oostenryck | bump sparse's version to -rc3
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-21 |
Luc Van Oostenryck | cgcc: teach cgcc about arm
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-21 |
Luc Van Oostenryck | cgcc: teach cgcc about ppc64[le]
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-21 |
Luc Van Oostenryck | cgcc: teach cgcc about arm64
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-21 |
Luc Van Oostenryck | teach sparse about __BYTE_ORDER__ & __ORDER_{BIG,LITTLE...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-21 |
Luc Van Oostenryck | teach sparse about __{BIG,LITTLE}_ENDIAN__
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-21 |
Luc Van Oostenryck | teach sparse about -m{big,little}-endian
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-21 |
Luc Van Oostenryck | dissect: use built_in_ident() instead of MK_IDENT()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-21 |
Luc Van Oostenryck | fix: __builtin_bswap{16,32,64}() constantness
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-21 |
Luc Van Oostenryck | add fallback for missing __builtin_bswapXX()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-21 |
Luc Van Oostenryck | fix: try_to_simplify_bb eargerness
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-21 |
Luc Van Oostenryck | fix OP_PHI usage in try_to_simplify_bb() only when...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-15 |
Luc Van Oostenryck | fix: add missing examine in evaluate_dereference()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-15 |
Luc Van Oostenryck | add support for -fmemcpy-max-count
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-15 |
Luc Van Oostenryck | add support for -Wmemcpy-max-count
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-15 |
Luc Van Oostenryck | memcpy()'s byte count is unsigned
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-15 |
Luc Van Oostenryck | cgcc: filter-out '-fdump-linearize[=...]'
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-15 |
Luc Van Oostenryck | cgcc: add missing warning names to check_only_option()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-15 |
Luc Van Oostenryck | cgcc: alphasort warning names in check_only_option()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-15 |
Luc Van Oostenryck | keep the warnings table alphabetically sorted
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-14 |
Luc Van Oostenryck | Merge branches 'quiets-bool-cast-restricted-v3', 'error...
|
commit | commitdiff | tree |
| 2017-06-13 |
Luc Van Oostenryck | Add more declarations for more builtin functions
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-10 |
Luc Van Oostenryck | finer control over error vs. warnings
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-10 |
Luc Van Oostenryck | use NULL instead of 0 in testcases.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-08 |
Luc Van Oostenryck | ret-void: warn for implicit type
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-06-08 |
Luc Van Oostenryck | ret-void: add test case for toplevel asm
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-28 |
Luc Van Oostenryck | teach cgcc about OSX aka darwin
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-28 |
Luc Van Oostenryck | testsuite: avoid fork+execing basename
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-28 |
Luc Van Oostenryck | testsuite: remove unneeded './' before commands
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-28 |
Luc Van Oostenryck | testsuite: use shell arithmetic instead of fork-execing...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-28 |
Luc Van Oostenryck | testsuite: grep the output patterns only when needed
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-28 |
Luc Van Oostenryck | testsuite: grep the expected output only when needed
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-28 |
Luc Van Oostenryck | testsuite: get all tags in once
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-19 |
Luc Van Oostenryck | Merge branches 'dump-macros-v2', 'fix-predefined-size...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-19 |
Luc Van Oostenryck | let -dD report macro definitions
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-19 |
Luc Van Oostenryck | teach sparse how to handle -dD flag
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-19 |
Luc Van Oostenryck | fix definition of __SCHAR_MAX__ & friends
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-19 |
Luc Van Oostenryck | avoid to redefine __INT_MAX__ and friends
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-19 |
Luc Van Oostenryck | fix hardcoded size of wide chars
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-19 |
Luc Van Oostenryck | teach sparse how to dump macro definitions
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-19 |
Luc Van Oostenryck | define ident_list
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-19 |
Luc Van Oostenryck | avoid warning on explicit 'bool <- restricted' casts
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-19 |
Luc Van Oostenryck | more tests for implicit 'bool <- restricted' casts
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-19 |
Luc Van Oostenryck | add support for a new flag: -fdump-linearize[=only]
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-19 |
Luc Van Oostenryck | remove origval from struct access_data
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-19 |
Luc Van Oostenryck | remove alignment from struct access_data
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-19 |
Luc Van Oostenryck | fix implicit zero initializer.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-19 |
Luc Van Oostenryck | add test case for linearize_initializer() of bitfields
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-19 |
Luc Van Oostenryck | remove bit_size & bit_offset from struct access_data
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-19 |
Luc Van Oostenryck | returns the correct type when evaluating NULL
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-19 |
Luc Van Oostenryck | fix: kill old branch in insert_branch()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-15 |
Luc Van Oostenryck | testsuite: cleanup result files
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-15 |
Luc Van Oostenryck | use -fmem-report to report allocation stats
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-15 |
Luc Van Oostenryck | teach sparse how to handle '-fmem-report'
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-15 |
Luc Van Oostenryck | add helper handle_simple_switch()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-15 |
Luc Van Oostenryck | add show_allocation_stats()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-15 |
Luc Van Oostenryck | add get_<allocator>_stats()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-12 |
Luc Van Oostenryck | Merge branches 'quiets-bool-cast-restricted-v2', 'keyword...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-12 |
Luc Van Oostenryck | keyword: no pre-declaration needed for attribute names
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-12 |
Luc Van Oostenryck | keyword: add a comment about NS_TYPEDEF & reserved...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-12 |
Luc Van Oostenryck | keyword: add more reserved keywords to the test case
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-12 |
Luc Van Oostenryck | keyword: explicitly add C99 & C11 keywords
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-12 |
Luc Van Oostenryck | keyword: regroup the [reserved] keywords
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-12 |
Luc Van Oostenryck | keyword: add test case for reserved '_Static_assert'
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-12 |
Luc Van Oostenryck | fix missing reload
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-11 |
Luc Van Oostenryck | fix boolean context for OP_AND_BOOL & OP_OR_BOOL
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-11 |
Luc Van Oostenryck | ignore VOID when trying to if-convert phi-nodes
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-11 |
Luc Van Oostenryck | fix: kill unreachable BBs after killing a child
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-11 |
Luc Van Oostenryck | let kill_unreachable_bbs() clear REPEAT_CFG_CLEANUP
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-11 |
Luc Van Oostenryck | introduce REPEAT_CFG_CLEANUP
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-05-11 |
Luc Van Oostenryck | avoid useless warning for 'bool <- restricted type...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-04-30 |
Luc Van Oostenryck | Merge branches 'sent/float-expand-v2', 'sent/fix-kill...
|
commit | commitdiff | tree |
| 2017-04-29 |
Luc Van Oostenryck | be more careful with concat_user_list()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-04-01 |
Luc Van Oostenryck | fix OP_PHI usage in try_to_simplify_bb(), correctly
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-31 |
Luc Van Oostenryck | avoid crash with test-linearize -vv
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-31 |
Luc Van Oostenryck | constexpr: flag __builtin_bswap() as constexpr
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-31 |
Luc Van Oostenryck | give default return type in evaluate_call()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-31 |
Luc Van Oostenryck | return an error if too few args
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-31 |
Luc Van Oostenryck | constexpr: collect storage modifiers of initializers
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-31 |
Luc Van Oostenryck | constexpr: rename handle_simple_initializer() to handle_init...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-27 |
Luc Van Oostenryck | fix expansion of integers to floats
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
