aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
AgeCommit message (Expand)AuthorFilesLines
2017-12-16add test case for space within command lineLuc Van Oostenryck1-0/+11
2017-12-16Merge branch 'testsuite-fix-quotes-cmdline' into cli-macroLuc Van Oostenryck2-5/+14
2017-12-16testsuite: respect command line's quotes & whitespacesLuc Van Oostenryck2-6/+7
2017-12-13testsuite: add test case for quoting of command's argumentsLuc Van Oostenryck1-0/+8
2017-12-13fix: accept 'sparse -D M...'Luc Van Oostenryck1-1/+0
2017-12-13add testcase for 'sparse -D M...'Luc Van Oostenryck1-0/+13
2017-12-10Merge remote-tracking branch 'worktree/testsuite-next'Luc Van Oostenryck13-90/+91
2017-12-08testsuite: add support for 'format -a'Luc Van Oostenryck1-0/+5
2017-12-08testsuite: default to shift in the getopt loopLuc Van Oostenryck1-9/+1
2017-12-08testsuite: allow to test only a subdirLuc Van Oostenryck1-5/+17
2017-12-08testsuite: change do_usage textLuc Van Oostenryck1-7/+7
2017-12-08testsuite: move no-arg out of the getopt loopLuc Van Oostenryck1-6/+5
2017-12-08testsuite: move do_test_suite out of the getopt loopLuc Van Oostenryck1-2/+1
2017-12-08testsuite: early return in getopt loopLuc Van Oostenryck1-0/+4
2017-12-08testsuite: validate the 'check-...' tagsLuc Van Oostenryck1-0/+12
2017-12-08testsuite: fix invalid 'check-...' tagsLuc Van Oostenryck8-12/+12
2017-12-08testsuite: reset 'quiet' at the start of each testcaseLuc Van Oostenryck1-1/+1
2017-12-08testsuite: add & use warning()Luc Van Oostenryck1-1/+9
2017-12-08testsuite: move verbose/error() before get_tag_value()Luc Van Oostenryck1-17/+19
2017-12-08testsuite: remove old ugly pattern syntaxLuc Van Oostenryck1-32/+0
2017-12-08testsuite: convert to the new pattern syntaxLuc Van Oostenryck1-1/+1
2017-12-08testsuite: fix a few more incorrect check-commandsLuc Van Oostenryck3-3/+3
2017-12-08fix: add missing degenerate() for logical notLuc Van Oostenryck1-1/+0
2017-12-07add testcases linearization of degenerated arrays/functionsLuc Van Oostenryck3-0/+110
2017-12-07add more testcases for using addresses in conditionalsLuc Van Oostenryck6-44/+177
2017-11-20testsuite: fix: remove unneeded './' before commandsLuc Van Oostenryck13-13/+13
2017-11-18add support of floating-point specific arithmetic opsLuc Van Oostenryck2-0/+77
2017-11-18fix support of floating-point compareLuc Van Oostenryck1-0/+123
2017-11-18add test case for boolean negation on floatLuc Van Oostenryck1-0/+9
2017-11-18fix linearize_inc_dec() with floatsLuc Van Oostenryck1-0/+13
2017-11-17llvm: give names easier to debugLuc Van Oostenryck1-3/+3
2017-11-17llvm: add support for cast from floatsLuc Van Oostenryck1-2/+0
2017-11-17llvm: add support for OP_FPCASTLuc Van Oostenryck1-2/+3
2017-11-17llvm: fix get value from non-anonymous symbolLuc Van Oostenryck2-0/+42
2017-11-17llvm: fix mutating function pointerLuc Van Oostenryck1-0/+37
2017-11-17llvm: take care of degenerated rvaluesLuc Van Oostenryck4-4/+0
2017-11-17llvm: fix variadic calls with constantsLuc Van Oostenryck1-1/+0
2017-11-17llvm: add testcase for calling variadic functionsLuc Van Oostenryck1-0/+28
2017-11-17llvm: add small script to test LLVM generated bytecodeLuc Van Oostenryck1-1/+1
2017-11-17llvm: add test case pointer compare with castLuc Van Oostenryck1-0/+3
2017-11-17llvm: make value_to_ivalue() more flexibleLuc Van Oostenryck1-0/+13
2017-11-17llvm: fix OP_SWITCH has no targetLuc Van Oostenryck1-0/+248
2017-11-17llvm: adjust OP_RET's typeLuc Van Oostenryck1-1/+0
2017-11-17llvm: give correct type to binopsLuc Van Oostenryck3-0/+80
2017-11-17llvm: fix type in comparison with an address constantLuc Van Oostenryck1-0/+12
2017-11-17llvm: fix pointer/float mixup in comparisonsLuc Van Oostenryck1-0/+9
2017-11-17llvm: add support for OP_SETVAL with labelsLuc Van Oostenryck1-0/+13
2017-11-17llvm: add support for OP_SETVAL with floatsLuc Van Oostenryck1-0/+7
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_store() which modify its operandLuc Van Oostenryck1-0/+16
2017-11-17llvm: fix translation of PSEUDO_VALs into a ValueRefsLuc Van Oostenryck2-0/+47
2017-11-17add support for wider type in switch-caseLuc Van Oostenryck1-0/+47
2017-11-16give a type to all function argumentsLuc Van Oostenryck1-0/+23
2017-11-16inlined calls should not block BB packingLuc Van Oostenryck2-5/+31
2017-11-16fix usage of inlined callsLuc Van Oostenryck1-0/+58
2017-11-16canonicalize compare instructionsLuc Van Oostenryck1-0/+124
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 Oostenryck3-1/+11
2017-11-13dump-ir: make it more flexibleLuc Van Oostenryck1-1/+1
2017-11-13dump-ir: rename -fdump-linearize to -fdump-irLuc Van Oostenryck1-1/+1
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 Oostenryck9-14/+384
2017-11-11fix: volatile stores must not be simplifiedLuc Van Oostenryck1-1/+0
2017-11-11add test case for bogus volatile simplificationLuc Van Oostenryck1-10/+6
2017-11-11Merge branches 'constexpr-shorter-name', 'testsuite-clean', 'make-cleanup', '...Luc Van Oostenryck27-162/+253
2017-11-11fix 'simplification' of float-to-int castsLuc Van Oostenryck2-4/+38
2017-11-10volatile loads are side-effects tooLuc Van Oostenryck1-0/+13
2017-11-08add support for C11's _Atomic as type qualifierLuc Van Oostenryck2-0/+107
2017-11-08associate MOD_RESTRICT with restrict-qualified variablesLuc Van Oostenryck4-0/+221
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 Oostenryck1-0/+18
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-06Merge branches 'cleanup-prototype', 'cleanup-cclass' and 'testcases-return-ty...Luc Van Oostenryck3-1/+43
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 Oostenryck1-1/+0
2017-09-17fix: missing evaluate with '-include' : add testcaseLuc Van Oostenryck2-0/+19
2017-09-16testsuite: convert to the new patern syntaxLuc Van Oostenryck8-10/+10
2017-09-16testsuite: obsolete old pattern checking syntaxLuc Van Oostenryck1-5/+5
2017-09-16testsuite: new eq/min/max syntax for pattern checkingLuc Van Oostenryck1-0/+50
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-08-31Sparse preprocessing bug with zero-arg variadic macrosAl Viro1-0/+4
2017-08-28Merge remote-tracking branch 'luc/constexpr-v4' into masterChristopher Li15-0/+378
2017-08-11Merge remote-tracking branch 'luc/remove-singlestore-shortcut'Christopher Li2-0/+18
2017-08-11Remove single-store shortcutLuc Van Oostenryck1-1/+0
2017-08-09Add test case for the wine dead loop bugChristopher Li1-0/+27
2017-08-09testsuite: add support for commands with timeoutLuc Van Oostenryck2-0/+19
2017-08-04fix: give a type to bad cond expr with known conditionLuc Van Oostenryck1-0/+27
2017-07-31fix crash with sym->bb_target == NULLLuc Van Oostenryck1-0/+10
2017-07-31fix some crashes in add_dominators()Luc Van Oostenryck1-0/+22
2017-07-31fix crash in rewrite_branch()Luc Van Oostenryck1-0/+24
2017-07-31fix crash when ep->active is NULLLuc Van Oostenryck1-0/+12
2017-07-31fix infinite simplification loopsLuc Van Oostenryck2-0/+27
2017-07-31fix ptrlist corruption while killing unreachable BBsLuc Van Oostenryck2-0/+41
2017-06-23Adding ignored attribute optimizev0.5.1-rc3Christopher Li1-0/+16
2017-06-21teach sparse about __BYTE_ORDER__ & __ORDER_{BIG,LITTLE}_ENDIAN__Luc Van Oostenryck2-0/+6
2017-06-21teach sparse about __{BIG,LITTLE}_ENDIAN__Luc Van Oostenryck2-0/+22
2017-06-21fix: __builtin_bswap{16,32,64}() constantnessLuc Van Oostenryck1-0/+6
2017-06-21fix: try_to_simplify_bb eargernessLuc Van Oostenryck1-0/+33
2017-06-15fix: add missing examine in evaluate_dereference()Luc Van Oostenryck2-0/+37
2017-06-14Merge branches 'quiets-bool-cast-restricted-v3', 'error-vs-warnings-v2', 'imp...Luc Van Oostenryck47-116/+729
2017-06-10use NULL instead of 0 in testcases.Luc Van Oostenryck1-3/+3
2017-06-08ret-void: warn for implicit typeLuc Van Oostenryck5-1/+32
2017-06-08ret-void: add test case for toplevel asmLuc Van Oostenryck1-0/+7
2017-05-28testsuite: avoid fork+execing basenameLuc Van Oostenryck1-3/+4
2017-05-28testsuite: remove unneeded './' before commandsLuc Van Oostenryck22-22/+22
2017-05-28testsuite: use shell arithmetic instead of fork-execing exprLuc Van Oostenryck1-6/+6
2017-05-28testsuite: grep the output patterns only when neededLuc Van Oostenryck1-14/+19
2017-05-28testsuite: grep the expected output only when neededLuc Van Oostenryck1-6/+4
2017-05-28testsuite: get all tags in onceLuc Van Oostenryck1-34/+43
2017-05-19Merge branches 'dump-macros-v2', 'fix-predefined-size', 'fix-bool-context', '...v0.5.1-rc1Luc Van Oostenryck15-2/+335
2017-05-19let -dD report macro definitionsLuc Van Oostenryck4-0/+32
2017-05-19avoid warning on explicit 'bool <- restricted' castsLuc Van Oostenryck3-7/+11
2017-05-19more tests for implicit 'bool <- restricted' castsLuc Van Oostenryck1-1/+10
2017-05-19fix implicit zero initializer.Luc Van Oostenryck3-0/+171
2017-05-19add test case for linearize_initializer() of bitfieldsLuc Van Oostenryck1-0/+27
2017-05-19fix: kill old branch in insert_branch()Luc Van Oostenryck1-0/+22
2017-05-15testsuite: cleanup result filesLuc Van Oostenryck1-0/+1
2017-05-12Merge branches 'quiets-bool-cast-restricted-v2', 'keyword-cleanup-v2', 'not-s...Luc Van Oostenryck4-27/+256
2017-05-12keyword: add more reserved keywords to the test caseLuc Van Oostenryck1-39/+135
2017-05-12keyword: explicitly add C99 & C11 keywordsLuc Van Oostenryck1-1/+20
2017-05-12keyword: add test case for reserved '_Static_assert'Luc Van Oostenryck1-0/+2
2017-05-12sparse: add support for _Static_assertLance Richardson1-0/+71
2017-05-12fix missing reloadLuc Van Oostenryck3-0/+64
2017-05-12fix boolean context for OP_AND_BOOL & OP_OR_BOOLLuc Van Oostenryck2-2/+18
2017-05-12ignore VOID when trying to if-convert phi-nodesLuc Van Oostenryck1-0/+19
2017-05-12fix: kill unreachable BBs after killing a childLuc Van Oostenryck1-0/+22
2017-05-11avoid useless warning for 'bool <- restricted type' conversionLuc Van Oostenryck3-6/+25
2017-04-30Merge branches 'sent/float-expand-v2', 'sent/fix-kill-ttsb-v2', 'sent/fix-con...Luc Van Oostenryck4-0/+98
2017-04-01fix OP_PHI usage in try_to_simplify_bb(), correctlyLuc Van Oostenryck1-0/+40
2017-03-31constexpr: flag __builtin_bswap() as constexprLuc Van Oostenryck1-0/+23
2017-03-31constexpr: treat comparisons between types as integer constexprNicolai Stange1-0/+8
2017-03-31constexpr: support compound literals as address constantsNicolai Stange1-0/+19
2017-03-31constexpr: examine constness of __builtin_offsetof at evaluation onlyNicolai Stange1-0/+21
2017-03-31constexpr: recognize references to labels as address constantsNicolai Stange1-0/+14
2017-03-31constexpr: recognize string literals as address constantsNicolai Stange1-0/+9
2017-03-31constexpr: recognize members of static compound objects as address constantsNicolai Stange1-0/+26
2017-03-31constexpr: recognize address constants created through pointer arithmeticNicolai Stange1-0/+28
2017-03-31constexpr: recognize address constants created through castsNicolai Stange1-0/+13
2017-03-31constexpr: recognize static objects as address constantsNicolai Stange1-0/+36
2017-03-31constexpr: check static storage duration objects' intializers' constnessNicolai Stange1-0/+60
2017-03-31constexpr: examine constness of conditionals at evaluation onlyNicolai Stange1-0/+34
2017-03-31constexpr: examine constness of preops at evaluation onlyNicolai Stange1-0/+29
2017-03-31constexpr: examine constness of binops and alike at evaluation onlyNicolai Stange1-0/+33
2017-03-31constexpr: examine constness of casts at evaluation onlyNicolai Stange1-0/+25
2017-03-27fix expansion of integers to floatsLuc Van Oostenryck2-0/+392
2017-03-27do not depends on limits.h to test __CHAR_BIT__Luc Van Oostenryck2-7/+16
2017-03-27fix cast to pointer to floating-pointLuc Van Oostenryck1-0/+13
2017-03-27fix test validation/div.cLuc Van Oostenryck1-10/+12
2017-03-27predefine __SIZEOF_INT__ & friendsLuc Van Oostenryck1-0/+25
2017-03-27predefine __INT_MAX__ and friendsLuc Van Oostenryck1-0/+18
2017-03-27fix test for cast to bool on 32bit machinesLuc Van Oostenryck2-2/+2
generated by cgit 1.2.3-korg (git 2.43.0) at 2025-11-03 15:51:00 +0000