aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
AgeCommit message (Expand)AuthorFilesLines
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-27fix expansion of integers to floatsLuc Van Oostenryck2-0/+392
2017-03-27fix cast to pointer to floating-pointLuc Van Oostenryck1-0/+13
2017-03-27do not depends on limits.h to test __CHAR_BIT__Luc Van Oostenryck2-7/+16
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
2013-02-12L ## 'a' is valid; so's L ## "a"Al Viro1-0/+15
2013-02-12switch to delayed handling of escape sequencesAl Viro2-9/+37
2013-02-12massage handling of wide string literals/character constants in tokenizerAl Viro1-0/+9
2013-02-12Gentler handling of bitwise warnings in unary operationsAl Viro1-2/+4
2012-10-11Merge branch 'llvm/core' of github.com:penberg/sparse-llvmChristopher Li4-0/+66
2012-10-10sparse, llvm: Fix type of loaded valuesJonathan Neuschäfer1-0/+12
2012-08-19sparse, llvm: convert the condition of branch/select to boolJonathan Neuschäfer1-0/+30
2012-08-19sparse, llvm: Fix 'void' return type code generationPekka Enberg1-0/+13
2012-08-05sparse, llvm: Fix SIGSEGV for extern symbolsPekka Enberg1-0/+11
2012-06-21Merge branch 'for-chris' of git://github.com/penberg/sparse-llvmChristopher Li1-0/+3
2012-06-08sparse, llvm: Add _Bool to cast validation testPekka Enberg1-0/+3
2012-06-04check missing or duplicate goto labelsXi Wang1-0/+29
2012-04-13Fix ,##__VA_ARGS__ kludgeAl Viro2-1/+47
2012-04-13Fix handling of __func__Al Viro1-0/+15
2012-01-02Merge branch 'sparse-llvm' of git://github.com/penberg/sparse-llvm.gitChristopher Li13-0/+413
2011-12-21Revert "sparse: Bump up sizeof(_Bool) to 8 bits"Pekka Enberg1-1/+5
2011-12-21sparse, llvm: Add test case for <stdbool.h> typePekka Enberg1-0/+9
2011-11-23sparse, llvm: add loop testcaseJeff Garzik1-0/+21
2011-11-22sparse, llvm: FP comparison op code generationPekka Enberg1-0/+30
2011-11-22sparse, llvm: More comparison ops code generationPekka Enberg1-0/+20
2011-11-22sparse, llvm: OP_SET_B and OP_SET_A code generationPekka Enberg1-0/+10
2011-11-22sparse, llvm: Pointer cast code generationPekka Enberg1-0/+9
2011-11-21Add test case for binary constantsChristopher Li1-0/+7
2011-11-19sparse, llvm: Function pointer code generationPekka Enberg1-0/+11
2011-10-28sparse, llvm: Add support for union typesPekka Enberg1-0/+12
2011-10-25sparse, llvm: Add support for array typesPekka Enberg1-0/+6
2011-10-24sparse, llvm: Fix struct code generationPekka Enberg1-0/+1
2011-09-28sparse, llvm: Add support for logical opsPekka Enberg1-2/+0
2011-09-28sparse: Bump up sizeof(_Bool) to 8 bitsPekka Enberg1-5/+1
2011-09-09sparse, llvm: Add support for symbol initializersPekka Enberg1-0/+1
2011-09-07sparse, llvm: Add support for struct typesPekka Enberg1-0/+17
2011-08-30sparse, llvm: Fix code generation for castsPekka Enberg1-0/+47
2011-08-29sparse, llvm: Code generation for string constantsPekka Enberg1-0/+13
2011-08-27sparse, llvm: Bitwise not operator codegenPekka Enberg1-0/+10
2011-08-27sparse, llvm: Reorganize code generation testsPekka Enberg5-186/+198
2011-08-27sparse, llvm: Floating point support for binopsPekka Enberg1-0/+40
2011-08-25sparse: Fix __builtin_safe_p for pure and const functionsPekka Enberg1-1/+0
2011-08-25sparse, llvm: Implement OP_CASTPekka Enberg1-1/+1
2011-08-25sparse, llvm: Move binop tests to validation/backendPekka Enberg1-0/+146
2011-08-24Show expected vs. actual output on test failurePekka Enberg1-0/+1
2011-08-24sparse: Enable unhandled validation testsPekka Enberg13-0/+99
2011-08-23Add test case for empty asm clobbersChristopher Li1-0/+28
2011-08-20fix common misspellings with codespellJonathan Neuschäfer1-1/+1
2011-08-14validation: inline switch statementChristopher Li1-0/+25
2011-05-31Ignore attribute vector_sizeChristopher Li1-0/+7
2011-05-07evaluate: Allow sizeof(_Bool) to succeed.Ben Pfaff1-0/+12
2011-01-03Update the validation check for escape sequencesNamhyung Kim1-2/+17
2010-07-13Add test case for builtin_unreachable()Christopher1-0/+15
2010-06-17Adding asm goto label test caseChristopher Li1-0/+22
2010-03-28Adding test case for "x && y && z" .Christopher Li1-0/+17
2010-03-28New attribute designated_init: mark a struct as requiring designated initJosh Triplett1-0/+195
2010-03-28Rename -Wall to Wsparse-all, so it doesn't get turned on unintentionallyJosh Triplett1-1/+1
2009-07-27test-suite: integrate unhandled proprocessor testsHannes Eder9-0/+142
2009-07-19test-suite: be more verbose on 'unhandled' and 'known to fail' testsHannes Eder1-1/+5
2009-07-19move extern inline function to file scopeChristopher Li1-0/+23
2009-07-18Add validation for restrict and attribute warningChristopher Li2-0/+20
2009-07-18Print an error if typeof() lacks an argumentMartin Nagy1-0/+14
2009-07-18Fix __label__ handlingAl Viro1-0/+12
2009-07-18Fix declaration_specifiers() handling of typedef name shadowed by NS_SYMBOLAl Viro1-0/+12
2009-07-18Fix enumeration constants' scope beginningAl Viro1-0/+11
2009-07-18Restore __attribute__((mode)) handlingAl Viro1-0/+1
2009-07-17Rewrite and fix specifiers handlingAl Viro2-0/+253
generated by cgit 1.2.3-korg (git 2.43.0) at 2026-03-01 18:51:53 +0000