| 2012-03-23 |
Frederic Crozat | Add __builtin_stpcpy, __sync_synchronize, __sync_bool_compar...
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2012-01-19 |
Ethan Jackson | sparse: Add 'leaf' to ignored attributes.
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2012-01-02 |
Christopher Li | Merge branch 'sparse-llvm' of git://github.com/penberg...
|
commit | commitdiff | tree |
| 2011-11-21 |
Christopher Li | sparse 0.4.4
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-11-21 |
Dan Carpenter | recognize binary constants
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-11-21 |
Christopher Li | Add test case for binary constants
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-08-29 |
Christopher Li | Sparse 0.4.4-rc2
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-08-28 |
Linus Torvalds | Make 'linearize_return()' helper function
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-08-28 |
Linus Torvalds | Make 'linearize_switch()' helper function
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-08-28 |
Linus Torvalds | Make 'linearize_iterator()' helper function
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-08-28 |
Kamil Dudka | cse: update PHI users when throwing away an instruction
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-08-28 |
Kamil Dudka | cse: treat PHI-nodes as other instructions
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-08-26 |
Pekka Enberg | sparse: Fix __builtin_safe_p for pure and const functions
Cc: Christopher Li <sparse@chrisli.org>
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-08-25 |
Pekka Enberg | Show expected vs. actual output on test failure
Cc: Christopher Li <sparse@chrisli.org>
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-08-24 |
Pekka Enberg | sparse: Enable unhandled validation tests
Cc: Christopher Li <sparse@chrisli.org>
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-08-23 |
Christopher Li | Fix parsing empty asm clobber
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-08-23 |
Christopher Li | Add test case for empty asm clobbers
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-08-23 |
Michael Stefaniuc | Ignore the ms_hook_prologue attribute.
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-08-20 |
Jonathan Neuschäfer | fix common misspellings with codespell
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-08-20 |
Jonathan Neuschäfer | FAQ: fix a typo ("because or")
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-08-20 |
Christopher Li | Sparse 0.4.4-rc1
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-08-14 |
Christopher Li | Fix inlining switch statement.
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-08-14 |
Christopher Li | validation: inline switch statement
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-08-12 |
Christopher Li | inspect: Add switch statement and more
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-08-11 |
Jonathan Neuschäfer | fix a memory leak in compile-i386.c
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-06-29 |
Pekka Enberg | sparse: Add 'artifical' to ignore attributes
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-05-31 |
Christopher Li | Remove set but not used variable
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-05-31 |
Christopher Li | Ignore attribute vector_size
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-05-07 |
Ben Pfaff | evaluate: Allow sizeof(_Bool) to succeed.
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-04-26 |
Jan Pokorný | parse.c: "if(" -> "if (" adjustment
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-04-26 |
Jan Pokorný | use ARRAY_SIZE() when possible (continued)
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-04-26 |
Christopher Li | Allow overwrite CFLAGS from command line
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-04-19 |
Linus Torvalds | Teach 'already_tokenized()' to use the stream name...
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-04-19 |
Linus Torvalds | Add new streams to a hash-list based on their names
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-04-18 |
Diego Elio Pettenò | Fix build with GCC 4.6 series.
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-04-18 |
Diego Elio Pettenò | build: add an all-installable target that builds the...
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-04-18 |
Diego Elio Pettenò | build: allow easy override of GCC_BASE
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-04-13 |
Jan Pokorný | flow.c: make comment for `dominates' reflect code
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-04-13 |
Jan Pokorný | remove unused "container" macro
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-03-11 |
Florian Fainelli | Makefile: warn user when libxml and/or libgtk2 are...
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-01-03 |
Namhyung Kim | Update the validation check for escape sequences
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-01-03 |
Namhyung Kim | Fix tokenizer for octal escape sequences
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-01-03 |
Namhyung Kim | use ARRAY_SIZE() when possible
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2011-01-03 |
Nicolas Kaiser | memops.c: always true expression
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-11-08 |
Christopher Li | inspect: adding function arugument list
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-09-03 |
Christopher Li | sparse 0.4.3 finial
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-10-08 |
Mike Frysinger | parser: add Blackfin gcc info
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-09-15 |
Christopher Li | Fixup and cleanup modifier_string() function.
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-09-01 |
Dan Carpenter | add test-inspect to .gitignore
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-09-01 |
Bernd Petrovitsch | Fix a typo - "typdef" is neither C nor plain English
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-07-22 |
Christopher Li | inspect: cast expression
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-07-19 |
Morten Welinder | skip may_alias and declare builtin_fabs
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-07-13 |
Christopher | inspect: add some expression inspection
Signed-Off-By: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-07-13 |
Christopher Li | inspect: Add test-inspect program
Signed-Off-By: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-07-13 |
Christopher Li | inspect: add some example inspect for symbol and statement
Signed-Off-By: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-07-13 |
Christopher Li | inspect: add custom ast treeview model
Signed-Off-By: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-07-13 |
Jiri Slaby | parser: define __builtin_unreachable
Signed-off-by: Christopher <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-07-13 |
Christopher | Add test case for builtin_unreachable()
Signed-off-by: Christopher <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-07-13 |
Jiri Slaby | parser: fix and simplify support of asm goto
Signed-off-by: Christopher <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-06-18 |
Jiri Slaby | parser: add support for asm goto
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-06-18 |
Christopher Li | Adding asm goto label test case
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-06-18 |
Damien Lespiau | Ignore the may_alias GCC attribute
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-06-18 |
Christopher Li | Parsing wide char string
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-04-08 |
Christopher Li | Allow parsing L'\0'
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-03-29 |
Christopher | evaluate: check for NULL type inside typeof
Signed-off-by: Christopher <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-03-29 |
Christopher Li | Pointer don't inherent the alignment from base type
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-03-29 |
Joel Soete | possible fix to cgcc issue in sparse 0.4.2:
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-03-29 |
Michael Buesch | Ignore "naked" attribute
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-03-29 |
Michael Buesch | ignore attributes "externally_visible" and "signal"
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-03-29 |
Christopher Li | Adding test case for "x && y && z" .
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-03-29 |
Daniel De Graaf | Fix incorrect linearization of "x && y && z"
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-03-29 |
Dan McGee | Makefile: fix permissions mixup on install
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-03-29 |
Josh Triplett | New attribute designated_init: mark a struct as requiring...
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-03-29 |
Josh Triplett | Rename -Wall to Wsparse-all, so it doesn't get turned...
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-03-29 |
Michael Stefaniuc | Handle __builtin_ms_va_list.
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-03-29 |
Christopher Li | Simplify Makefile using static pattern rules
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-03-29 |
Michael Stefaniuc | Ignore the alloc_size attribute.
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-03-29 |
Michael Stefaniuc | Ignore the ms_abi/sysv_abi attributes.
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-03-29 |
Christopher Li | Declare ignored attributres into a list of string.
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2010-03-29 |
Christopher Li | Move noreturn attribute out of ignore attr area
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2009-10-16 |
Christopher Li | Make MOD_NORETURN fits into 32 bit
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2009-10-16 |
Kamil Dudka | do not ignore attribute 'noreturn'...
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2009-10-11 |
Christopher Li | Sparse 0.4.2
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2009-08-21 |
Pekka Enberg | sparse: Add GCC pre-defined macros for user-space
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2009-08-11 |
Kamil Dudka | make sparse headers self-compilable...
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2009-08-11 |
Reinhard Tartler | show_token: handle TOKEN_UNTAINT and TOKEN_ARG_COUNT...
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2009-08-02 |
Kamil Dudka | unssa: track uses when replacing a phi node
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2009-08-02 |
Blue Swirl | Define __LP64__ for x86_64 unless in 32 bit mode
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2009-08-02 |
Blue Swirl | Add support for TImode type (__int128_t)
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2009-07-29 |
Kamil Dudka | linearize.h: sanitize header
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2009-08-03 |
Blue Swirl | Add c{l,t}z{,l,ll}, ffsl{,l}, popcountll and floating...
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2009-08-03 |
Blue Swirl | Ignore attribute __bounded__, used by OpenBSD headers.
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2009-07-27 |
Hannes Eder | test-suite: integrate unhandled proprocessor tests
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2009-07-22 |
Kamil Dudka | compile-i386: do not generate an infinite loop
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2009-07-20 |
Ramsay Jones | Makefile: suppress error message from pkg-config
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2009-07-19 |
Hannes Eder | test-suite: be more verbose on 'unhandled' and 'known...
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2009-07-19 |
Christopher Li | move extern inline function to file scope
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2009-07-18 |
Christopher Li | Add validation for restrict and attribute warning
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2009-07-18 |
Linus Torvalds | Avoid "attribute 'warning': unknown attribute" warning
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
| 2009-07-18 |
Linus Torvalds | Turn off '-Wtransparent-union' by default
Signed-off-by: Christopher Li <sparse@chrisli.org>
|
commit | commitdiff | tree |
