aboutsummaryrefslogtreecommitdiffstatshomepage
AgeCommit message (Expand)AuthorFilesLines
2020-08-01sindex.1: Use ' for a plain quote charmaint-v0.6.2Uwe Kleine-König1-2/+2
2020-08-01fix build on Hurd which doesn't define PATH_MAXLuc Van Oostenryck2-4/+4
2020-08-01generic: fix missing inlining of generic expressionLuc Van Oostenryck2-0/+18
2020-06-23gensel: remove unneeded test/uninitialized warningLuc Van Oostenryck1-3/+1
2020-06-21Sparse v0.6.2v0.6.2Luc Van Oostenryck1-1/+1
2020-06-21doc: update release notesLuc Van Oostenryck1-3/+9
2020-06-21doc: add some info to the main pageLuc Van Oostenryck1-10/+30
2020-06-20doc: switch to the sphinx_rtd themeLuc Van Oostenryck1-1/+8
2020-06-20Merge branch 'fix-gensel'Luc Van Oostenryck3-3/+50
2020-06-20gensel: validate the type of the associationsLuc Van Oostenryck2-0/+24
2020-06-20gensel: controlling expression must be pointer-convertedLuc Van Oostenryck2-2/+3
2020-06-19gensel: controlling expression must be lvalue convertedLuc Van Oostenryck1-1/+4
2020-06-19gensel: use temporary variable in generic selectionLuc Van Oostenryck1-2/+4
2020-06-19gensel: add testcases from DR481Luc Van Oostenryck1-0/+17
2020-06-18Sparse v0.6.2-rc2v0.6.2-rc2Luc Van Oostenryck1-1/+1
2020-06-18Merge branch 'genmacro'Luc Van Oostenryck5-61/+151
2020-06-18pre-process: make __has_{attribute,builtin}() true builtin macrosLuc Van Oostenryck3-56/+32
2020-06-18pre-process: add support for __has_feature() & __has_extension()Luc Van Oostenryck3-1/+58
2020-06-18ir-validate: remove orphan commentsgarritfra1-7/+0
2020-06-18Merge branch 'misc'Luc Van Oostenryck4-16/+16
2020-06-18pre-process: add support for builtin macrosLuc Van Oostenryck2-0/+36
2020-06-18pre-process: rename 'expander' into 'expand_simple'Luc Van Oostenryck2-5/+5
2020-06-18pre-process: add testcases for __has_feature() & __has_extension()Luc Van Oostenryck1-0/+21
2020-06-16testsuite: be less paranoid with timeoutLuc Van Oostenryck1-1/+1
2020-06-16build: let the C++ compiler be configurableLuc Van Oostenryck1-1/+2
2020-06-16Merge branch 'sindex-build'Luc Van Oostenryck1-0/+7
2020-06-16doc: reformulate an item in the TODOLuc Van Oostenryck1-2/+2
2020-06-16doc: fix markup in types.rst (s/```/``/)Luc Van Oostenryck1-9/+9
2020-06-16doc: fix some typosLuc Van Oostenryck1-2/+2
2020-06-16doc: update TODOLuc Van Oostenryck1-1/+0
2020-06-16doc: copy the old relnotes hereLuc Van Oostenryck15-0/+2731
2020-06-16doc: add intro stolen from the wikiLuc Van Oostenryck1-0/+37
2020-06-15doc: minimal version for Sphinx is 1.7Luc Van Oostenryck1-1/+1
2020-06-16doc: fix code-block formatting in v0.6.2 relnotesLuc Van Oostenryck1-1/+1
2020-06-14attribute: parse but ignore enum attributesLuc Van Oostenryck1-0/+4
2020-06-14doc: reindent the sublists in the relnotesLuc Van Oostenryck1-69/+67
2020-06-14doc: correct some spellingRamsay Jones2-11/+11
2020-06-14sindex: use -stdc=gnu99Luc Van Oostenryck1-0/+1
2020-06-14sindex: minimal version for sqlite3 is 3.24Luc Van Oostenryck1-0/+6
2020-06-13Sparse v0.6.2-rc1v0.6.2-rc1Luc Van Oostenryck1-1/+1
2020-06-13doc: show the ToC in the sidebarLuc Van Oostenryck1-6/+1
2020-06-13doc: add release notes for incoming v0.6.2Luc Van Oostenryck3-0/+115
2020-06-12doc: add link to the doc on kernel.org in the man pageLuc Van Oostenryck1-0/+4
2020-06-12doc: move meta-doc to its own sectionLuc Van Oostenryck1-1/+7
2020-06-12doc: add some doc for the type systemLuc Van Oostenryck2-0/+166
2020-06-12ctype: keep modifiers & base_type closeLuc Van Oostenryck1-1/+1
2020-06-12Merge branch 'builtins'Luc Van Oostenryck12-245/+320
2020-06-12testsuite: plain chars are never compatible with [un]signed charsLuc Van Oostenryck1-0/+19
2020-06-12arch: add specificities for AlphaLuc Van Oostenryck6-9/+37
2020-06-12arch: add specificities for BlackfinLuc Van Oostenryck6-5/+31
2020-06-12arch: add specificities for Nios2Luc Van Oostenryck6-5/+36
2020-06-12builtin: add support for arch-specific builtinsLuc Van Oostenryck2-0/+8
2020-06-12builtin: unify the 2 tables of builtinsLuc Van Oostenryck2-95/+50
2020-06-12builtin: use a table for the builtinsLuc Van Oostenryck4-200/+227
2020-06-12builtin: can be initialized laterLuc Van Oostenryck2-1/+1
2020-06-09nios2: add declaration for __builtin_{rd,wr}ctl()Luc Van Oostenryck1-0/+5
2020-06-09generic: fix crash when nothing matchLuc Van Oostenryck2-2/+29
2020-06-06pre-process: remove unneeded declaration of show_token_sequence()Luc Van Oostenryck1-2/+0
2020-06-06pre-process: fix a compiler array subscript type warningRamsay Jones1-1/+1
2020-06-03univ-init: set default to -Wno-universal-initializerLuc Van Oostenryck2-5/+7
2020-06-03univ-init: scalar initializer needs some additional checksLuc Van Oostenryck5-7/+49
2020-05-30evaluate: mark evaluate_generic_selection() as staticRamsay Jones1-1/+1
2020-05-28add support for _GenericLuc Van Oostenryck8-0/+336
2020-05-27testsuite: add testcase for duplicated local definitionsLuc Van Oostenryck1-0/+28
2020-05-27add an option to suppress warning 'no newline at EOF'Luc Van Oostenryck4-1/+11
2020-05-21Merge branch 'univ'Luc Van Oostenryck7-0/+50
2020-05-21Merge branch 'bad-goto'Luc Van Oostenryck31-63/+617
2020-05-21univ-init: conditionally accept { 0 } without warningsLuc Van Oostenryck6-0/+43
2020-05-21Merge branch 'fun-attr'Luc Van Oostenryck7-55/+55
2020-05-21Merge branch 'doc-update'Luc Van Oostenryck3-28/+28
2020-05-21bad-label: respect attribute((unused))Luc Van Oostenryck4-1/+19
2020-05-21bad-label: mark labels as used when neededLuc Van Oostenryck3-6/+8
2020-05-21bad-label: check for unused labelsLuc Van Oostenryck2-1/+8
2020-05-21bad-goto: check declaration of label expressionsLuc Van Oostenryck3-2/+1
2020-05-21bad-goto: extract check_label_declaration()Luc Van Oostenryck1-6/+16
2020-05-21bad-goto: label expression inside a statement expression is UBLuc Van Oostenryck1-0/+1
2020-05-21bad-goto: jumping inside a statement expression is an errorLuc Van Oostenryck8-10/+27
2020-05-21scope: give a scope for labels & gotosLuc Van Oostenryck3-1/+12
2020-05-21scope: add is_in_scope()Luc Van Oostenryck2-0/+11
2020-05-21scope: let labels have their own scopeLuc Van Oostenryck3-2/+21
2020-05-21scope: s/{start,end}_symbol_scope/{start,end}_block_scope/Luc Van Oostenryck3-10/+10
2020-05-21scope: __label__ is specialLuc Van Oostenryck1-2/+1
2020-05-21scope: __func__ is specialLuc Van Oostenryck1-3/+2
2020-05-21scope: extract bind_symbol_with_scope() from bind_symbol()Luc Van Oostenryck2-4/+10
2020-05-21scope: move scope opening/ending inside compound_statement()Luc Van Oostenryck2-9/+6
2020-05-21scope: no memset() needed after __alloc_scope()Luc Van Oostenryck1-2/+0
2020-05-21bad-goto: catch labels with reserved namesLuc Van Oostenryck2-1/+2
2020-05-21bad-goto: do not linearize function with undeclared labelsLuc Van Oostenryck1-0/+1
2020-05-21bad-goto: simplify testing of undeclared labelsLuc Van Oostenryck1-1/+2
2020-05-21bad-goto: reorg test in evaluate_goto_statement()Luc Van Oostenryck1-3/+7
2020-05-21bad-goto: do not linearize if the IR will be invalidLuc Van Oostenryck2-1/+2
2020-05-21bad-goto: reorganize testcases and add some moreLuc Van Oostenryck18-13/+332
2020-05-21bad-goto: add testcases for linearization of invalid labelsLuc Van Oostenryck1-0/+19
2020-05-21bad-goto: add testcase for 'jump inside discarded expression statement'Luc Van Oostenryck2-0/+57
2020-05-21misc: always use the node for current_fnLuc Van Oostenryck2-3/+3
2020-05-21misc: s/fntype/rettype/Luc Van Oostenryck1-5/+6
2020-05-21misc: fix testcase typeof-safeLuc Van Oostenryck1-7/+20
2020-05-19testsuite: add a few testcases for nested functionsLuc Van Oostenryck1-0/+43
2020-05-19attribute: 'externally_visible' is just another 'declaration' modifierLuc Van Oostenryck4-18/+3
2020-05-19attribute: 'inline' is just another 'declaration' modifierLuc Van Oostenryck2-4/+4
2020-05-19attribute: '__tls' is just another 'declaration' modifierLuc Van Oostenryck2-5/+5
2020-05-18univ-init: add helper match_token_zero()Luc Van Oostenryck1-0/+7
2020-05-17attribute: teach sparse about attribute((gnu_inline))Luc Van Oostenryck3-4/+7
2020-05-17attribute: separate modifiers into type/declarationLuc Van Oostenryck2-6/+11
2020-05-17attribute: add support for unusedLuc Van Oostenryck3-3/+6
2020-05-17attribute: allow some attribute to be present multiple timesLuc Van Oostenryck2-1/+3
2020-05-17attribute: add helper apply_mod() and use itLuc Van Oostenryck1-7/+9
2020-05-17attribute: sort the table of modifier namesLuc Van Oostenryck3-17/+17
2020-05-15misc: fix typo: s/OS_UNIX/OS_NATIVE/Luc Van Oostenryck1-1/+1
2020-05-15doc: remove done item from the TODOLuc Van Oostenryck1-6/+0
2020-05-15doc: fix the warnings when building the docLuc Van Oostenryck2-17/+23
2020-05-15doc: do not use obsolete sphinx.ext.autodoc.AutodocReporterLuc Van Oostenryck1-5/+5
2020-05-14show-parse: null pointer dereference in do_show_type()Davidson Francis1-1/+1
2020-05-14build: fix LLVM version detectionQuentin Monnet1-1/+2
2020-04-13Merge branch 'fix-atomic-type'Luc Van Oostenryck3-25/+41
2020-04-11do not use expr->left for conditionalsLuc Van Oostenryck1-1/+1
2020-03-24add support for GCC's __auto_typeLuc Van Oostenryck5-0/+159
2020-03-20Merge branch 'unreach'Luc Van Oostenryck9-9/+135
2020-03-20teach sparse to linearize __builtin_unreachable()Luc Van Oostenryck4-3/+7
2020-03-20add support for linearization of builtinsLuc Van Oostenryck3-1/+40
2020-03-20add an implicit __builtin_unreachable() for __noreturnLuc Van Oostenryck2-1/+10
2020-03-20add instruction OP_UNREACHLuc Van Oostenryck3-0/+7
2020-03-20add testcases for OP_UNREACHLuc Van Oostenryck4-7/+74
2020-03-18sindex: Add option to search by locationAlexey Gladkov2-2/+80
2020-03-16cpp: fix redefinition of a macro during its own expansionLuc Van Oostenryck2-1/+22
2020-03-15cpp: remove extra newlines during macro expansionLuc Van Oostenryck4-9/+17
2020-03-15cpp: silently allow conditional directives within a macroLuc Van Oostenryck3-4/+55
2020-03-15make "directive in macro's argument list" a warningOleg Nesterov2-5/+5
2020-03-15teach sparse about -pedantic/-WpedanticLuc Van Oostenryck2-0/+15
2020-03-11Add semantic index utilityAlexey Gladkov4-1/+1249
2020-03-02dissect: enforce toplevel() if SYM_STRUCT was not definedOleg Nesterov1-0/+3
2020-02-20dissect: fix sym_is_local(SYM_STRUCT/UNION/ENUM)Oleg Nesterov2-3/+4
2020-02-20struct_union_enum_specifier: always initialize sym->scopeOleg Nesterov3-0/+7
2020-02-13dissect: kill no_member()Oleg Nesterov1-15/+14
2020-02-13dissect: don't set ->ident = '?' in no_member()Oleg Nesterov2-6/+7
2020-02-13dissect: use show_ident() to print dctx->identOleg Nesterov1-6/+3
2020-02-13dissect: move __sparse() callsite from test-dissect.c to dissect.cOleg Nesterov3-12/+6
2020-02-13dissect: introduce sym_is_local() for reporterOleg Nesterov3-5/+20
2020-02-10dissect: enforce sym->kind='f' when it looks like a function callOleg Nesterov2-2/+4
2020-02-10dissect: set sym->kind for reporterOleg Nesterov2-9/+44
2020-02-09do the tree inlining during expansion phaseLuc Van Oostenryck4-22/+19
2020-02-09inline: add some testsLuc Van Oostenryck4-0/+108
2020-02-07dissect: kill return_typeOleg Nesterov1-5/+4
2020-02-07dissect: change do_symbol(SYM_FN) to check base_type->stmt != NULLOleg Nesterov1-3/+14
2020-02-07dissect: introduce dissect_ctxOleg Nesterov3-15/+25
2020-02-06fix type compatibility of _AtomicLuc Van Oostenryck3-25/+41
2020-02-06dissect: introduce reporter->r_memdef()Oleg Nesterov3-1/+18
2020-02-06dissect: disallow NULL pointers in struct reporterOleg Nesterov1-17/+7
2020-02-06dissect: change deanon() to handle the !node caseOleg Nesterov1-1/+3
2020-02-06dissect: turn mk_name() into deanon()Oleg Nesterov1-10/+14
2020-02-06dissect: don't report anonymous members in initializersOleg Nesterov2-6/+5
2020-01-29domtree: domtree_build() creates extraneous bb->doms entriesXan Phung1-0/+4
2020-01-23predefine "i386" if neededJohn Levon1-0/+1
2020-01-22correct sparcv9 definesToomas Soome2-1/+2
2020-01-22pre-define __unix__ and friendsJohn Levon1-0/+6
2020-01-22add necessary defined for sunos-derived systemsJohn Levon1-0/+7
2020-01-22define __PRAGMA_REDEFINE_EXTNAMEJohn Levon1-0/+2
2020-01-22allow to easily test if the OS is UNIX-likeLuc Van Oostenryck1-2/+2
2020-01-22detect OS_UNIX as native OSLuc Van Oostenryck1-0/+3
2020-01-22detect native OS on OpenBSD & NetBSDLuc Van Oostenryck1-0/+4
2020-01-22detect native OS in alphabetical orderLuc Van Oostenryck1-6/+6
2020-01-22fix typo when detecting SunOSLuc Van Oostenryck1-1/+1
2020-01-22add predefine_nostd()Luc Van Oostenryck2-0/+9
2020-01-21Merge branch 'arch-spec'Luc Van Oostenryck18-373/+673
2020-01-16show_parse: avoid null pointer dereference in do_show_type()Oleg Nesterov1-3/+3
2019-12-30ptrlist: fix typosLuc Van Oostenryck1-3/+3
2019-12-17Merge branch 'msg-wrong-redecl' into nextLuc Van Oostenryck5-18/+65
2019-12-17Merge branch 'eval-typeof' into nextLuc Van Oostenryck2-24/+27
2019-12-17Merge branch 'expand-init' (early part) into nextLuc Van Oostenryck18-22/+355
2019-12-17Merge branch 'top-level-init' into nextLuc Van Oostenryck1-2/+8
2019-12-17fix testcase with non-constant initializerLuc Van Oostenryck1-2/+8
2019-12-16arch: arch_mach is not needed anymoreLuc Van Oostenryck3-4/+0
2019-12-16arch: use arch_target for INT128's predefineLuc Van Oostenryck9-9/+9
2019-12-16arch: move cmodel predefines to the target files.Luc Van Oostenryck4-50/+21
2019-12-16arch: move target-specific predefines to the target files.Luc Van Oostenryck11-85/+169
2019-12-16arch: use an arch-specific default for -msize-longLuc Van Oostenryck3-1/+3
2019-12-16arch: move handle_arch_finalize() into target_init()Luc Van Oostenryck5-34/+32
2019-12-16arch: move parsing of --arch=<ARCH> to target.cLuc Van Oostenryck3-46/+58
2019-12-16arch: move arch-specificities to their own filesLuc Van Oostenryck16-167/+401
2019-12-16cgcc: rename 'ppc64+{be,le}' to 'ppc64{be,le}'Luc Van Oostenryck1-5/+5
2019-12-16cgcc: add support for riscv32Luc Van Oostenryck1-0/+3
2019-12-15improve diagnostic message about wrong redeclarationLuc Van Oostenryck5-18/+65
2019-12-15typeof: avoid using is_bitfield_type()Luc Van Oostenryck1-2/+2
2019-12-15typeof: extract examine_typeof() from examine_symbol_type()Luc Van Oostenryck1-20/+21
2019-12-15typeof: do not let classify_type() do its own SYM_TYPEOF expansionLuc Van Oostenryck1-4/+2
2019-12-15testcase: remove trailing ';' in commandsLuc Van Oostenryck2-2/+2
2019-12-15mark strings as examined & evaluatedLuc Van Oostenryck1-0/+4
2019-12-10fix cost of dereference of symbols with complex typeLuc Van Oostenryck2-6/+5
2019-12-10fix simplify_loads() when doing type punningLuc Van Oostenryck3-2/+11
2019-12-10fix expansion of initializer (default)Luc Van Oostenryck2-3/+63
2019-12-10fix expansion of initializer (mismatching type)Luc Van Oostenryck3-2/+4
2019-12-10fix expansion of initializer (mismatching size)Luc Van Oostenryck2-5/+4
2019-12-10degenerated arrays & functions are addressable tooLuc Van Oostenryck3-1/+16
2019-12-10fix addressability marking in evaluate_addressof()Luc Van Oostenryck2-1/+2
2019-12-10extract mark_addressable() from evaluate_addressof().Luc Van Oostenryck1-4/+9
2019-12-10add test for constant expansion of complex initializerLuc Van Oostenryck3-0/+53
2019-12-10add test for dereference cost of symbol with complex typeLuc Van Oostenryck1-0/+21
2019-12-10add test for union castLuc Van Oostenryck1-0/+27
2019-12-10add testcase for addressability of 'complex' symbolsLuc Van Oostenryck1-0/+24
2019-12-10add testcase for addressability of degenerated symbolLuc Van Oostenryck1-0/+18