?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
add is_func_type()
2017-03-22 Luc Van Oostenryckadd is_func_type()
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-03-22 Luc Van Oostenryckteach sparse about -Waddress
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-03-06 Luc Van Oostenryckuse VOID instead of directly using &void_pseudo
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-03-06 Luc Van Oostenryckmove 'extern with initializer' validation after the...
...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-03-06 Luc Van Oostenryckcheck the storage of C99 for-loop initializers
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-03-06 Luc Van Oostenryckadd an optional validation method to external_declaration()
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-03-06 Luc Van Oostenryckadd test cases for storage of c99 for-loop declarations
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-03-06 Luc Van Oostenryckadd test case for scope of C99 for-loop declarations
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-03-06 Luc Van Oostenryckreplace test for c99 for-loop initializers
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-03-06 Luc Van Oostenryckremove unused helper is_branch_goto()
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-03-06 Luc Van Oostenrycksplit OP_BR between unconditional & conditional: OP_CBR
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-03-03 Luc Van Oostenryckfix size of loaded bitfields
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-03-03 Luc Van Oostenryckfix usage in simplify_seteq_setne()
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-03-03 Luc Van Oostenryckignore whole-range overlapping initializer
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-03-03 Luc Van Oostenryckfix checking of overlapping initializer
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-03-03 Luc Van Oostenryckallow to warn on all overlapping initializers
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-03-03 Luc Van Oostenryckadd test case for warnings about overlapping initializers
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-03-03 Luc Van Oostenryckuse option: '-Woverride-init'
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-03-03 Luc Van Oostenryckmake -Wbitwise operational again
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-27 Luc Van Oostenryckadd missing braces around FOR_EACH_PTR loop
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-26 Luc Van Oostenryckfix expansion cost of pure functions
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-23 Luc Van OostenryckCSE: avoid hashing removed instructions
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-23 Luc Van OostenryckCSE: use commutativity to identify equivalent instructions
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-23 Luc Van OostenryckCSE: add test cases for comparisons duality
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-16 Luc Van Oostenrycksimplify float-to-float casts that doesn't change size
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-16 Luc Van Oostenryckfix OP_PHI usage in try_to_simplify_bb()
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-16 Luc Van Oostenryckuse kill_instruction() when killing any instructions...
...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-16 Luc Van Oostenryckuse kill_instruction() when killing an OP_PHI during CSE
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-16 Luc Van Oostenryckfix killing of rewritten loads
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-16 Luc Van Oostenryckadd killing of stores
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-16 Luc Van Oostenryckadd killing of non-volatile loads
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-16 Luc Van Oostenryckfix killing OP_CALL via pointers
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-16 Luc Van Oostenryckadd killing of pure calls
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-16 Luc Van Oostenryckkill_instruction() may need to be forced or not
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-16 Luc Van Oostenryckfix killing of otherwise not-handled instructions
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-16 Luc Van Oostenryckremove unused clear_phi()
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-16 Luc Van Oostenryckfix clear_phi(), replace it by kill_instruction()
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-16 Luc Van Oostenryckfix killing of OP_PHIs
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-16 Luc Van Oostenryckadd helper kill_use_list()
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-16 Luc Van Oostenryckadd killing of OP_PHISOURCEs
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-16 Luc Van Oostenryckadd killing of OP_SLICEs
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-16 Luc Van Oostenryckfix show-parse()'s labels
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-16 Luc Van Oostenryckremove unused field 'goto_bb' in struct statement
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-16 Luc Van Oostenryckremove unused field 'multijmp' in struct statement
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-16 Luc Van Oostenryckcleanup: there is no 'struct phi' to allocate
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycktestsuite: quieter error reporting for 'known-to-fail'
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycktestsuite: allow quieter error reporting
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycktestsuite: get 'check-known-to-fail' earlier
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycktestsuite: use 'error' instead of 'info' for successful...
...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycktestsuite: check the nbr of times a pattern should...
...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycktestsuite: add some selfchecking
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycktestsuite: check patterns presence or absence in output
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckallow to launch the test suite from the project root dir
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycktestsuite: report as error tests known to fail but...
...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycktestsuite: add tag to ignore the output/error
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycktestsuite: add a simple test for -Wenum-mismatch
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycktestsuite: simplify the ioc-typecheck case
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycktestsuite: make tests known to fail effectively fail
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycktestsuite: give a proper name to the 'binary-constant...
...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckexpand __builtin_bswap*() with constant args
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycklet identical symbols share their evaluate/expand methods
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckmove evaluation & expansion of builtins in a separate...
...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckadd support for LLP64 arch
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycksimplify '(x || x)' and '(x && x)'
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycksimplify comparisons followed by an equality test against...
...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckadd warning option '-Wtautological-compare'
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycksimplify '(x op x)' to '0', '1' or 'x'
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycksimplify '(x || 1)' to '1'
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycksimplify '~(~x)' and '-(-x)' to 'x'
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycksimplify '(x % 1)' into '0'
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycksimplify '(x / -1)' to '-x' (but only for signed division)
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycksimplify '(x * -1)' to '-x'
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycksimplify '(x / 1)' to 'x'
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckmove OP_MUL simplification in a separate function
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckdefine __LONG_MAX__ & __SIZEOF_POINTER__
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckadd an helper for common predefined macros
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckdefine __LP64__ & _LP64 if arch_m64 is enabled
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix killing OP_SETVAL instructions
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckremove 'Escape' from token character class
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckwarn on unknown escapes after preprocessing
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckadd testcase for wrong early escape conversion
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckremove unused arg in uses/defs functions
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckvalidate expression's type in conditionals
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckadd helper: is_scalar_type()
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix conditional context test case with void
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckcleanup kill_instruction()
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckexplicitely ignore killing OP_ENTRY
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix killing OP_COMPUTEDGOTO
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix killing OP_SELECT
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix killing OP_CAST & friends
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix killing OP_PHI instructions
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckkill uses of replaced instructions
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix crash while testing between conditional & unconditional...
...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix cast's target type info
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van OostenryckC11: teach sparse about '--std={c11,gnu11}'
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van OostenryckC11: teach sparse about '_Alignas()'
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van OostenryckC11: teach sparse about '_Alignof()'
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van OostenryckC11: teach sparse about '_Noreturn'
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van OostenryckC11: teach sparse about '_Thread_local'
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix value of label statement
 ...off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
next
Static analysis for C