aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
AgeCommit message (Expand)AuthorFilesLines
2020-11-07select: simplify SEL(SEL(x, C, 0), y, z) --> SEL(x, y, z) and its dualLuc Van Oostenryck2-2/+0
2020-11-07select: add some testcases for select simplificationLuc Van Oostenryck5-0/+54
2020-11-01Merge branch 'typed-cmp'Luc Van Oostenryck3-0/+45
2020-11-01linearize __builtin_isdigit()Luc Van Oostenryck2-0/+22
2020-11-01fix usage count in linearize_fma()Luc Van Oostenryck1-1/+1
2020-11-01testsuite: add a new tag: check-output-returnsLuc Van Oostenryck2-0/+28
2020-11-01testsuite: add a new tag: check-output-matchLuc Van Oostenryck2-0/+39
2020-11-01eval_insn: give an explicit type to compare's operandsLuc Van Oostenryck2-2/+0
2020-11-01eval_insn: add testcases for incorrect type in OP_SET_*Luc Van Oostenryck3-0/+47
2020-10-27Merge branches 'cleanup-linearize', 'inline-use', 'inline-def', 'pure-call', ...Luc Van Oostenryck6-5/+43
2020-10-24Merge branches 'optim-setuimm' and 'optim-unop' into nextLuc Van Oostenryck8-0/+85
2020-10-24unop: simplify ~(-x) --> x - 1Luc Van Oostenryck1-1/+0
2020-10-24unop: simplify ~(x ^ C) --> x ^ ~CLuc Van Oostenryck1-1/+0
2020-10-24unop: simplify ~(C - x) --> x + ~CLuc Van Oostenryck1-1/+0
2020-10-24unop: simplify ~(x + C) --> ~C - xLuc Van Oostenryck1-1/+0
2020-10-24unop: simplify -(~x) --> x + 1Luc Van Oostenryck1-1/+0
2020-10-24unop: simplify -(x - y) --> y - xLuc Van Oostenryck1-1/+0
2020-10-24unop: simplify -(x + C) --> -C - xLuc Van Oostenryck1-1/+0
2020-10-23canonicalize unsigned compares against 0 or 1Luc Van Oostenryck1-1/+5
2020-10-23simplify unsigned compares against 0Luc Van Oostenryck1-0/+10
2020-10-23unop: add testcases for unop simplificationsLuc Van Oostenryck7-0/+78
2020-10-22warn on all missing parameter typesLuc Van Oostenryck5-5/+13
2020-10-22add testcase for missing inline definitionLuc Van Oostenryck1-0/+30
2020-10-22Merge branch 'optim-base' into nextLuc Van Oostenryck15-0/+156
2020-10-21optim: fix some testcases related to bitfield manipulationLuc Van Oostenryck2-5/+8
2020-10-20Merge branch 'bf-sign' into nextLuc Van Oostenryck6-20/+48
2020-10-20sub: simplify x + (y - x) --> yLuc Van Oostenryck1-1/+0
2020-10-20sub: simplify (x - y) + y --> xLuc Van Oostenryck1-1/+0
2020-10-20sub: simplify x - (y + x) --> -yLuc Van Oostenryck1-1/+0
2020-10-20sub: simplify x - (x + y) --> -yLuc Van Oostenryck1-1/+0
2020-10-20sub: simplify (x + y) - y --> xLuc Van Oostenryck1-1/+0
2020-10-20sub: simplify (x + y) - x --> yLuc Van Oostenryck1-1/+0
2020-10-20add: simplify (-x + y) --> (y - x)Luc Van Oostenryck1-1/+0
2020-10-20add: simplify (x + -y) --> (x - y)Luc Van Oostenryck1-1/+0
2020-10-20sub: simplify (x - -y) --> (x + y)Luc Van Oostenryck1-1/+0
2020-10-20sub: simplify (C - y) + D --> eval(C+D) - yLuc Van Oostenryck1-1/+0
2020-10-20sub: simplify C - (D - z) --> z + eval(C-D)Luc Van Oostenryck1-1/+0
2020-10-20sub: simplify C - (y + D) --> eval(C-D) - yLuc Van Oostenryck1-1/+0
2020-10-20sub: canonicalize (0 - x) into -xLuc Van Oostenryck1-1/+0
2020-10-20reassoc: simplify (x # C) # K --> x # eval(C # K)Luc Van Oostenryck1-1/+0
2020-10-20constants must be truncated to the operation's sizeLuc Van Oostenryck1-1/+0
2020-10-20add testcases about OP_ADD & OP_SUB simplificationsLuc Van Oostenryck15-0/+171
2020-10-19Merge branch 'builtin-atomic' into nextLuc Van Oostenryck2-0/+39
2020-10-19builtin: add support for __atomic_clear()Luc Van Oostenryck1-0/+15
2020-10-19builtin: evaluate __sync_*_fetch*()Luc Van Oostenryck1-0/+24
2020-10-19Merge branch 'warn-address-builtin' into nextLuc Van Oostenryck1-10/+15
2020-10-16fix null pointer deref on return expression with invalid typeLuc Van Oostenryck1-0/+9
2020-10-16warn when taking the address of a built-in functionLuc Van Oostenryck1-10/+15
2020-10-16testsuite: fix location of error messagesLuc Van Oostenryck1-3/+3
2020-10-14flex-array: fix typo in warning messageLuc Van Oostenryck1-2/+2
2020-10-09flex-array: fix location for nesting of flexible membersLuc Van Oostenryck1-2/+2
2020-10-09Merge branch 'misc'Luc Van Oostenryck1-1/+1
2020-10-09Merge branch 'usual-conv'Luc Van Oostenryck2-1/+11
2020-10-09flex-array: allow arrays of unions with flexible members.Ilya Maximets3-0/+31
2020-10-08fix usual conversion of integersLuc Van Oostenryck1-0/+11
2020-10-08fix evaluation of pointer to bool conversionsLuc Van Oostenryck1-1/+0
2020-10-06flex-array: remove unneeded testLuc Van Oostenryck1-22/+0
2020-10-01testsuite: fix erroneous commentLuc Van Oostenryck1-1/+1
2020-10-01flex-array: warn on flexible array in nested aggregate typesLuc Van Oostenryck1-1/+0
2020-10-01flex-array: warn an arrays containing a flexible arrayLuc Van Oostenryck1-1/+0
2020-10-01flex-array: warn when using sizeof() on a flexible arrayLuc Van Oostenryck1-1/+0
2020-10-01flex-array: warn if flexible array is not lastLuc Van Oostenryck1-1/+0
2020-10-01flex-array: flexible array members have zero size and alignment is OKLuc Van Oostenryck1-1/+0
2020-10-01flex-array: add testcasesLuc Van Oostenryck6-0/+133
2020-09-16teach sparse about -funsigned-bitfieldsLuc Van Oostenryck6-20/+48
2020-09-07builtin: teach sparse to linearize __builtin_fma()Luc Van Oostenryck1-0/+19
2020-08-18Merge branch 'union-cast' into masterLuc Van Oostenryck2-0/+47
2020-08-17fix evaluate_ptr_add() when sizeof(offset) != sizeof(pointer)Luc Van Oostenryck2-0/+173
2020-08-17union-cast: teach sparse about union castsLuc Van Oostenryck2-2/+0
2020-08-15union-cast: add some testcasesLuc Van Oostenryck2-0/+49
2020-08-12Merge branch 'fix-scalar'Luc Van Oostenryck1-0/+13
2020-08-11fix is_scalar_type(): fouled types are scalars tooLuc Van Oostenryck1-0/+13
2020-08-11bug-assign-op0.c: fix test on 32-bit buildsRamsay Jones1-5/+5
2020-08-09Merge branch 'empty-char' into nextLuc Van Oostenryck2-0/+22
2020-08-08Merge branch 'wstring-init' into nextLuc Van Oostenryck2-0/+42
2020-08-08Merge branch 'sync-cas' into nextLuc Van Oostenryck1-0/+25
2020-08-08Merge branch 'bad-shift-equal' into nextLuc Van Oostenryck8-53/+403
2020-08-08Merge branch 'prev-stream' into nextLuc Van Oostenryck1-0/+11
2020-08-08wstring: extend is_string_type() to also detect wide stringsLuc Van Oostenryck1-1/+0
2020-08-08wstring: add support for checking size in string initializerLuc Van Oostenryck2-0/+43
2020-08-07add builtin support for __sync_{bool,val}_compare_and_swap()Luc Van Oostenryck1-1/+0
2020-08-07add testcases for __sync_{bool,val}_compare_and_swap()Luc Van Oostenryck1-0/+26
2020-08-06bad-shift: wait dead code elimination to warn about bad shiftsLuc Van Oostenryck5-50/+29
2020-08-06shift-assign: restrict shift count to unsigned intLuc Van Oostenryck1-1/+0
2020-08-06shift-assign: fix linearization of shift-assignLuc Van Oostenryck3-10/+8
2020-08-06shift-assign: add more testcases for bogus linearizationLuc Van Oostenryck2-0/+374
2020-07-31Merge branch 'array-decl'Luc Van Oostenryck3-0/+40
2020-07-30fix diagnostic source path from command lineLuc Van Oostenryck1-0/+11
2020-07-25generic: fix missing inlining of generic expressionLuc Van Oostenryck1-0/+10
2020-07-23allow [*] in array declaratorsLuc Van Oostenryck1-1/+0
2020-07-23simplify & fix parsing of array declaratorsLuc Van Oostenryck1-1/+0
2020-07-23add testcases for C99 array declaratorsLuc Van Oostenryck2-0/+31
2020-07-23do not accept comma expressions in array declaratorLuc Van Oostenryck1-1/+0
2020-07-23add testcase for comma in array declaratorLuc Van Oostenryck1-0/+12
2020-07-22delay 'empty character constant' warning to phase 5Luc Van Oostenryck2-0/+22
2020-07-19prepend diagnostics with source's path and include chainLuc Van Oostenryck1-0/+1
2020-07-18Merge branch 'empty-expr'Luc Van Oostenryck3-0/+23
2020-07-14Merge branch 'assert-opt-msg'Luc Van Oostenryck1-0/+5
2020-07-14Merge branch 'bad-shift-assign'Luc Van Oostenryck1-0/+115
2020-07-14warn on empty initializationsLuc Van Oostenryck1-1/+0
2020-07-14warn on empty assignmentsLuc Van Oostenryck2-1/+1
2020-07-14add testcase for incorrect empty expressionsLuc Van Oostenryck2-0/+24
2020-07-13fix evaluation error with assignment of qualified arraysLuc Van Oostenryck2-2/+0
2020-07-10add testcase for missing warning for assignment to constLuc Van Oostenryck1-0/+29
2020-07-10add another testcase with const array/pointerLuc Van Oostenryck1-0/+50
2020-07-09add a testcase for assignment to const <type> (*)[]Luc Van Oostenryck1-0/+7
2020-07-08c2x: message in _Static_assert() is now optionalLuc Van Oostenryck1-0/+5
2020-07-08Merge branches 'predef-fix', 'predef-helper' and 'simplify-add-pre-buffer'Luc Van Oostenryck1-0/+5
2020-07-06predefine: add testcase for multi-token predefinesLuc Van Oostenryck1-0/+5
2020-07-06testsuite: add testcase for bogus linearization of >>= & /=Luc Van Oostenryck1-0/+115
2020-07-04testsuite: add new flag '-p' to subcommand 'format'Luc Van Oostenryck1-0/+4
2020-07-04avoid multiple warnings when inlining undeclared callsLuc Van Oostenryck1-0/+19
2020-06-23testsuite: fix 'format help' / validate number of argumentsLuc Van Oostenryck1-1/+6
2020-06-23teach sparse about __STDC_HOSTED__Luc Van Oostenryck2-0/+22
2020-06-20Merge branch 'fix-gensel'Luc Van Oostenryck2-0/+20
2020-06-20gensel: validate the type of the associationsLuc Van Oostenryck1-0/+4
2020-06-20gensel: controlling expression must be pointer-convertedLuc Van Oostenryck1-1/+0
2020-06-19gensel: add testcases from DR481Luc Van Oostenryck1-0/+17
2020-06-18Merge branch 'genmacro'Luc Van Oostenryck1-0/+20
2020-06-18pre-process: add support for __has_feature() & __has_extension()Luc Van Oostenryck1-1/+0
2020-06-18pre-process: add testcases for __has_feature() & __has_extension()Luc Van Oostenryck1-0/+21
2020-06-16testsuite: be less paranoid with timeoutLuc Van Oostenryck1-1/+1
2020-06-12testsuite: plain chars are never compatible with [un]signed charsLuc Van Oostenryck1-0/+19
2020-06-09generic: fix crash when nothing matchLuc Van Oostenryck1-0/+23
2020-06-03univ-init: scalar initializer needs some additional checksLuc Van Oostenryck2-0/+35
2020-05-28add support for _GenericLuc Van Oostenryck3-0/+240
2020-05-27testsuite: add testcase for duplicated local definitionsLuc Van Oostenryck1-0/+28
2020-05-21Merge branch 'univ'Luc Van Oostenryck2-0/+25
2020-05-21Merge branch 'bad-goto'Luc Van Oostenryck21-16/+463
2020-05-21univ-init: conditionally accept { 0 } without warningsLuc Van Oostenryck2-0/+25
2020-05-21bad-label: respect attribute((unused))Luc Van Oostenryck1-0/+6
2020-05-21bad-label: check for unused labelsLuc Van Oostenryck1-1/+0
2020-05-21bad-goto: check declaration of label expressionsLuc Van Oostenryck2-2/+0
2020-05-21bad-goto: jumping inside a statement expression is an errorLuc Van Oostenryck6-6/+0
2020-05-21bad-goto: catch labels with reserved namesLuc Van Oostenryck1-1/+0
2020-05-21bad-goto: reorganize testcases and add some moreLuc Van Oostenryck18-13/+332
2020-05-21bad-goto: add testcases for linearization of invalid labelsLuc Van Oostenryck1-0/+19
2020-05-21bad-goto: add testcase for 'jump inside discarded expression statement'Luc Van Oostenryck2-0/+57
2020-05-21misc: fix testcase typeof-safeLuc Van Oostenryck1-7/+20
2020-05-19testsuite: add a few testcases for nested functionsLuc Van Oostenryck1-0/+43
2020-05-19attribute: 'externally_visible' is just another 'declaration' modifierLuc Van Oostenryck2-2/+0
2020-05-17attribute: sort the table of modifier namesLuc Van Oostenryck2-4/+4
2020-04-13Merge branch 'fix-atomic-type'Luc Van Oostenryck2-22/+38
2020-03-24add support for GCC's __auto_typeLuc Van Oostenryck2-0/+100
2020-03-20teach sparse to linearize __builtin_unreachable()Luc Van Oostenryck3-3/+0
2020-03-20add an implicit __builtin_unreachable() for __noreturnLuc Van Oostenryck1-1/+0
2020-03-20add testcases for OP_UNREACHLuc Van Oostenryck4-7/+74
2020-03-16cpp: fix redefinition of a macro during its own expansionLuc Van Oostenryck1-0/+20
2020-03-15cpp: remove extra newlines during macro expansionLuc Van Oostenryck3-9/+16
2020-03-15cpp: silently allow conditional directives within a macroLuc Van Oostenryck2-1/+41
2020-03-15make "directive in macro's argument list" a warningOleg Nesterov1-4/+4
2020-02-09do the tree inlining during expansion phaseLuc Van Oostenryck1-1/+0
2020-02-09inline: add some testsLuc Van Oostenryck4-0/+108
2020-02-06fix type compatibility of _AtomicLuc Van Oostenryck2-22/+38
2019-12-17Merge branch 'msg-wrong-redecl' into nextLuc Van Oostenryck4-15/+60
2019-12-17Merge branch 'expand-init' (early part) into nextLuc Van Oostenryck15-7/+256
2019-12-17Merge branch 'top-level-init' into nextLuc Van Oostenryck1-2/+8
2019-12-17fix testcase with non-constant initializerLuc Van Oostenryck1-2/+8
2019-12-15improve diagnostic message about wrong redeclarationLuc Van Oostenryck4-15/+60
2019-12-15testcase: remove trailing ';' in commandsLuc Van Oostenryck2-2/+2
2019-12-10fix cost of dereference of symbols with complex typeLuc Van Oostenryck1-1/+0
2019-12-10fix simplify_loads() when doing type punningLuc Van Oostenryck2-2/+0
2019-12-10fix expansion of initializer (default)Luc Van Oostenryck1-1/+0
2019-12-10fix expansion of initializer (mismatching type)Luc Van Oostenryck2-2/+0
2019-12-10fix expansion of initializer (mismatching size)Luc Van Oostenryck1-1/+0
2019-12-10degenerated arrays & functions are addressable tooLuc Van Oostenryck2-1/+15
2019-12-10fix addressability marking in evaluate_addressof()Luc Van Oostenryck1-1/+0
2019-12-10add test for constant expansion of complex initializerLuc Van Oostenryck3-0/+53
2019-12-10add test for dereference cost of symbol with complex typeLuc Van Oostenryck1-0/+21
2019-12-10add test for union castLuc Van Oostenryck1-0/+27
2019-12-10add testcase for addressability of 'complex' symbolsLuc Van Oostenryck1-0/+24
2019-12-10add testcase for addressability of degenerated symbolLuc Van Oostenryck1-0/+18
2019-12-10add testcase for expansion of default initializersLuc Van Oostenryck2-0/+39
2019-12-10split testcases for type punning & constant initializer expansionLuc Van Oostenryck5-5/+66
2019-12-09Merge branch 'premature-examine' into nextLuc Van Oostenryck1-0/+27
2019-12-09fix premature examination of dereferenced objectLuc Van Oostenryck1-0/+27
2019-12-09Merge branch 'bitfield-size'Luc Van Oostenryck1-0/+30
2019-11-30bitfield: display the bitfield name in error messagesLuc Van Oostenryck1-5/+5
2019-11-30bitfield: oversized bitfields are errorsLuc Van Oostenryck1-1/+0
2019-11-30bitfield: add testcases for invalid bitfield widthLuc Van Oostenryck1-0/+31
2019-11-28testsuite: avoid standard includes in the testsLuc Van Oostenryck2-3/+2
2019-11-28Merge branch 'arch-cleanup' into masterLuc Van Oostenryck1-0/+2
2019-11-28arch: add predefines for INT128 only on supported archsLuc Van Oostenryck1-0/+2
2019-11-27Merge branch 'arm-hf' into masterLuc Van Oostenryck5-0/+40
2019-11-27fp-abi: teach sparse about -m{hard,soft}-floatLuc Van Oostenryck1-1/+0
2019-11-27fp-abi: teach sparse about -mfloat-abi on ARMLuc Van Oostenryck4-4/+0
2019-11-27fp-abi: add tests for ARM's -mfloat-abi=... & -msoft-floatLuc Van Oostenryck5-0/+45
2019-11-26Merge branch 'arch-cygwin' into masterLuc Van Oostenryck4-1/+27
2019-11-26Merge branch 'static-forward' into masterLuc Van Oostenryck1-9/+10
2019-11-21allow 'static' forward declarationLuc Van Oostenryck1-9/+10
2019-11-21let function definition inherit prototype attributesLuc Van Oostenryck2-5/+1
2019-11-20propagate function modifiers only to functionsLuc Van Oostenryck2-2/+0
2019-11-19add tests for function attributesLuc Van Oostenryck9-10/+134
2019-11-15arch: teach sparse about -fshort-wcharLuc Van Oostenryck1-0/+6
2019-11-15function attributes apply to the function declarationLuc Van Oostenryck1-0/+19
2019-11-14arch: fix the signedness of plain charsLuc Van Oostenryck3-1/+21
2019-11-10Merge branch 'eval-typeof' into nextLuc Van Oostenryck1-0/+10
2019-11-10typeof: examine it at show-timeLuc Van Oostenryck1-1/+0
2019-11-10typeof: add a test for unexamined typeofLuc Van Oostenryck1-0/+11
2019-10-30arch: add an option to specify the desired arch: --arch=<arch>Luc Van Oostenryck4-0/+106
generated by cgit 1.2.3-korg (git 2.43.0) at 2025-11-03 15:54:39 +0000