aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
AgeCommit message (Expand)AuthorFilesLines
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
2017-03-22fix evaluation of a function or array symbol in conditionalsLuc Van Oostenryck1-0/+14
2017-03-22warn if testing the address of an arrayLuc Van Oostenryck1-0/+26
2017-03-22warn if testing the address of a functionLuc Van Oostenryck1-0/+18
2017-03-06move 'extern with initializer' validation after the validate methodLuc Van Oostenryck1-1/+1
2017-03-06check the storage of C99 for-loop initializersLuc Van Oostenryck1-1/+0
2017-03-06add test cases for storage of c99 for-loop declarationsLuc Van Oostenryck1-0/+23
2017-03-06add test case for scope of C99 for-loop declarationsLuc Van Oostenryck1-0/+18
2017-03-06replace test for c99 for-loop initializersLuc Van Oostenryck1-24/+12
2017-03-06split OP_BR between unconditional & conditional: OP_CBRLuc Van Oostenryck1-0/+136
2017-03-04fix size of loaded bitfieldsLuc Van Oostenryck1-0/+41
2017-03-04ignore whole-range overlapping initializerLuc Van Oostenryck1-24/+6
2017-03-04fix checking of overlapping initializerLuc Van Oostenryck1-1/+0
2017-03-04allow to warn on all overlapping initializersLuc Van Oostenryck1-1/+33
2017-03-04add test case for warnings about overlapping initializersLuc Van Oostenryck1-0/+88
2017-03-04use option: '-Woverride-init'Luc Van Oostenryck3-0/+40
2017-03-04Allow casting to a restricted type if !restricted_valueEdward Cree1-0/+44
2017-02-23CSE: use commutativity to identify equivalent instructionsLuc Van Oostenryck1-0/+22
2017-02-23CSE: add test cases for comparisons dualityLuc Van Oostenryck1-0/+34
2017-02-16simplify float-to-float casts that doesn't change sizeLuc Van Oostenryck1-0/+15
2017-02-16fix OP_PHI usage in try_to_simplify_bb()Luc Van Oostenryck1-0/+28
2017-02-16use kill_instruction() when killing any instructions during CSELuc Van Oostenryck1-0/+21
2017-02-16fix killing of rewritten loadsLuc Van Oostenryck1-0/+16
2017-02-16add killing of storesLuc Van Oostenryck1-0/+16
2017-02-16add killing of non-volatile loadsLuc Van Oostenryck1-0/+17
2017-02-16add killing of pure callsLuc Van Oostenryck1-0/+17
2017-02-16fix killing of OP_PHIsLuc Van Oostenryck1-0/+9
2017-02-16add killing of OP_PHISOURCEsLuc Van Oostenryck1-0/+21
2017-02-16add killing of OP_SLICEsLuc Van Oostenryck1-0/+19
2017-02-13testsuite: quieter error reporting for 'known-to-fail'Luc Van Oostenryck1-0/+2
2017-02-13testsuite: allow quieter error reportingLuc Van Oostenryck1-2/+2
2017-02-13testsuite: get 'check-known-to-fail' earlierLuc Van Oostenryck1-4/+4
2017-02-13testsuite: use 'error' instead of 'info' for successful tests known to failLuc Van Oostenryck1-1/+1
2017-02-13testsuite: check the nbr of times a pattern should be presentLuc Van Oostenryck1-0/+28
2017-02-13testsuite: add some selfcheckingLuc Van Oostenryck3-0/+30
2017-02-13testsuite: check patterns presence or absence in outputLuc Van Oostenryck1-0/+52
2017-02-13allow to launch the test suite from the project root dirLuc Van Oostenryck1-0/+2
2017-02-13testsuite: report as error tests known to fail but which succeedLuc Van Oostenryck1-8/+21
2017-02-13testsuite: add tag to ignore the output/errorLuc Van Oostenryck1-0/+2
2017-02-13testsuite: add a simple test for -Wenum-mismatchLuc Van Oostenryck1-0/+19
2017-02-13testsuite: simplify the ioc-typecheck caseLuc Van Oostenryck1-9/+3
2017-02-13testsuite: make tests known to fail effectively failLuc Van Oostenryck2-0/+10
2017-02-13testsuite: give a proper name to the 'binary-constant' testLuc Van Oostenryck1-1/+1
2017-02-13expand __builtin_bswap*() with constant argsLuc Van Oostenryck3-1/+78
2017-02-13simplify '(x || x)' and '(x && x)'Luc Van Oostenryck1-0/+12
2017-02-13simplify comparisons followed by an equality test against 0 or 1Luc Van Oostenryck3-0/+45
2017-02-13add warning option '-Wtautological-compare'Luc Van Oostenryck1-0/+35
2017-02-13simplify '(x op x)' to '0', '1' or 'x'Luc Van Oostenryck1-0/+49
2017-02-13simplify '(x || 1)' to '1'Luc Van Oostenryck1-0/+51
2017-02-13simplify '~(~x)' and '-(-x)' to 'x'Luc Van Oostenryck1-0/+15
2017-02-13simplify '(x % 1)' into '0'Luc Van Oostenryck1-0/+3
2017-02-13simplify '(x / -1)' to '-x' (but only for signed division)Luc Van Oostenryck1-0/+5
2017-02-13simplify '(x * -1)' to '-x'Luc Van Oostenryck1-0/+13
2017-02-13simplify '(x / 1)' to 'x'Luc Van Oostenryck1-0/+3
2017-02-13move OP_MUL simplification in a separate functionLuc Van Oostenryck2-0/+26
2017-02-13fix killing OP_SETVAL instructionsLuc Van Oostenryck1-0/+7
2017-02-13warn on unknown escapes after preprocessingLuc Van Oostenryck2-2/+1
2017-02-13add testcase for wrong early escape conversionLuc Van Oostenryck1-0/+23
2017-02-13validate expression's type in conditionalsLuc Van Oostenryck1-0/+99
2017-02-13fix conditional context test case with voidLuc Van Oostenryck1-1/+1
2017-02-13fix killing OP_COMPUTEDGOTOLuc Van Oostenryck1-0/+17
2017-02-13fix killing OP_SELECTLuc Van Oostenryck1-0/+16
2017-02-13fix killing OP_CAST & friendsLuc Van Oostenryck1-0/+22
2017-02-13fix killing OP_PHI instructionsLuc Van Oostenryck1-0/+18
2017-02-13kill uses of replaced instructionsLuc Van Oostenryck1-0/+54
2017-02-13fix cast's target type infoLuc Van Oostenryck1-0/+387
2017-02-13C11: teach sparse about '--std={c11,gnu11}'Luc Van Oostenryck1-0/+11
2017-02-13C11: teach sparse about '_Alignas()'Luc Van Oostenryck1-0/+40
2017-02-13C11: teach sparse about '_Alignof()'Luc Van Oostenryck1-0/+12
2017-02-13C11: teach sparse about '_Noreturn'Luc Van Oostenryck1-0/+9
2017-02-13C11: teach sparse about '_Thread_local'Luc Van Oostenryck1-0/+9
2017-02-13fix value of label statementLuc Van Oostenryck1-0/+17
2017-02-13volatile loads must not be simplifiedLuc Van Oostenryck1-0/+21
2017-02-13fix cast to boolLuc Van Oostenryck3-0/+81
2017-02-13fix typing error in compound assignmentLuc Van Oostenryck1-0/+15
2017-02-13add support for __int128Luc Van Oostenryck1-0/+58
2017-02-13some modifiers need to be preserved by 'typeof()'Luc Van Oostenryck1-1/+0
2017-02-13testsuite: test modifiers preserved by 'typeof()'Luc Van Oostenryck4-0/+171
2017-02-13testsuite: test modifiers preserved by '&' operatorLuc Van Oostenryck1-0/+80
2017-02-13use a shorter name for function-pointer-modifier-inheritance.cLuc Van Oostenryck1-1/+1
2017-02-13testsuite: simplify test function-pointer-inheritanceLuc Van Oostenryck1-11/+2
2017-02-13storage should not be inherited by pointersLuc Van Oostenryck1-1/+1
2017-02-13validation: Check C99 for loop variablesEmily Maier1-0/+33
2017-02-13add test case for builtin bswap with constant argsLuc Van Oostenryck1-0/+28
2017-02-13implement constant-folding in __builtin_bswap*()Johannes Berg1-0/+28
2017-02-13fix discarded label statementLuc Van Oostenryck1-0/+24
2017-02-13Warn on unknown attributes instead of throwing errorsLuc Van Oostenryck3-0/+28
2017-01-27Fix type checking of variadic functionsLuc Van Oostenryck1-0/+62
2016-10-26sparse: add no_sanitize_address as an ignored attributeRui Teng1-0/+9
2016-10-13sparse: ignore __assume_aligned__ attributeLance Richardson1-0/+6
2016-10-13sparse: add 'alloc_align' to the ignored attributesRamsay Jones1-0/+38
2016-02-23Do not drop 'nocast' modifier when taking the address.Luc Van Oostenryck1-0/+197
2016-02-04Fix size calculation of unsized bool arrayLuc Van Oostenryck1-0/+47
2015-06-14validation/prototype: regression for skipping prototypesAzat Khuzhin1-0/+6
2015-04-21Add tests for the builtin INF and nan() functions.Michael Stefaniuc1-0/+13
2015-03-13Ignore pure attribute in assignementArd Biesheuvel1-0/+16
2015-02-08Teach sparse about the __COUNTER__ predefined macroLuc Van Oostenryck4-0/+41
2014-11-10test-suite: remove bashism to avoid test failuresRamsay Jones1-1/+1
2014-10-10don't run sparse{c,i} tests when sparse-llvm is disabledRamsay Jones1-2/+24
2014-10-10sparse: add 'gnu_inline' to the ignored attributesRamsay Jones1-0/+21
2014-10-10Add the __restrict__ keywordRamsay Jones3-0/+72
2014-10-10rename -Werror to -Wsparse-errorChristopher Li1-6/+1
2014-09-28sparse: Make -Werror turn warnigns into errorsThomas Graf1-6/+12
2014-07-16sparse: make bits_to_bytes round up instead of downJeff Layton1-0/+10
2014-04-17parse: support c99 [static ...] in abstract array declaratorsCody P Schafer1-0/+14
2014-04-03Add test case for the ioc type checkHans Verkuil1-0/+17
2014-04-03Add test case for anonymous union initializerHans Verkuil1-0/+11
2014-04-03Add test case for extern arrayHans Verkuil1-0/+14
2014-04-01Support GCC's transparent unionsJohn Keeping1-0/+25
2014-04-01validation/sizeof-bool: fix broken test caseJohn Keeping1-0/+1
2014-01-29Define __CHAR_BIT__Emilio G. Cota1-0/+7
2013-12-21sparse: add built-in atomic memory access identifiersKim Phillips1-0/+28
2013-07-25Merge branch 'llvmcore'Christopher Li6-0/+105
2013-07-25sparse: add __builtin_va_arg_pack() and __builtin_va_arg_pack_len()Jeff Layton1-0/+20
2013-05-27Fix result type of relational and logical operatorsXi Wang1-0/+17
2013-05-23symbol.c: Set correct size of array from parenthesized string initializerRamsay Jones1-0/+27
2013-05-21sparse, llvm: fix struct name generationXi Wang1-0/+6
2013-05-19sparse, llvm: add a struct access test caseJonathan Neuschäfer1-0/+28
2013-05-19sparse, llvm: Fix resulting type of store address calculationsJonathan Neuschäfer1-0/+12
2013-05-18sparse, llvm: simplify function generationXi Wang1-0/+28
2013-05-18sparse, llvm: fix phi generationXi Wang1-0/+14
2013-05-17char.c: Fix parsing of escapesRamsay Jones1-0/+12
2013-05-11fix SIGFPE caused by signed division overflowXi Wang1-0/+29
2013-04-26Allow forced attribute in function argumentv0.4.5-rc1Christopher Li1-0/+18
2013-04-21Support #pragma onceJosh Triplett1-0/+5
2013-04-19Test case for -Winit-cstring optionMasatake YAMATO1-0/+11
2013-02-21Clean up some test case error.Christopher Li2-2/+10
2013-02-21sparse patch v2: add noclone as an ignored attributeRandy Dunlap1-0/+9
2013-02-19sparse: add built-in byte swap identifiersKim Phillips1-0/+9
2013-02-13Merge git://git.kernel.org/pub/scm/linux/kernel/git/viro/sparse into margeChristopher Li8-12/+127
generated by cgit 1.2.3-korg (git 2.43.0) at 2025-11-03 15:50:18 +0000