aboutsummaryrefslogtreecommitdiffstatshomepage
AgeCommit message (Expand)AuthorFilesLines
2017-11-17llvm: fix type in comparison with an address constantLuc Van Oostenryck2-2/+13
2017-11-17llvm: fix pointer/float mixup in comparisonsLuc Van Oostenryck2-2/+24
2017-11-17llvm: ignore OP_INLINED_CALLLuc Van Oostenryck1-1/+0
2017-11-17llvm: add support for OP_SETVAL with labelsLuc Van Oostenryck2-0/+16
2017-11-17llvm: add support for OP_SETVAL with floatsLuc Van Oostenryck2-1/+25
2017-11-17llvm: add support for OP_NEGLuc Van Oostenryck1-2/+15
2017-11-17llvm: add test cases for degenerated pointersLuc Van Oostenryck1-0/+73
2017-11-17llvm: add test cases for arrays passed as argumentLuc Van Oostenryck1-3/+146
2017-11-17llvm: add test cases for pointers passed as argumentLuc Van Oostenryck1-0/+43
2017-11-17llvm: add test cases for symbol's addressLuc Van Oostenryck1-0/+63
2017-11-17llvm: fix output_op_[ptr]cast()Luc Van Oostenryck1-5/+35
2017-11-17llvm: fix output_op_store() which modify its operandLuc Van Oostenryck2-4/+18
2017-11-17llvm: fix translation of PSEUDO_VALs into a ValueRefsLuc Van Oostenryck3-1/+77
2017-11-17llvm: fix test of floating-point typeLuc Van Oostenryck1-25/+17
2017-11-17llvm: extract get_sym_value() from pseudo_to_value()Luc Van Oostenryck1-47/+53
2017-11-17llvm: avoid useless temp variableLuc Van Oostenryck1-5/+2
2017-11-17llvm: give a name to call's return valuesLuc Van Oostenryck1-1/+6
2017-11-17llvm: give arguments a nameLuc Van Oostenryck1-0/+12
2017-11-17llvm: use pseudo_list_size() instead of open coding itLuc Van Oostenryck1-4/+1
2017-11-17llvm: reduce scope of 'bb_nr'Luc Van Oostenryck1-2/+1
2017-11-17llvm: remove unneeded function::typeLuc Van Oostenryck1-3/+3
2017-11-17llvm: remove unneeded 'generation'Luc Van Oostenryck1-11/+2
2017-11-17llvm: remove unneeded arg 'module'Luc Van Oostenryck1-37/+37
2017-11-17add support for wider type in switch-caseLuc Van Oostenryck3-5/+52
2017-11-17add doc about sparse's instructions/IRLuc Van Oostenryck1-0/+293
2017-11-16give a type to OP_SWITCHsLuc Van Oostenryck1-2/+3
2017-11-16give a type to OP_SELs, alwaysLuc Van Oostenryck1-1/+1
2017-11-16give a type to OP_PHISOURCEsLuc Van Oostenryck4-12/+10
2017-11-16give a type to all function argumentsLuc Van Oostenryck3-7/+31
2017-11-16inlined calls should not block BB packingLuc Van Oostenryck3-5/+32
2017-11-16fix usage of inlined callsLuc Van Oostenryck2-1/+59
2017-11-16add is_signed_type()Luc Van Oostenryck3-22/+12
2017-11-16canonicalize compare instructionsLuc Van Oostenryck4-14/+151
2017-11-16canonicalize binops before simplificationLuc Van Oostenryck1-11/+9
2017-11-16use opcode table for compare_opcode()Luc Van Oostenryck1-25/+1
2017-11-16add table to "negate" some opcodeLuc Van Oostenryck4-0/+49
2017-11-16don't output value of anonymous symbol's pointerLuc Van Oostenryck1-2/+2
2017-11-16show OP_PHI without VOIDLuc Van Oostenryck1-0/+2
2017-11-13Merge branches 'testcases-bugs', 'testcases-bugs-optim' and 'testcases-mem2re...Luc Van Oostenryck35-0/+799
2017-11-13add test case for missing conversion to selectLuc Van Oostenryck1-0/+24
2017-11-13add test cases for canonicalization of boolean expressionsLuc Van Oostenryck1-0/+12
2017-11-13add testcase for mem2reg/SSA conversionLuc Van Oostenryck28-0/+629
2017-11-13add test case for superfluous cast with volatilesLuc Van Oostenryck1-0/+14
2017-11-13add test cases for simplification of equivalent to 'x == 0' or 'x != 0'Luc Van Oostenryck2-0/+24
2017-11-13add testcase for return & inlineLuc Van Oostenryck1-0/+24
2017-11-13add test case for pre-processor extra tokens warningLuc Van Oostenryck1-0/+15
2017-11-13add test cases for canonicalization of mul chainsLuc Van Oostenryck1-0/+24
2017-11-13add testcase for __builtin_unreachable()Luc Van Oostenryck1-0/+31
2017-11-13add test case for compound literalsLuc Van Oostenryck2-0/+45
2017-11-13add test cases for canonicalization of add/sub chainsLuc Van Oostenryck1-0/+55
2017-11-13add test case for missed overflow detectionLuc Van Oostenryck1-0/+19
2017-11-13add test case for bad layout of bool in bitfieldsLuc Van Oostenryck1-0/+26
2017-11-13add test case using sizeof on incomplete typeLuc Van Oostenryck1-0/+27
2017-11-13add test case storage specifier in struct memberLuc Van Oostenryck1-0/+20
2017-11-13add test case bitfields in K&R declLuc Van Oostenryck1-0/+14
2017-11-13add test case for incomplete typeLuc Van Oostenryck1-0/+20
2017-11-13add test case for conditionally undefined varLuc Van Oostenryck1-0/+21
2017-11-13add test case for memory to register problemLuc Van Oostenryck1-0/+25
2017-11-13add test case for VLA sizeofLuc Van Oostenryck1-0/+37
2017-11-13add test case for using multiple input filesLuc Van Oostenryck1-0/+11
2017-11-13Merge branch 'dump-ir' into tipLuc Van Oostenryck11-76/+257
2017-11-13dump-ir: activate -fdump-ir=mem2regLuc Van Oostenryck1-0/+2
2017-11-13dump-ir: make it more flexibleLuc Van Oostenryck8-19/+78
2017-11-13dump-ir: rename -fdump-linearize to -fdump-irLuc Van Oostenryck8-11/+11
2017-11-13dump-ir: saner use of fdump_linearizeLuc Van Oostenryck3-4/+5
2017-11-13dump-ir: allow to skip the optimization pass(es)Luc Van Oostenryck1-0/+2
2017-11-12dump-ir: activate/deactive pass 'mem2reg'Luc Van Oostenryck1-1/+2
2017-11-12dump-ir: allow to specify the passes to execute via cli's optionsLuc Van Oostenryck4-0/+54
2017-11-12dump-ir: add testcase for option parsing corner caseLuc Van Oostenryck2-0/+10
2017-11-11Merge branches 'volatile-loads-are-side-effects', 'fix-volatile-simplificatio...Luc Van Oostenryck30-193/+552
2017-11-11fix: volatile stores must not be simplifiedLuc Van Oostenryck2-2/+5
2017-11-11add test case for bogus volatile simplificationLuc Van Oostenryck1-10/+6
2017-11-11flush stdout when warningLuc Van Oostenryck1-0/+1
2017-11-11fix description setval & symaddrLuc Van Oostenryck1-1/+1
2017-11-11Merge branches 'constexpr-shorter-name', 'testsuite-clean', 'make-cleanup', '...Luc Van Oostenryck33-347/+445
2017-11-11fix 'simplification' of float-to-int castsLuc Van Oostenryck3-4/+42
2017-11-11define MOD_ACCESS for (MOD_ASSIGNED | MOD_ADDRESSABLE)Luc Van Oostenryck3-4/+4
2017-11-10volatile loads are side-effects tooLuc Van Oostenryck2-0/+20
2017-11-10Makefile: use locally built sparse in the selfcheck targetRamsay Jones1-1/+1
2017-11-10build: let -fno-strict-aliasing be a mandatory flagLuc Van Oostenryck1-1/+6
2017-11-10build: add rule to run a single testLuc Van Oostenryck1-0/+2
2017-11-10build: use a single space before assignmentsLuc Van Oostenryck1-2/+2
2017-11-10build: reorg & add commentLuc Van Oostenryck1-8/+9
2017-11-10build: avoid foreachLuc Van Oostenryck1-9/+11
2017-11-10build: add *.o to clean-check patternLuc Van Oostenryck1-0/+1
2017-11-10build: simplify clean patternLuc Van Oostenryck1-7/+3
2017-11-10build: simplify quiet commandsLuc Van Oostenryck1-13/+12
2017-11-10build: let quiet commands use less indentationLuc Van Oostenryck1-8/+8
2017-11-10build: remove unused QUIET_INST_SHLuc Van Oostenryck1-1/+0
2017-11-10build: use standard rules for installLuc Van Oostenryck1-21/+14
2017-11-10build: allow the name 'local.mk' to be configurable via the environmentLuc Van Oostenryck2-1/+3
2017-11-10build: use one line per itemLuc Van Oostenryck1-8/+43
2017-11-10build: remove the dist rule since unusedLuc Van Oostenryck1-7/+0
2017-11-10build: normalize rulesLuc Van Oostenryck1-2/+2
2017-11-10build: remove rule for shared lib, it's unusedLuc Van Oostenryck1-15/+3
2017-11-10build: make clean targets quieterLuc Van Oostenryck1-2/+3
2017-11-10build: move clean & clean-check togetherLuc Van Oostenryck1-3/+3
2017-11-10build: remove references to unexisting pre-process.hLuc Van Oostenryck2-2/+1
2017-11-10build: add note about overwritable varsLuc Van Oostenryck1-0/+3
2017-11-10build: only generate version.h when neededUwe Kleine-König1-8/+14
2017-11-10build: move tests near their useLuc Van Oostenryck1-38/+41
2017-11-10build: CHECKER_FLAGS=-Wno-vla for all targetsLuc Van Oostenryck1-3/+1
2017-11-10build: reuse rule for ALL_OBJSLuc Van Oostenryck1-3/+2
2017-11-10build: no need to use wildcards for generated dependenciesLuc Van Oostenryck1-4/+3
2017-11-10build: use $LIBS directly in the dependency listLuc Van Oostenryck1-2/+2
2017-11-10build: avoid rule-specific CFLAGSLuc Van Oostenryck1-1/+1
2017-11-10build: allow CFLAGS & friends from command lineLuc Van Oostenryck1-3/+3
2017-11-10build: allow target-specific CFLAGS, CPPFLAGS, LDFLAGS & LDLIBSLuc Van Oostenryck1-8/+11
2017-11-10build: use '-ldlibs' instead of '_EXTRA_OBJS'Luc Van Oostenryck1-4/+4
2017-11-10build: use '-objs' instead of '_EXTRA_DEPS'Luc Van Oostenryck1-6/+6
2017-11-08add support for C11's _Atomic as type qualifierLuc Van Oostenryck7-2/+127
2017-11-08associate MOD_RESTRICT with restrict-qualified variablesLuc Van Oostenryck8-6/+238
2017-11-08define MOD_QUALIFIER for (MOD_CONST | MOD_VOLATILE)Luc Van Oostenryck4-5/+6
2017-11-08remove redundancy in MOD_STORAGELuc Van Oostenryck2-2/+2
2017-11-08reorganize the definition of the modifiersLuc Van Oostenryck1-33/+32
2017-11-08MOD_ACCESSED is not a type modifier ...Luc Van Oostenryck5-9/+5
2017-11-08remove never-used MOD_TYPEDEFLuc Van Oostenryck3-6/+0
2017-11-08testsuite: add support for 'format -l'Luc Van Oostenryck1-1/+13
2017-11-08testsuite: add support for 'format -f'Luc Van Oostenryck1-2/+12
2017-11-08testsuite: format: strip .c from default nameLuc Van Oostenryck1-1/+1
2017-11-08testsuite: format: saner defaults handlingLuc Van Oostenryck1-10/+5
2017-11-08testsuite: make do_format() more self-containedLuc Van Oostenryck1-3/+27
2017-11-08testsuite: move up arg_file()Luc Van Oostenryck1-15/+17
2017-11-08testsuite: 'quiet' must be initialized earlierLuc Van Oostenryck1-0/+1
2017-11-08testsuite: add a blank line before formatLuc Van Oostenryck1-0/+1
2017-11-08testsuite: save screen real estateLuc Van Oostenryck1-2/+2
2017-11-08testsuite: allow arch-specific testsLuc Van Oostenryck2-0/+23
2017-11-08testsuite: simplify documentationLuc Van Oostenryck1-13/+13
2017-11-08testsuite: extract disable()Luc Van Oostenryck1-2/+9
2017-11-08testsuite: remove useless test-be.cLuc Van Oostenryck1-46/+0
2017-11-08testsuite: remove useless selftestLuc Van Oostenryck3-30/+0
2017-11-08testsuite: allow --format & --singleLuc Van Oostenryck1-2/+2
2017-11-08testsuite: get options from env tooLuc Van Oostenryck1-0/+7
2017-11-08testsuite: add support for -a|--abortLuc Van Oostenryck1-0/+8
2017-11-08testsuite: add support for -q|--quietLuc Van Oostenryck1-2/+15
2017-11-08testsuite: allow to parse several optionsLuc Van Oostenryck1-2/+5
2017-11-08testsuite: saner handling of 'must_fail'Luc Van Oostenryck1-3/+5
2017-11-08testsuite: check error messages firstLuc Van Oostenryck1-1/+1
2017-11-08testsuite: clearer result summaryLuc Van Oostenryck1-4/+9
2017-11-07cgcc: teach cgcc about freebsd & netbsdLuc Van Oostenryck1-0/+6
2017-11-06Merge branches 'cleanup-prototype', 'cleanup-cclass' and 'testcases-return-ty...Luc Van Oostenryck5-22/+50
2017-11-06build: remove unused support for pkgconfigLuc Van Oostenryck3-34/+3
2017-11-06build: fix effectiveness of generated dependenciesLuc Van Oostenryck1-1/+1
2017-11-06build: pass CPPFLAGS to compilerUwe Kleine-König1-2/+2
2017-11-06build: drop -g from LDFLAGSUwe Kleine-König1-1/+0
2017-11-06build: drop BASIC_CFLAGS and ALL_CFLAGSUwe Kleine-König1-9/+7
2017-11-06build: put comment about local.mk to the place where it is includedUwe Kleine-König1-5/+4
2017-11-05Merge branch 'fix-include-eval' of worktreeLuc Van Oostenryck3-0/+32
2017-11-05build: make PREFIX overwritable from the environmentUwe Kleine-König1-1/+1
2017-10-19sparse: document that -Wbitwise is defaultJacob Keller1-2/+2
2017-10-03fix cgcc ELF version for ppc64/pcc64leLuc Van Oostenryck1-3/+2
2017-10-03cgcc: provide __ARM_PCS_VFP for armhfUwe Kleine-König1-2/+9
2017-10-02compile-i386: Use SPARSE_VERSION instead of __DATE__Uwe Kleine-König1-1/+2
2017-10-02cgcc: teach cgcc about GNU/kFreeBSDUwe Kleine-König1-0/+3
2017-10-02build: remove version.h in clean targetUwe Kleine-König1-1/+1
2017-09-19compile-i386: make use of expression_list_size()Martin Kepplinger1-5/+1
2017-09-19graph: do not scan removed instructionsLuc Van Oostenryck1-0/+2
2017-09-19remove prototype for unexistant examine_simple_symbol_type()Luc Van Oostenryck1-1/+0
2017-09-19remove prototype extern int is_ptr_type()Luc Van Oostenryck1-1/+0
2017-09-19cclass: cleanupLuc Van Oostenryck1-18/+6
2017-09-19cclass: char is wide enoughLuc Van Oostenryck1-1/+1
2017-09-19diet: remove unused struct symbol::valueLuc Van Oostenryck3-3/+2
2017-09-18add test case for bad return typeLuc Van Oostenryck1-0/+19
2017-09-18add test case for incomplete typeLuc Van Oostenryck1-0/+23
2017-09-18fix test case kill-phi-ttsbLuc Van Oostenryck1-1/+1
2017-09-18fix: missing evaluate with '-include'Luc Van Oostenryck2-1/+14
2017-09-17fix: missing evaluate with '-include' : add testcaseLuc Van Oostenryck2-0/+19
2017-09-17use a specific struct for asm operandsLuc Van Oostenryck7-107/+63
2017-09-16testsuite: convert to the new patern syntaxLuc Van Oostenryck8-10/+10
2017-09-16testsuite: obsolete old pattern checking syntaxLuc Van Oostenryck2-9/+5
2017-09-16testsuite: new eq/min/max syntax for pattern checkingLuc Van Oostenryck2-0/+56
2017-09-16use shorter name for constexpr testsLuc Van Oostenryck14-14/+14
2017-09-16testsuite: better message for pattern absence/presenceLuc Van Oostenryck1-6/+7
2017-09-16testsuite: better message for pattern nbr checkingLuc Van Oostenryck1-1/+2
2017-09-16testsuite: move verbose() & error()Luc Van Oostenryck1-17/+17
2017-09-16testsuite: allow to test a few cases at onceLuc Van Oostenryck1-1/+8
2017-09-16testsuite: 'echo -n' may not be interpreted as '-n'Luc Van Oostenryck1-2/+2
2017-09-14dump-ir: add defines for the compilation passesLuc Van Oostenryck1-0/+16
2017-09-14option: handle switches by tableLuc Van Oostenryck1-43/+48
2017-09-14option: constify match_option()Luc Van Oostenryck1-7/+7
2017-09-14option: use OPTION_NUMERIC() for handle_switch_fmemcpy_max_count()Luc Van Oostenryck2-18/+6
2017-09-14option: add support for '-<some-option>=unlimited'Luc Van Oostenryck1-0/+4
2017-09-14option: add support for options with 'zero is infinity'Luc Van Oostenryck1-1/+6
2017-09-14option: extract OPTION_NUMERIC() from handle_switch_fmemcpy_max_count()Luc Van Oostenryck1-0/+19
2017-09-14option: let handle_simple_switch() handle an array of flagsLuc Van Oostenryck1-9/+18
2017-09-14option: rename 'struct warning' to 'struct flag'Luc Van Oostenryck1-5/+5
2017-09-14option: add helper to parse/match command line optionsLuc Van Oostenryck1-14/+20
2017-09-12build: disable sparse-llvm on non-x86Luc Van Oostenryck1-0/+4
2017-09-12compile-i386.c: fix a memory leak in sort_array()Martin Kepplinger1-0/+1
2017-08-31Sparse preprocessing bug with zero-arg variadic macrosAl Viro2-1/+7
2017-08-28Merge remote-tracking branch 'luc/constexpr-v4' into masterChristopher Li23-93/+649
2017-08-20gcc attr: add nonstring warn_if_not_alignedChristopher Li1-0/+2
2017-08-17Merge remote-tracking branch 'luc/master'v0.5.1Christopher Li0-0/+0
2017-08-17Sparse v0.5.1Luc Van Oostenryck1-1/+1
2017-08-17Sparse 0.5.1Christopher Li1-1/+1
2017-08-11Bump sparse's version to -rc5v0.5.1-rc5Luc Van Oostenryck1-1/+1
2017-08-11Merge remote-tracking branch 'luc/remove-singlestore-shortcut'Christopher Li4-37/+24
2017-08-11Remove single-store shortcutLuc Van Oostenryck2-38/+2
2017-08-10documentation: update email reference linkRandy Dunlap1-1/+1
2017-08-10test-inspect: Detect gtk3 then gtk2 packageChristopher Li1-7/+14