aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
AgeCommit message (Expand)AuthorFilesLines
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
2009-07-17Fix handling of typedefs with several declaratorsAl Viro1-0/+15
2009-07-17Fix regression created by commit af30c6df74f01db10fa78ac0cbdb5c3c40b5c73fAl Viro1-0/+40
2009-07-17Sanitize direct_declarator logicsAl Viro2-11/+11
2009-07-17Apply attributes after ( to the right placeAl Viro1-0/+12
2009-07-17Warn about non-empty identifier list outside of definitionAl Viro1-6/+8
2009-07-17more direct_declarator() sanitizingAl Viro1-0/+40
2009-07-17More nested declarator fixesAl Viro1-0/+16
2009-07-17Separate parsing of identifier-list (in K&R-style declarations)Al Viro1-0/+18
2009-07-17Fix handling of ident-less declarationsAl Viro1-0/+18
2009-07-17fun with declarations and definitionsAl Viro1-0/+11
2009-07-17Fix type_info_expression()Al Viro1-0/+8
2009-07-17fun with declarations and definitionsAl Viro1-0/+12
2009-07-17Update the validation check for ftabstop=Christopher Li15-55/+55
2008-12-25Teach classify_type to handle typeofChristopher Li1-0/+16
2008-12-24Revert the context tracking codeJohannes Berg4-893/+14
2008-12-18Expand "dubious !x & y" handling to other combinations of !, &, and |.Josh Triplett1-2/+17
2008-04-24fix bug in context tracking codeJohannes Berg1-0/+14
2008-04-21Add -Wno-declaration-after-statementGeoff Johnstone4-0/+42
2008-04-21improve -Wcontext code and messagesJohannes Berg4-44/+149
2008-04-21inlined call bugfix & testJohannes Berg1-0/+12
2008-04-21sparse: simple conditional context trackingJohannes Berg1-0/+161
2008-04-21sparse test suite: add test mixing __context__ and __attribute__((context(...)))Johannes Berg1-0/+21
2008-04-21make sparse keep its promise about context trackingJohannes Berg3-14/+580
2008-04-03Add test case for new warning about !x & yJosh Triplett1-0/+9
2008-04-03fix show_typename()Al Viro2-2/+2
2007-11-13Add known-to-fail test case for a static forward declarationJosh Triplett1-0/+10
2007-10-20Add test-suite metadata to validation/local-label.cJosh Triplett1-0/+3
2007-10-20Perform local label lookupChristopher Li1-0/+8
2007-09-15Add test-suite annotations to init-char-array.cJosh Triplett1-0/+3
2007-09-15validation: Update comment in type1.c to reflect current state of SparseJosh Triplett1-6/+5
2007-09-15Add test-suite annotations to function-pointer-modifier-inheritance.cJosh Triplett1-0/+3
2007-09-15Add test-suite annotations to cond_expr.cJosh Triplett1-0/+8
2007-09-15Add test-suite annotations to integer-promotions.cJosh Triplett1-0/+3
2007-09-15validation: Rename typeconvert.c to integer-promotions.c to match its purposeJosh Triplett1-0/+0
2007-09-15Add test-suite annotations to noderef.cJosh Triplett1-0/+9
2007-09-15Add test-suite annotations to struct-ns1.cJosh Triplett1-0/+3
2007-09-15Add test-suite annotations to non-pointer-null.cJosh Triplett1-0/+7
2007-09-15Add test-suite annotations to struct-attribute-placement.cJosh Triplett1-0/+3
2007-09-15Add test-suite annotations to varargs1.cJosh Triplett1-0/+3
2007-09-15Add test-suite annotations to badtype4.cJosh Triplett1-0/+8
2007-09-15Add test-suite annotations to check_byte_count-ice.cJosh Triplett1-0/+8
2007-09-15Add test-suite annotations to double-semicolon.cJosh Triplett1-0/+3
2007-09-15Add test-suite annotations to restricted-typeof.cJosh Triplett1-0/+4
generated by cgit 1.2.3-korg (git 2.43.0) at 2026-03-01 19:18:56 +0000