?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
extra: preserve hard_max after comparisons to zero
2017-02-13 Luc Van Oostenryckvalidate expression's type in conditionals
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckadd helper: is_scalar_type()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix conditional context test case with void
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckcleanup kill_instruction()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckexplicitely ignore killing OP_ENTRY
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix killing OP_COMPUTEDGOTO
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix killing OP_SELECT
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix killing OP_CAST & friends
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix killing OP_PHI instructions
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckkill uses of replaced instructions
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix crash while testing between conditional & unconditional...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix cast's target type info
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van OostenryckC11: teach sparse about '--std={c11,gnu11}'
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van OostenryckC11: teach sparse about '_Alignas()'
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van OostenryckC11: teach sparse about '_Alignof()'
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van OostenryckC11: teach sparse about '_Noreturn'
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van OostenryckC11: teach sparse about '_Thread_local'
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix value of label statement
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckmissing load simplification
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix phisrc mixup
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix superfluous phisrc
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckvolatile loads must not be simplified
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckunssa: update comment about the unneeded copies
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckunssa: eliminate trivial phisrc copies
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckunssa: try to avoid some OP_PHI copies
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckunssa: simplify rewrite of OP_PHISOURCE
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckunssa: do not try to update liveness
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix cast to bool
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckllvm: remove unneeded OP_COPY support
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckllvm: fix typing when comparing to a constant
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix typing error in compound assignment
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckadd support for __int128
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix missing element in types declaration
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckrecursive phi_defines cannot happen
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckcgcc should not define non-reserved identifiers
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van OostenryckUpdate maintainers in the manpage
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycksome modifiers need to be preserved by 'typeof()'
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycktestsuite: test modifiers preserved by 'typeof()'
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycktestsuite: test modifiers preserved by '&' operator
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckuse a shorter name for function-pointer-modifier-inheritance.c
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycktestsuite: simplify test function-pointer-inheritance
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckstorage should not be inherited by pointers
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckremove unused field 'multijump' in struct instruction
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van OostenryckOP_SWITCH should use 'insn->cond' instead of 'insn...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckgive comparable label's names to basic blocks
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenrycklet "compile" not crash on bools
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckmake ptrlist walking against robust against empty blocks
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Tested-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckadd test case for builtin bswap with constant args
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckfix discarded label statement
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van OostenryckRemove unneeded variable in integer_promotion()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van OostenryckWarn on unknown attributes instead of throwing errors
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-02-13 Luc Van Oostenryckcleanup: remove evaluate_arguments()'s unused argument
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-01-27 Luc Van Oostenryckmake 'ignored_attributes[]' static
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-01-27 Luc Van Oostenryckadd missing #include "char.h" to char.c
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-01-27 Luc Van OostenryckFix type checking of variadic functions
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2017-01-27 Luc Van Oostenryckfix mixup in "Handle SForced in storage_modifiers"
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2016-02-22 Luc Van OostenryckDo not drop 'nocast' modifier when taking the address.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2016-02-04 Luc Van OostenryckFix size calculation of unsized bool array
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2015-02-11 Luc Van OostenryckAvoid reuse of string buffer when concatening adjacent...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2015-02-09 Luc Van OostenryckTeach sparse about the __COUNTER__ predefined macro
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
 commit | commitdiff | tree
2005-11-28 Luc Van Oostenryck[PATCH] Fix member offset calculation
 commit | commitdiff | tree
2005-11-26 Luc Van Oostenryck[PATCH] avoid a crash caused by the phisrc OP_COPY...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@looxix.net>
 commit | commitdiff | tree
2005-11-26 Luc Van Oostenryck[PATCH] remove old comment
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@looxix.net>
 commit | commitdiff | tree
2005-11-26 Luc Van Oostenryck[PATCH] unssa: update the liveness info.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@looxix.net>
 commit | commitdiff | tree
2005-11-23 Luc Van Oostenryck[PATCH] Rewrite of unssa().
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@looxix.net>
 commit | commitdiff | tree
2005-11-22 Luc Van Oostenryck[PATCH] Add a function to translate the SSA form back...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@looxix.net>
 commit | commitdiff | tree
2005-11-22 Luc Van Oostenryck[PATCH] Add a new opcode: OP_COPY.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@looxix.net>
 commit | commitdiff | tree
2005-06-27 Luc Van Oostenryck[PATCH] makes some needlessly global code static
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@looxix.net>
 commit | commitdiff | tree
2005-06-27 Luc Van Oostenryck[PATCH] remove multi-inclusion guard from target.c
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@looxix.net>
 commit | commitdiff | tree
2005-06-27 Luc Van Oostenryck[PATCH] avoid segfault in add_asm_output() after a...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@looxix.net>
 commit | commitdiff | tree
2005-06-27 Luc Van Oostenryck[PATCH] avoid segafult after parse errors in casts
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@looxix.net>
 commit | commitdiff | tree
2005-06-27 Luc Van Oostenryck[PATCH] avoid segfault after parse errors in assignements
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@looxix.net>
 commit | commitdiff | tree
2005-06-27 Luc Van Oostenryck[PATCH] avoid segfault after parse errors in array...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@looxix.net>
 commit | commitdiff | tree
2005-06-27 Luc Van Oostenryck[PATCH] avoid segfault in check_byte_count()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@looxix.net>
 commit | commitdiff | tree
2005-06-27 Luc Van Oostenryck[PATCH] avoid segfault in linearize_asm_statement(...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@looxix.net>
 commit | commitdiff | tree
2005-06-27 Luc Van Oostenryck[PATCH] Avoid segfault when code is present after a...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@looxix.net>
 commit | commitdiff | tree
2005-06-20 Luc Van Oostenryck[PATCH] segfault on bad ternary conditional
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@looxix.net>
 commit | commitdiff | tree
2005-05-19 Luc Van Oostenryck[PATCH] Fix segfault on non-ANSI function-like declaration...
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@looxix.net>
 commit | commitdiff | tree
2005-05-19 Luc Van Oostenryck[PATCH] Fix SIGSEGV on unterminated preprocessor conditional
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@looxix.net>
 commit | commitdiff | tree
2005-05-17 Luc Van Oostenryck[PATCH] avoid a crash on bad asm statement
Signed-Off-by: Luc Van Oostenryck <luc.vanostenryck@looxix.net>
 commit | commitdiff | tree
Static analysis for C