| 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-27 |
Luc Van Oostenryck | fix expansion of integers to floats
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-27 |
Luc Van Oostenryck | do not depends on limits.h to test __CHAR_BIT__
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-27 |
Luc Van Oostenryck | fix cast to pointer to floating-point
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-27 |
Luc Van Oostenryck | fix test validation/div.c
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-27 |
Luc Van Oostenryck | predefine __SIZEOF_INT__ & friends
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-27 |
Luc Van Oostenryck | predefine __INT_MAX__ and friends
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-27 |
Luc Van Oostenryck | fix test for cast to bool on 32bit machines
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-22 |
Luc Van Oostenryck | fix is_scalar_type()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-22 |
Luc Van Oostenryck | fix evaluation of a function or array symbol in conditionals
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-22 |
Luc Van Oostenryck | warn if testing the address of an array
|
commit | commitdiff | tree |
| 2017-03-22 |
Luc Van Oostenryck | add is_array_type()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-22 |
Luc Van Oostenryck | warn if testing the address of a function
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-22 |
Luc Van Oostenryck | add is_func_type()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-22 |
Luc Van Oostenryck | teach sparse about -Waddress
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-06 |
Luc Van Oostenryck | use VOID instead of directly using &void_pseudo
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-06 |
Luc Van Oostenryck | move 'extern with initializer' validation after the...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-06 |
Luc Van Oostenryck | check the storage of C99 for-loop initializers
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-06 |
Luc Van Oostenryck | add an optional validation method to external_declaration()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-06 |
Luc Van Oostenryck | add test cases for storage of c99 for-loop declarations
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-06 |
Luc Van Oostenryck | add test case for scope of C99 for-loop declarations
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-06 |
Luc Van Oostenryck | replace test for c99 for-loop initializers
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-06 |
Luc Van Oostenryck | remove unused helper is_branch_goto()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-06 |
Luc Van Oostenryck | split OP_BR between unconditional & conditional: OP_CBR
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-03 |
Luc Van Oostenryck | fix size of loaded bitfields
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-03 |
Luc Van Oostenryck | fix usage in simplify_seteq_setne()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-03 |
Luc Van Oostenryck | ignore whole-range overlapping initializer
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-03 |
Luc Van Oostenryck | fix checking of overlapping initializer
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-03 |
Luc Van Oostenryck | allow to warn on all overlapping initializers
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
| 2017-03-03 |
Luc Van Oostenryck | add test case for warnings about overlapping initializers
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
|
commit | commitdiff | tree |
