2018-03-05 |
Luc Van Oostenryck | fix: do not ignore struct/union/enum type attributes Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2018-03-05 |
Luc Van Oostenryck | move up apply_ctype()'s declaration Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2018-03-05 |
Luc Van Oostenryck | add testcases for ignored type attributes Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2018-02-14 |
Luc Van Oostenryck | fix: missing evaluate with '-include' Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2018-02-14 |
Luc Van Oostenryck | fix: missing evaluate with '-include' : add testcase Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
2017-10-03 |
Luc Van Oostenryck | fix cgcc ELF version for ppc64/pcc64le Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
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 |