aboutsummaryrefslogtreecommitdiffstatshomepage
AgeCommit message (Expand)AuthorFilesLines
2012-06-08sparse, llvm: Add _Bool to cast validation testPekka Enberg1-0/+3
2012-05-19I have updated the sparse.1 man page including the __bitwiseShakthi Kannan2-1/+58
2012-05-10simplify: conservative handling of casts with pointersJan Pokorný1-0/+6
2012-05-04unssa: track use of newly added pseudoJan Pokorný1-1/+1
2012-03-23Adding default for m64/m32 handleChristopher Li1-2/+41
2012-03-23Add __builtin_stpcpy, __sync_synchronize, __sync_bool_compare_and_swap to dec...Frederic Crozat1-0/+3
2012-02-04sparse, llvm: Fix varargs functionsBenjamin Herrenschmidt1-2/+2
2012-02-04sparse, llvm: Make function declaration accessible to backendLinus Torvalds2-0/+9
2012-01-18sparse: Add 'leaf' to ignored attributes.Ethan Jackson2-0/+4
2012-01-02Merge branch 'sparse-llvm' of git://github.com/penberg/sparse-llvm.gitChristopher Li18-1/+1734
2011-12-21Revert "sparse: Bump up sizeof(_Bool) to 8 bits"Pekka Enberg2-2/+6
2011-12-21sparse, llvm: Add test case for <stdbool.h> typePekka Enberg1-0/+9
2011-12-21sparse, llvm: Use LLVMInt1Type() in sym_basetype_type()Pekka Enberg1-0/+3
2011-11-25sparse, llvm: Don't fail the build if LLVM is too oldPekka Enberg1-3/+10
2011-11-23Merge pull request #6 from jgarzik/hacksPekka Enberg1-0/+21
2011-11-23sparse, llvm: add loop testcaseJeff Garzik1-0/+21
2011-11-23sparse, llvm: Fix loops, by properly handling OP_PHI forward referencesJeff Garzik1-7/+77
2011-11-22sparse, llvm: FP comparison op code generationPekka Enberg2-2/+57
2011-11-22sparse, llvm: Simplify comparison op code generationPekka Enberg1-33/+23
2011-11-22sparse, llvm: More comparison ops code generationPekka Enberg2-4/+24
2011-11-22sparse, llvm: OP_SET_B and OP_SET_A code generationPekka Enberg2-2/+12
2011-11-22sparse, llvm: Pointer cast code generationPekka Enberg2-1/+28
2011-11-21sparse, llvm: Make llc output to stdout in sparsecPekka Enberg1-1/+1
2011-11-21sparse, llvm: Fix 'extern' symbol code generationPekka Enberg1-1/+2
2011-11-21sparse, llvm: Fix symbol initializer code generationPekka Enberg1-2/+4
2011-11-21sparse 0.4.4v0.4.4Christopher Li1-1/+1
2011-11-21recognize binary constantsDan Carpenter1-1/+8
2011-11-21Add test case for binary constantsChristopher Li1-0/+7
2011-11-19sparse, llvm: Function pointer code generationPekka Enberg2-2/+63
2011-11-19sparse, llvm: Make 'sparsec' error handling more robustPekka Enberg1-1/+8
2011-10-28sparse, llvm: Add support for union typesPekka Enberg2-0/+32
2011-10-25sparse, llvm: Add support for array typesPekka Enberg2-0/+23
2011-10-25sparse, llvm: Fix symbol_type() for bitfields and enumsPekka Enberg1-0/+2
2011-10-24sparse, llvm: Fix struct code generationPekka Enberg2-23/+28
2011-10-24sparse, llvm: Use new LLVM type system API for structsPekka Enberg1-2/+13
2011-10-24sparse, llvm: Fix 'void *' pointer code generationPekka Enberg1-3/+1
2011-09-28sparse, llvm: Add support for logical opsPekka Enberg2-6/+19
2011-09-28sparse: Bump up sizeof(_Bool) to 8 bitsPekka Enberg2-6/+2
2011-09-09sparse, llvm: Add support for symbol initializersPekka Enberg2-2/+12
2011-09-07sparse, llvm: Add support for struct typesPekka Enberg2-2/+70
2011-08-31sparse, llvm: Fix code generation for 'long double' data typePekka Enberg1-0/+3
2011-08-30Merge pull request #4 from jgarzik/hacksPekka Enberg1-14/+70
2011-08-31sparse, llvm: support OP_STOREJeff Garzik1-1/+31
2011-08-30sparse, llvm: move OP_COPY support to separate function. Add FP support.Jeff Garzik1-12/+30
2011-08-30sparse, llvm: store module-local functions on function reference listJeff Garzik1-1/+9
2011-08-30llvm, sparse: Fix symbol_is_fp_type() goofPekka Enberg1-1/+2
2011-08-30Merge branch 'master' of github.com:penberg/sparse-llvmPekka Enberg1-7/+27
2011-08-30Merge pull request #3 from jgarzik/hacksPekka Enberg1-7/+27
2011-08-30sparse, llvm: Fix pseudo_type() for PSEUDO_ARGPekka Enberg1-4/+4
2011-08-30sparse, llvm: create helper for obtaining instruction's typeJeff Garzik1-7/+27
2011-08-30sparse, llvm: Fix code generation for castsPekka Enberg2-6/+57
2011-08-30Revert "sparse, llvm: Don't redefine module local functions"Pekka Enberg1-5/+0
2011-08-30sparse, llvm: Don't redefine module local functionsPekka Enberg1-0/+5
2011-08-30sparse, llvm: Fix PSEUDO_OP code generationPekka Enberg1-21/+21
2011-08-30sparse, llvm: Improve sparsec front-endPekka Enberg1-8/+21
2011-08-29sparse, llvm: Fix OP_CAST to use zero-extendPekka Enberg1-1/+1
2011-08-29sparse, llvm: Cleanup output_data()Pekka Enberg1-3/+5
2011-08-29sparse, llvm: Code generation for string constantsPekka Enberg2-6/+61
2011-08-29sparse, llvm: Warn the user when we fall back to GCCPekka Enberg1-0/+1
2011-08-29Sparse 0.4.4-rc2v0.4.4-rc2Christopher Li1-1/+1
2011-08-28Limit usage of g++ to llvm related programs.Christopher Li1-2/+3
2011-08-28Merge pull request #2 from jgarzik/hacksPekka Enberg1-12/+20
2011-08-28sparse, llvm: move OP_CAST code to separate func. support FP casts.Jeff Garzik1-12/+20
2011-08-27Make 'linearize_return()' helper functionLinus Torvalds1-22/+26
2011-08-27Make 'linearize_switch()' helper functionLinus Torvalds1-61/+65
2011-08-27Make 'linearize_iterator()' helper functionLinus Torvalds1-40/+45
2011-08-28cse: update PHI users when throwing away an instructionKamil Dudka1-0/+13
2011-08-28cse: treat PHI-nodes as other instructionsKamil Dudka1-7/+0
2011-08-27cse: update PHI users when throwing away an instructionKamil Dudka1-0/+13
2011-08-27cse: treat PHI-nodes as other instructionsKamil Dudka1-7/+0
2011-08-27Merge pull request #1 from jgarzik/hacksPekka Enberg1-46/+197
2011-08-27sparse, llvm: move OP_PHI code from switch statement to separate functionJeff Garzik1-31/+35
2011-08-27sparse, llvm: implement OP_CALLJeff Garzik1-1/+157
2011-08-27sparse, llvm: replace FIXME comment with assert(), following existing styleJeff Garzik1-2/+2
2011-08-27sparse-llvm OP_PHISOURCE: replace copy with target=src pointer operationJeff Garzik1-12/+3
2011-08-27sparse, llvm: Kill debugging codePekka Enberg1-4/+0
2011-08-27sparse, llvm: Kill ifdef'd unssa() callPekka Enberg1-4/+0
2011-08-27sparse, llvm: Bitwise not operator codegenPekka Enberg2-1/+24
2011-08-27sparse, llvm: Reorganize code generation testsPekka Enberg5-186/+198
2011-08-27sparse, llvm: Floating point support for binopsPekka Enberg2-24/+110
2011-08-27sparse-llvm: OP_LOADJeff Garzik1-1/+29
2011-08-27sparse-llvm: OP_SWITCHJeff Garzik1-5/+47
2011-08-27sparse-llvm: OP_SELJeff Garzik1-1/+14
2011-08-27sparse, llvm: if-else code generationJeff Garzik2-12/+87
2011-08-25sparse: Fix __builtin_safe_p for pure and const functionsPekka Enberg5-6/+10
2011-08-25sparse, llvm: Implement OP_CASTPekka Enberg2-4/+13
2011-08-25sparse, llvm: Move binop tests to validation/backendPekka Enberg2-141/+146
2011-08-25sparse, llvm: Implement some binary comparison opsPekka Enberg2-4/+50
2011-08-25sparse, llvm: Add support for more binary opsPekka Enberg2-13/+136
2011-08-25sparse, llvm: Implement OP_ADDPekka Enberg2-22/+70
2011-08-25sparse, llvm: Add output_op_binary() stubPekka Enberg1-0/+91
2011-08-25sparse, llvm: Introduce 'struct function' to clean up codePekka Enberg1-18/+23
2011-08-25sparse, llvm: Add support for OP_RET/PSEUDO_ARGPekka Enberg1-10/+15
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-23Fix parsing empty asm clobberChristopher Li2-2/+3
2011-08-23Add test case for empty asm clobbersChristopher Li1-0/+28
2011-08-23Ignore the ms_hook_prologue attribute.Michael Stefaniuc1-0/+2
2011-08-23sparse, llvm: OP_RET/PSEUDO_VAL code generationPekka Enberg1-20/+39
2011-08-23sparse, llvm: Add switch statement to output_insn()Pekka Enberg1-8/+62
2011-08-23llvm, sparse: Separate entry and exit basic blocksPekka Enberg1-6/+14
2011-08-23sparse, llvm: Fix 'sparsec' when it's not in PATHPekka Enberg2-2/+2
2011-08-23sparse, llvm: Fix global variable initializationPekka Enberg1-2/+11
2011-08-23sparse, llvm: Fix assert() in sparse codePekka Enberg1-1/+1
2011-08-23sparse, llvm: Initial commitPekka Enberg4-1/+234
2011-08-20fix common misspellings with codespellJonathan Neuschäfer4-4/+4
2011-08-20FAQ: fix a typo ("because or")Jonathan Neuschäfer1-1/+1
2011-08-20Sparse 0.4.4-rc1v0.4.4-rc1Christopher Li1-1/+1
2011-08-14Fix inlining switch statement.Christopher Li1-0/+1
2011-08-14validation: inline switch statementChristopher Li1-0/+25
2011-08-12inspect: Add switch statement and moreChristopher Li3-6/+21
2011-08-10fix a memory leak in compile-i386.cJonathan Neuschäfer1-1/+0
2011-06-28sparse: Add 'artifical' to ignore attributesPekka Enberg2-0/+3
2011-05-31Remove set but not used variableChristopher Li6-22/+6
2011-05-31Ignore attribute vector_sizeChristopher Li2-0/+8
2011-05-07evaluate: Allow sizeof(_Bool) to succeed.Ben Pfaff3-0/+24
2011-04-26parse.c: "if(" -> "if (" adjustmentJan Pokorný1-3/+3
2011-04-26use ARRAY_SIZE() when possible (continued)Jan Pokorný4-5/+5
2011-04-25Allow overwrite CFLAGS from command lineChristopher Li1-6/+7
2011-04-19Teach 'already_tokenized()' to use the stream name hash tableLinus Torvalds1-3/+5
2011-04-19Add new streams to a hash-list based on their namesLinus Torvalds2-2/+26
2011-04-18Fix build with GCC 4.6 series.Diego Elio Pettenò1-4/+0
2011-04-18build: add an all-installable target that builds the targets to install.Diego Elio Pettenò1-1/+3
2011-04-18build: allow easy override of GCC_BASEDiego Elio Pettenò1-1/+2
2011-04-13flow.c: make comment for `dominates' reflect codeJan Pokorný1-2/+2
2011-04-13remove unused "container" macroJan Pokorný1-3/+0
2011-03-11Makefile: warn user when libxml and/or libgtk2 are not availableFlorian Fainelli1-0/+4
2011-01-03Update the validation check for escape sequencesNamhyung Kim1-2/+17
2011-01-03Fix tokenizer for octal escape sequencesNamhyung Kim1-1/+1
2011-01-03use ARRAY_SIZE() when possibleNamhyung Kim3-8/+8
2011-01-03memops.c: always true expressionNicolas Kaiser1-1/+1
2010-11-08inspect: adding function arugument listChristopher Li1-0/+1
2010-09-02sparse 0.4.3 finialv0.4.3Christopher Li1-1/+1
2010-10-08parser: add Blackfin gcc infoMike Frysinger2-0/+15
2010-09-15Fixup and cleanup modifier_string() function.Christopher Li1-19/+45
2010-09-01add test-inspect to .gitignoreDan Carpenter1-0/+1
2010-09-01Fix a typo - "typdef" is neither C nor plain EnglishBernd Petrovitsch1-1/+1
2010-07-22inspect: cast expressionChristopher Li1-1/+19
2010-07-19skip may_alias and declare builtin_fabsMorten Welinder2-0/+3
2010-07-13inspect: add some expression inspectionChristopher2-1/+81
2010-07-13inspect: Add test-inspect programChristopher Li2-3/+57
2010-07-13inspect: add some example inspect for symbol and statementChristopher Li2-0/+127
2010-07-13inspect: add custom ast treeview modelChristopher Li4-0/+611
2010-07-13parser: define __builtin_unreachableJiri Slaby1-0/+1
2010-07-13Add test case for builtin_unreachable()Christopher1-0/+15
2010-07-13parser: fix and simplify support of asm gotoJiri Slaby1-1/+2
2010-06-17parser: add support for asm gotoJiri Slaby3-0/+32
2010-06-17Adding asm goto label test caseChristopher Li1-0/+22
2010-06-17Ignore the may_alias GCC attributeDamien Lespiau1-0/+2
2010-06-17Parsing wide char stringChristopher Li5-15/+28
2010-04-08Allow parsing L'\0'Christopher Li5-5/+15
2010-03-29evaluate: check for NULL type inside typeofChristopher1-1/+3
2010-03-28Pointer don't inherent the alignment from base typeChristopher Li1-0/+1
2010-03-28possible fix to cgcc issue in sparse 0.4.2:Joel Soete1-1/+1
2010-03-28Ignore "naked" attributeMichael Buesch1-0/+2
2010-03-28ignore attributes "externally_visible" and "signal"Michael Buesch1-0/+4
2010-03-28Adding test case for "x && y && z" .Christopher Li1-0/+17
2010-03-28Fix incorrect linearization of "x && y && z"Daniel De Graaf1-1/+3
2010-03-28Makefile: fix permissions mixup on installDan McGee1-7/+12
2010-03-28New attribute designated_init: mark a struct as requiring designated initJosh Triplett8-2/+250
2010-03-28Rename -Wall to Wsparse-all, so it doesn't get turned on unintentionallyJosh Triplett4-17/+8
2010-03-28Handle __builtin_ms_va_list.Michael Stefaniuc2-0/+3
2010-03-28Simplify Makefile using static pattern rulesChristopher Li1-8/+3
2010-03-28Ignore the alloc_size attribute.Michael Stefaniuc1-0/+2
2010-03-28Ignore the ms_abi/sysv_abi attributes.Michael Stefaniuc1-0/+4
2010-03-28Declare ignored attributres into a list of string.Christopher Li2-71/+86
2010-03-28Move noreturn attribute out of ignore attr areaChristopher Li1-2/+2
2009-10-16Make MOD_NORETURN fits into 32 bitChristopher Li1-1/+1
2009-10-16do not ignore attribute 'noreturn'...Kamil Dudka2-3/+5
2009-10-11Sparse 0.4.2v0.4.2Christopher Li1-2/+2
2009-08-21sparse: Add GCC pre-defined macros for user-spacev0.4.2-rc1Pekka Enberg2-0/+11
2009-08-11make sparse headers self-compilable...Kamil Dudka5-0/+14
2009-08-11show_token: handle TOKEN_UNTAINT and TOKEN_ARG_COUNT typesReinhard Tartler1-2/+11
2009-08-02unssa: track uses when replacing a phi nodeKamil Dudka3-1/+4
2009-08-01Define __LP64__ for x86_64 unless in 32 bit modeBlue Swirl1-1/+1
2009-08-01Add support for TImode type (__int128_t)Blue Swirl10-13/+51
2009-07-29linearize.h: sanitize headerKamil Dudka2-4/+4
2009-08-03Add c{l,t}z{,l,ll}, ffsl{,l}, popcountll and floating point comparison builtins.Blue Swirl1-3/+22
2009-08-03Ignore attribute __bounded__, used by OpenBSD headers.Blue Swirl1-0/+2
2009-07-27test-suite: integrate unhandled proprocessor testsHannes Eder9-0/+142
2009-07-22compile-i386: do not generate an infinite loopKamil Dudka1-4/+4
2009-07-20Makefile: suppress error message from pkg-configRamsay Jones1-1/+1
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 Li4-6/+40
2009-07-18Add validation for restrict and attribute warningChristopher Li2-0/+20
2009-07-18Avoid "attribute 'warning': unknown attribute" warningLinus Torvalds1-0/+2
2009-07-18Turn off '-Wtransparent-union' by defaultLinus Torvalds1-1/+1
2009-07-18Allow array declarators to have 'restrict' in themLinus Torvalds2-0/+3
2009-07-18Have Makefile import local.mk if it exists.Samuel Bronson2-2/+12
2009-07-18Support the __thread storage classAlberto Bertogli2-4/+33
2009-07-18Print an error if typeof() lacks an argumentMartin Nagy2-1/+19
2009-07-18Add missing checks for Waddress-spaceMartin Nagy2-5/+5
2009-07-18.gitignore: Ignore dependencies and Vim swap filesMartin Nagy1-0/+2
2009-07-18warn directive in argument listAl Viro1-2/+26
2009-07-18Segfault at evaluate.c:341Al Viro1-0/+1
2009-07-18Sanitize pointer()Al Viro1-15/+5
2009-07-18Don't mix storage class bits with ctype->modifiers while parsing typeAl Viro5-43/+86
2009-07-18Simplify get_number_value() and ctype_integer()Al Viro3-32/+23
2009-07-18Fix __label__ handlingAl Viro5-32/+40
2009-07-18Fix declaration_specifiers() handling of typedef name shadowed by NS_SYMBOLAl Viro3-3/+16