aboutsummaryrefslogtreecommitdiffstats
path: root/validation
AgeCommit message (Expand)AuthorFilesLines
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
2007-08-30Add test case for -WtypesignJosh Triplett1-0/+61
2007-08-02Add another test case to validation/comma.cJosh Triplett1-0/+6
2007-07-29Add test case for comparing null pointer constant to int.Josh Triplett1-0/+11
2007-07-29Remove explicit restatements of defaults in metadata for comma testJosh Triplett1-4/+0
2007-07-29[PATCH] ...,array should degenerateAl Viro1-0/+10
2007-07-29Remove explicit restatements of defaults in metadata for outer-scope testJosh Triplett1-3/+0
2007-07-29[PATCH] file and global scopes are the same for purposes of struct redefiningAl Viro1-0/+19
2007-07-29Remove explicit restatements of defaults in metadata for member_of_typeof testJosh Triplett1-4/+0
2007-07-28[PATCH] handling of typeof in evaluate_member_dereference()Al Viro1-0/+14
2007-07-27Make "Initializer entry defined twice" a warning, not an errorJosh Triplett1-2/+2
2007-07-27validation/builtin_safe1.c: Show the unsafe macro argumentJosh Triplett1-1/+1
2007-07-27Add test-suite metadata to label-attr.cJosh Triplett1-0/+3
2007-07-22Add test-suite metadata to old-initializer.c; also test with -Wno-initializerJosh Triplett2-0/+16
2007-07-22Add test-suite metadata to calling-convention-attributes.cJosh Triplett1-0/+3
2007-07-22Add test-suite metadata to escapes.cJosh Triplett1-0/+3
2007-07-22Add test-suite metadata to context.cJosh Triplett1-0/+20
2007-07-22Add test-suite metadata to initializer-entry-defined-twice.cJosh Triplett1-0/+10
2007-07-22Add test-suite metadata to bad-ternary-cond.c, and remove now-redundant commentJosh Triplett1-3/+8
2007-07-22Add test-suite metadata to bad-cast.cJosh Triplett1-0/+9
2007-07-22Fix test-suite to handle stdout and stderr separately, and fix up testsJosh Triplett10-62/+47
2007-07-14[PATCH] saner show_type()Al Viro1-1/+1
2007-07-10fix handling of pointers in ?:Al Viro1-0/+23
2007-07-08Add test-suite comment to bad-array-designated-initializer.cJosh Triplett1-0/+13
2007-07-08Remove "check-exit-value: 0" and rely on default; remove extra blank line.Josh Triplett16-25/+0
2007-07-08Add test-suite comment to label-asm.cJosh Triplett1-0/+6
2007-07-08Rename asm-volatile to better describe what it testsJosh Triplett1-0/+0
2007-07-08Add test-suite comment to address_space.cJosh Triplett1-0/+12
2007-07-08Add test-suite comment to preprocessor21.Josh Triplett1-0/+14
2007-07-08Make preprocessor-loop a normal numbered preprocessor testJosh Triplett1-0/+0
2007-07-08Add test-suite comments to all the obvious preprocessor testsJosh Triplett8-34/+103
2007-07-08validation: Update comments for current Sparse behavior and test-suite.Josh Triplett3-41/+4
2007-07-08Move test-suite output files to validation/.gitignoreJosh Triplett1-0/+4
2007-07-08Sample test-suite test casesDamien Lespiau6-0/+68
2007-07-08test-suite: a tiny test automation scriptDamien Lespiau1-0/+252
2007-06-28Move all the preprocessor tests into validation/preprocessor/Josh Triplett22-0/+0
2007-06-27Fix warnings about undeclared globals, they are irrelevant to the testPavel Roskin1-2/+2
2007-06-27Avoid use of libc headers in the validation suitePavel Roskin3-4/+4
2007-06-26validation/non-pointer-null.c: Make global static to avoid extraneous warning.Josh Triplett1-1/+1
2007-06-26validation/escapes.c: Make globals static to avoid extraneous warnings.Josh Triplett1-3/+3
2007-06-26validation/restricted-typeof.c: Make globals static to avoid extraneous warni...Josh Triplett1-3/+3
2007-06-26validation/old-initializer.c: Make the_s static to avoid extraneous warning.Josh Triplett1-1/+1
2007-06-09'\?' is a valid escape character defined by ANSI C. Its value is '?'.Michael Stefaniuc1-0/+3
2007-06-03Add test case for infinite loop in free_preprocessor_line()Josh Triplett1-0/+2
2007-05-26fix interaction of typeof with bitwise typesAl Viro1-0/+4
2007-05-22Add -Wno-non-pointer-null to turn off warning about using a plain integer as ...Josh Triplett1-0/+1
2007-05-22Expand calling convention test case to cover fastcallJosh Triplett1-6/+22
2007-05-22Add test for typedef on pointer to function with stdcall attribute.Michael Stefaniuc1-0/+3
2007-05-22Add test case for -Wno-old-initializerJosh Triplett1-0/+5
2007-05-15Add test case for stdcall and cdecl attributes.Josh Triplett1-0/+4
2007-05-01Parse asm after a label as a statement, not an attributeJosh Triplett1-0/+2
2007-05-01Add test case for __asm__ __volatile__(...)Josh Triplett1-0/+6
2007-04-20handle label attributesChristopher Li1-0/+6
2007-04-16Add test case for basic address_space annotations.Josh Triplett1-0/+8
generated by cgit 1.2.3-korg (git 2.39.0) at 2024-05-20 22:45:47 +0000