Linux Sparse
[Prev Page][Next Page]
- Re: [PATCH] vboxsf: fix old signature detection, (continued)
- [PATCH AUTOSEL 4.4 02/10] compiler.h: Introduce absolute_pointer macro, Sasha Levin
- [PATCH AUTOSEL 4.9 03/11] compiler.h: Introduce absolute_pointer macro, Sasha Levin
- [PATCH AUTOSEL 4.14 05/13] compiler.h: Introduce absolute_pointer macro, Sasha Levin
- [PATCH AUTOSEL 4.19 07/15] compiler.h: Introduce absolute_pointer macro, Sasha Levin
- [PATCH AUTOSEL 5.4 11/19] compiler.h: Introduce absolute_pointer macro, Sasha Levin
- [PATCH v2 0/4] Introduce and use absolute_pointer macro,
Guenter Roeck
- [PATCH 0/4] Introduce and use absolute_pointer macro,
Guenter Roeck
- sparse v0.6.4,
Ramsay Jones
- [ANNOUNCE] Sparse v0.6.4,
Luc Van Oostenryck
- [ANNOUNCE] Sparse v0.6.4-rc1, Luc Van Oostenryck
- [PATCH 0/5] small fixes for the symbolic checker,
Luc Van Oostenryck
- [PATCH] fix missing itype in SEL(x, 0/1, 1/0) --> (x ==/!= 0), Luc Van Oostenryck
- check idea: include sparse as a library in C++,
Ke Du
- Re: [tglx-devel:x86/l1dflush 7/9] arch/x86/mm/tlb.c:354:13: sparse: sparse: incorrect type in initializer (different address spaces),
Thomas Gleixner
- check idea: warn when mixing signedness in ?: operator (got bitten by this recently),
Aurélien Aptel
- [PATCH] TRUNC(x) {==,!=} C --> AND(x,M) {==,!=} C, Luc Van Oostenryck
- [PATCH] canonicalize ((x & M) == M) --> ((x & M) != 0) when M is a power-of-2, Luc Van Oostenryck
- [SPARSE 0/4] fix/improve canonicalization of signed compares,
Luc Van Oostenryck
- [PATCH 0/3] remove early simplification of casts during evaluation,
Luc Van Oostenryck
- [PATCH] no needs to use MARK_CURRENT_DELETED() for multi-jumps,
Luc Van Oostenryck
- [PATCH v2 0/8] scheck: add a symbolic checker,
Luc Van Oostenryck
- [PATCH 0/5] kill more dead stores,
Luc Van Oostenryck
- [PATCH] add some notes about pseudos being typeless, Luc Van Oostenryck
- [PATCH] linear: only allocate call instructions when needed, Luc Van Oostenryck
- [PATCH 0/8] scheck: add a symbolic checker for sparse,
Luc Van Oostenryck
- [PATCH] fix null-pointer crash with with ident same as one of the attributes, Luc Van Oostenryck
- [PATCH 0/4] fix 2 problems with phi-sources,
Luc Van Oostenryck
- [PATCH 0/6] memops: small cleanups,
Luc Van Oostenryck
- [PATCH 0/6] use an helper to add an instruction to a BB,
Luc Van Oostenryck
- [PATCH] testsuite: add option '-r' to 'test-suite format', Luc Van Oostenryck
- [PATCH 00/13] remove phi-sources from removed branches,
Luc Van Oostenryck
- [PATCH 03/13] remove insert_branch() redundant arg, Luc Van Oostenryck
- [PATCH 04/13] simplify remove_parent(), Luc Van Oostenryck
- [PATCH 01/13] Revert "simplify CBR-CBR on the same condition", Luc Van Oostenryck
- [PATCH 09/13] rename insert_branch() to convert_to_jump(), Luc Van Oostenryck
- [PATCH 05/13] fold remove_parent() into insert_branch(), Luc Van Oostenryck
- [PATCH 10/13] add remove_phisources(), Luc Van Oostenryck
- [PATCH 11/13] fix phisources during CBR-BR conversion, Luc Van Oostenryck
- [PATCH 06/13] let insert_branch() reuse the terminating instruction, Luc Van Oostenryck
- [PATCH 07/13] move insert_branch() to flow.c, Luc Van Oostenryck
- [PATCH 02/13] add testcases to check if phi-sources from removed targets are removed too, Luc Van Oostenryck
- [PATCH 08/13] let insert_branch() return a status, Luc Van Oostenryck
- [PATCH 12/13] use convert_to_jump() when converting a CBR with same targets, Luc Van Oostenryck
- [PATCH 13/13] fix phisources during SWITCH-BR conversion, Luc Van Oostenryck
- [for-stable-4.19 PATCH v2 0/2] Backport patches to fix KASAN+LKDTM with recent clang on ARM64,
Nicolas Boichat
- [for-stable-4.19 PATCH 0/2] Backport patches to fix KASAN+LKDTM with recent clang on ARM64,
Nicolas Boichat
- [PATCH 0/9] simplify CMP(AND(x,M), C) and CMP(OR(x,M), C),
Luc Van Oostenryck
- [PATCH 3/9] simplify (x & M) cmps C, Luc Van Oostenryck
- [PATCH 4/9] simplify (x & M) cmpu C, Luc Van Oostenryck
- [PATCH 5/9] simplify (x & M) cmps 0, Luc Van Oostenryck
- [PATCH 1/9] change testing of signed compares against SMIN or SMAX, Luc Van Oostenryck
- [PATCH 2/9] add testcases for constant compares against AND/OR, Luc Van Oostenryck
- [PATCH 9/9] simplify (x | M) cmpu C, Luc Van Oostenryck
- [PATCH 8/9] simplify (x | M) cmps C, Luc Van Oostenryck
- [PATCH 6/9] simplify (x & M) {==,!=} C, Luc Van Oostenryck
- [PATCH 7/9] simplify (x | M) {==,!=} C, Luc Van Oostenryck
- [PATCH 0/4] fix SSA conversion of mismatched memops,
Luc Van Oostenryck
- [PATCH] phi-sources can only have a single user (or none),
Luc Van Oostenryck
- [PATCH 0/6] small changes to ptrlist API,
Luc Van Oostenryck
- [PATCH] pre-proc: do some path normalization, Luc Van Oostenryck
- Re: [PATCH 00/11] pragma once: treewide conversion,
Linus Torvalds
[PATCH] asm-out0: fix a test failure on 32-bit systems,
Ramsay Jones
[PATCH] linearize.h: fix some 'selfcheck' warnings,
Ramsay Jones
[PATCH 0/4] small reorganization of OP_SLICE,
Luc Van Oostenryck
[PATCH] fix eval of the assignment of a non-restricted value to a restricted variable, Luc Van Oostenryck
[PATCH 0/5] teach memory simplification about ASM instructions,
Luc Van Oostenryck
[PATCH 0/3] output *memory* operands need their address as *input*,
Luc Van Oostenryck
[PATCH] expand __builtin_object_size(), Luc Van Oostenryck
Re: [PATCH v2 2/4] usb: typec: tps6598x: Add trace event for status register,
Guido Günther
[PATCH] fix add_join_conditional() one of the alternative is VOID, Luc Van Oostenryck
[PATCH] Makefile: add version.h dependency on all objects,
Kyle Russell
[PATCH 00/10] simplify and canonicalize signed compares,
Luc Van Oostenryck
- [PATCH 01/10] cmps: make clearer we're using the operands' size, Luc Van Oostenryck
- [PATCH 03/10] cmpu: fix canonicalization of unsigned (x {<,>=} C) --> (x {<=,>} C-1), Luc Van Oostenryck
- [PATCH 02/10] cmps: fix simplification of sext(x) + signed compare of {SMAX,SMIN}, Luc Van Oostenryck
- [PATCH 04/10] cmps: add testcases for simplification of signed compares, Luc Van Oostenryck
- [PATCH 06/10] cmps: canonicalize signed compares with SMIN/SMAX, Luc Van Oostenryck
- [PATCH 05/10] cmps: simplify signed compares with SMIN or SMAX, Luc Van Oostenryck
- [PATCH 07/10] cmps: canonicalize SMIN/SMAX +- 1 --> EQ/NE, Luc Van Oostenryck
- [PATCH 08/10] cmps: canonicalize signed compares with constant, Luc Van Oostenryck
- [PATCH 10/10] cmps: canonicalize SEL(x > 0, a, -a) --> SEL(x >= 0, a, -a), Luc Van Oostenryck
- [PATCH 09/10] cmps: canonicalize SEL(x {<,<=} y, a, b) --> SEL(x {>=,>} y, b, a), Luc Van Oostenryck
- Re: [PATCH 00/10] simplify and canonicalize signed compares, Linus Torvalds
[PATCH] simplify LSR + SEXT into ASR, Luc Van Oostenryck
[PATCH] fix possible circular definition with can_move_to(), Luc Van Oostenryck
[PATCH v2] handle qualified anonymous structures, Luc Van Oostenryck
'const' unnamed structures,
Linus Torvalds
[PATCH] fix type of canonicalization of sext + unsigned compare, Luc Van Oostenryck
[PATCH 0/2] Fix build errors and warnings when make M=samples/bpf,
Tiezhu Yang
[PATCH] RFC: problems with cast optimization at evaluation time,
Luc Van Oostenryck
[PATCH v3 00/16] support __packed struct,
Luc Van Oostenryck
- [PATCH v3 02/16] add testcases for exotic enum values, Luc Van Oostenryck
- [PATCH v3 01/16] add testcases for dubious enum values, Luc Van Oostenryck
- [PATCH v3 10/16] struct-attr: prepare to handle attributes at the end of struct definitions (1), Luc Van Oostenryck
- [PATCH v3 07/16] apply_ctype: use self-explanatory argument name, Luc Van Oostenryck
- [PATCH v3 08/16] apply_ctype: reverse the order of arguments, Luc Van Oostenryck
- [PATCH v3 09/16] apply_ctype: move up its declaration, Luc Van Oostenryck
- [PATCH v3 11/16] struct-attr: prepare to handle attributes at the end of struct definitions (2), Luc Van Oostenryck
- [PATCH v3 12/16] struct-attr: prepare to handle attributes at the end of struct definitions (3), Luc Van Oostenryck
- [PATCH v3 13/16] struct-attr: fix type attribute like 'struct __attr { ... }', Luc Van Oostenryck
- [PATCH v3 14/16] struct-attr: fix: do not ignore struct/union/enum type attributes, Luc Van Oostenryck
- [PATCH v3 03/16] add testcases for enum attributes, Luc Van Oostenryck
- [PATCH v3 04/16] add testcases for type attributes, Luc Van Oostenryck
- [PATCH v3 05/16] add testcases for packed structures, Luc Van Oostenryck
- [PATCH v3 06/16] add testcases for packed bitfields, Luc Van Oostenryck
- [PATCH v3 15/16] packed: no out-of-bound access of packed bitfields, Luc Van Oostenryck
- [PATCH v3 16/16] packed: add support for __packed struct, Luc Van Oostenryck
- Re: [PATCH v3 00/16] support __packed struct, Ramsay Jones
[PATCH] ptrlist: avoid mixing reverse and non-reverse macros, Luc Van Oostenryck
[PATCH] shrink struct BB, Luc Van Oostenryck
[PATCH 0/2] fix rem_usage(),
Luc Van Oostenryck
[PATCH 00/16] support __packed struct,
Luc Van Oostenryck
- [PATCH v2 03/16] add testcases for enum attributes, Luc Van Oostenryck
- [PATCH v2 01/16] add testcases for dubious enum values, Luc Van Oostenryck
- [PATCH v2 04/16] add testcases for type attributes, Luc Van Oostenryck
- [PATCH v2 02/16] add testcases for exotic enum values, Luc Van Oostenryck
- [PATCH v2 05/16] add testcases for packed structures, Luc Van Oostenryck
- [PATCH v2 06/16] add testcases for packed bitfields, Luc Van Oostenryck
- [PATCH v2 07/16] apply_ctype: use self-explanatory argument name, Luc Van Oostenryck
- [PATCH v2 08/16] apply_ctype: reverse the order of arguments, Luc Van Oostenryck
- [PATCH v2 09/16] apply_ctype: move up its declaration, Luc Van Oostenryck
- [PATCH v2 13/16] struct-attr: fix type attribute like 'struct __attr { ... }', Luc Van Oostenryck
- [PATCH v2 14/16] struct-attr: fix: do not ignore struct/union/enum type attributes, Luc Van Oostenryck
- [PATCH v2 15/16] packed: no out-of-bound access of packed bitfields, Luc Van Oostenryck
- [PATCH v2 10/16] struct-attr: prepare to handle attributes at the end of struct definitions (1), Luc Van Oostenryck
- [PATCH v2 11/16] struct-attr: prepare to handle attributes at the end of struct definitions (2), Luc Van Oostenryck
- [PATCH v2 12/16] struct-attr: prepare to handle attributes at the end of struct definitions (3), Luc Van Oostenryck
- [PATCH v2 16/16] packed: add support for __packed struct, Luc Van Oostenryck
- Re: [PATCH 00/16] support __packed struct, Ramsay Jones
- Re: [PATCH 00/16] support __packed struct, Jacob Keller
Re: Patch "[PATCH 1/2] Revert "md: change mddev 'chunk_sectors' from int to" has been added to the 5.10-stable tree,
Linus Torvalds
sparse attribute packed on structures,
Jacob Keller
[PATCH] testsuite: fix parsing of tags used in the testcases,
Luc Van Oostenryck
[PATCH] move check_access() to late_warnings(), Luc Van Oostenryck
sparse annotation for error types?,
Jakub Kicinski
[RFC PATCH 0/2] cse: place common expressions in the Lowest Common Dominator,
Luc Van Oostenryck
[PATCH] experimental: code sinking,
Luc Van Oostenryck
[PATCH] fix killing OP_ASM, Luc Van Oostenryck
[PATCH 0/5] use replace_with_pseudo() for simplify_memops(),
Luc Van Oostenryck
[PATCH] fix wrong killing of stores partially dominated by a load, Luc Van Oostenryck
[PATCH] memops: kill dead loads before phi-node conversion, Luc Van Oostenryck
[PATCH 0/8] factorization of distributive operations,
Luc Van Oostenryck
- [PATCH 1/8] add testscases for some factorization of distributive operations, Luc Van Oostenryck
- [PATCH 2/8] reassoc: add helper can_move_to(), Luc Van Oostenryck
- [PATCH 3/8] add helper make_insn_pair() & swap_insn(), Luc Van Oostenryck
- [PATCH 4/8] add helper replace_binop(), Luc Van Oostenryck
- [PATCH 5/8] refactor simplify_add() to avoid code duplication (preparation), Luc Van Oostenryck
- [PATCH 6/8] refactor simplify_add() to avoid code duplication, Luc Van Oostenryck
- [PATCH 7/8] factorize (x OP1 z) OP2 (y OP1 z) into (x OP2 y) OP1 z, Luc Van Oostenryck
- [PATCH 8/8] factorize SHIFT(x, s) OP SHIFT(y, s) into SHIFT((x OP y), s), Luc Van Oostenryck
[PATCH] fix trivial_phi(), Luc Van Oostenryck
[PATCH] symaddr: give a type to OP_SYMADDR, Luc Van Oostenryck
[PATCH 0/7] simplify logical negation,
Luc Van Oostenryck
- [PATCH 5/7] opcode: add helpers opcode_negate() & opcode_swap(), Luc Van Oostenryck
- [PATCH 6/7] not: simplify (~x {&,|,^} x) --> {0,~0,~0}, Luc Van Oostenryck
- [PATCH 7/7] not: simplify ((x cmp y) {&,|,^} (x !cmp y)) --> {0,1,1}, Luc Van Oostenryck
- [PATCH 1/7] not: add testcases for canonicalization & simplification of negations, Luc Van Oostenryck
- Re: [PATCH 1/7] not: add testcases for canonicalization & simplification of negations, Linus Torvalds
- Re: [PATCH 1/7] not: add testcases for canonicalization & simplification of negations, Luc Van Oostenryck
- Re: [PATCH 1/7] not: add testcases for canonicalization & simplification of negations, Linus Torvalds
- Re: [PATCH 1/7] not: add testcases for canonicalization & simplification of negations, Luc Van Oostenryck
- Re: [PATCH 1/7] not: add testcases for canonicalization & simplification of negations, Luc Van Oostenryck
- [PATCH 0/6] 'bits translation' simplification, Luc Van Oostenryck
- [PATCH 1/6] add testscases for 'bits translation' optimization, Luc Van Oostenryck
- [PATCH 7/7] move up instructions blocking if-conversion, Luc Van Oostenryck
- [PATCH 5/6] add log base 2 function: log2_exact(), Luc Van Oostenryck
- [PATCH 6/6] convert SEL(x & BIT1, BIT2, 0) into SHIFT(x & BIT1, S), Luc Van Oostenryck
- [PATCH 4/6] add helper is_pow2(), Luc Van Oostenryck
- [PATCH 3/6] add helper is_power_of_2(), Luc Van Oostenryck
- [PATCH 2/6] factorize SEL(x, OP(y,z), y) into OP(SEL(x, z, 0), y), Luc Van Oostenryck
- Re: [PATCH 0/6] 'bits translation' simplification, Linus Torvalds
- [PATCH 3/7] canon: put PSEUDO_REGs in canonical order too, Luc Van Oostenryck
- [PATCH 2/7] canon: put PSEUDO_ARGs in canonical order too, Luc Van Oostenryck
- [PATCH 4/7] canon: simplify calculation of canonical order, Luc Van Oostenryck
[PATCH 0/2] cleanup REPEAT_SYMBOL_CLEANUP & kill_insn(),
Luc Van Oostenryck
[PATCH 0/4] simplification of computed goto,
Luc Van Oostenryck
[PATCH] fix kill_insn(OP_SETVAL), Luc Van Oostenryck
[PATCH] simplify unrestricted postop, Luc Van Oostenryck
[PATCH 0/5] fix qualifier dropping,
Luc Van Oostenryck
Re: Re: typeof and operands in named address spaces,
Linus Torvalds
[PATCH net-next v2] net: add annotation for sock_{lock,unlock}_fast,
Paolo Abeni
[PATCH] linearize: remove unneeded forward declarations, Luc Van Oostenryck
[PATCH 0/2] simplify CBR-CBR on the same condition,
Luc Van Oostenryck
[PATCH 0/8] cfg: early CFG simplification,
Luc Van Oostenryck
[PATCH net-next] net: add annotation for sock_{lock,unlock}_fast,
Paolo Abeni
[PATCH 0/4] doc: one patch and three improvements,
Luc Van Oostenryck
[PATCH] add missing REPEAT_CFG_CLEANUP, Luc Van Oostenryck
[PATCH] simplify OP_COMPUTEDGOTO with known target, Luc Van Oostenryck
[PATCH] doc: Sphinx's option ':noindex:' have been rename into ':noindexentry:', Luc Van Oostenryck
[PATCH] doc: add some doc about using NULL or VOID in ptrlists, Luc Van Oostenryck
[PATCH 0/2] adjust phi-sources when merging BBs,
Luc Van Oostenryck
[PATCH] linearize: fix a couple of 'selfcheck' warnings,
Ramsay Jones
[PATCH] fix linear_isdigit()'s itype, Luc Van Oostenryck
'context imbalance' warnings,
Luc Van Oostenryck
[PATCH 00/16] simplify & canonicalize compares,
Luc Van Oostenryck
- [PATCH 01/16] cmp: adapt testcase for compares' canonicalization, Luc Van Oostenryck
- [PATCH 02/16] cmp: add testcases for the simplification of compares, Luc Van Oostenryck
- [PATCH 03/16] cmp: add signed/unsigned to opcode table, Luc Van Oostenryck
- [PATCH 04/16] cmp: move some code in a separate function: simplify_compare_constant(), Luc Van Oostenryck
- [PATCH 05/16] cmp: use a few helpers for the simplification of compares, Luc Van Oostenryck
- [PATCH 06/16] cmp: canonicalize unsigned (x {<,>=} C) --> (x {<=,>} C-1), Luc Van Oostenryck
- [PATCH 08/16] cmp: canonicalize unsigned compare with UMAX or UMAX-1, Luc Van Oostenryck
- [PATCH 07/16] cmp: simplify unsigned (x {<=,>} UMAX) into {1,0}, Luc Van Oostenryck
- [PATCH 09/16] cmp: canonicalize unsigned (x {<=,>} SMAX), Luc Van Oostenryck
- [PATCH 10/16] cmp: simplify sext(x) cmp C --> x cmp C, Luc Van Oostenryck
[PATCH] simplify SEL(x == y, x, y) and friends, Luc Van Oostenryck
[PATCH] add debug helpers: show_insn_bb() & show_insn_entry(), Luc Van Oostenryck
[PATCH] do not call simplify_instruction() if already removed, Luc Van Oostenryck
[PATCH 0/5] simplify SEL(SEL, ...), ...),
Luc Van Oostenryck
- [PATCH 1/5] select: add some testcases for select simplification, Luc Van Oostenryck
- [PATCH 2/5] select: simplify SEL(SEL(x, C, 0), y, z) --> SEL(x, y, z) and its dual, Luc Van Oostenryck
- [PATCH 3/5] select: simplify SEL(SEL(x, C, 0), C, 0) --> SEL(x, C, 0) == cond, Luc Van Oostenryck
- [PATCH 4/5] select: simplify SEL(SEL(x, C1, C2), y, z) --> y (with C1, C2 != 0), Luc Van Oostenryck
- [PATCH 5/5] select: simplify handling of constant cond or src1 == src2, Luc Van Oostenryck
- Re: [PATCH 0/5] simplify SEL(SEL, ...), ...), Linus Torvalds
"warning: context imbalance" in kernel/bpf/hashtab.c,
Song Liu
[PATCH 0/2] testsuite: add new tags: check-output-{match,returns},
Luc Van Oostenryck
[PATCH] linearize __builtin_isdigit(), Luc Van Oostenryck
[PATCH] fix usage count in linearize_fma(), Luc Van Oostenryck
[PATCH] fix init_linearized_builtins(), Luc Van Oostenryck
[PATCH 0/2] give an explicit type to operands of comparisons,
Luc Van Oostenryck
Sparse improvements & regressions for Linux v5.9-rc1 -> v5.10-rc1, Luc Van Oostenryck
[PATCH] handle more graciously labels with no statement,
Luc Van Oostenryck
[PATCH] warn on all missing parameter types, Luc Van Oostenryck
[PATCH] replace nbr_users() by multi_users(), Luc Van Oostenryck
[PATCH] add testcase for missing inline definition, Luc Van Oostenryck
[PATCH 0/2] fix testing if a OP_CALL's function is pure,
Luc Van Oostenryck
[PATCH] kill dead instructions before any other simplifications, Luc Van Oostenryck
[PATCH] OP_CALL should use the full function type, Luc Van Oostenryck
[PATCH] linearize: OP_INLINE do not use the function symbol, Luc Van Oostenryck
[PATCH 0/9] basic unop simplifications,
Luc Van Oostenryck
[PATCH] cleanup linearize_cond_branch(), Luc Van Oostenryck
[PATCH 0/2] simplify and canonicalize unsigned compares,
Luc Van Oostenryck
[PATCH] llvm: fix crash with llvm-11 / use real phi-nodes, Luc Van Oostenryck
[PATCH 00/22] essential OP_ADD & OP_SUB simplifications,
Luc Van Oostenryck
- [PATCH 01/22] add testcases about OP_ADD & OP_SUB simplifications, Luc Van Oostenryck
- [PATCH 02/22] let switch_pseudo() return REPEAT_CSE, Luc Van Oostenryck
- [PATCH 03/22] extract eval_op() from eval_insn(), Luc Van Oostenryck
- [PATCH 05/22] unop: add helper replace_with_unop(), Luc Van Oostenryck
- [PATCH 04/22] unop: add helper eval_unop(), Luc Van Oostenryck
- [PATCH 06/22] add a flag to identify commutative & associative ops, Luc Van Oostenryck
- [PATCH 07/22] constants must be truncated to the operation's size, Luc Van Oostenryck
- [PATCH 08/22] reassoc: simplify (x # C) # K --> x # eval(C # K), Luc Van Oostenryck
- [PATCH 09/22] sub: reorganize handling of OP_{ADD,SUB}s with constant rightside, Luc Van Oostenryck
- [PATCH 11/22] sub: simplify C - (y + D) --> eval(C-D) - y, Luc Van Oostenryck
- [PATCH 10/22] sub: canonicalize (0 - x) into -x, Luc Van Oostenryck
- [PATCH 13/22] sub: simplify (C - y) + D --> eval(C+D) - y, Luc Van Oostenryck
- [PATCH 15/22] add: simplify (x + -y) --> (x - y), Luc Van Oostenryck
- [PATCH 14/22] sub: simplify (x - -y) --> (x + y), Luc Van Oostenryck
- [PATCH 12/22] sub: simplify C - (D - z) --> z + eval(C-D), Luc Van Oostenryck
- [PATCH 16/22] add: simplify (-x + y) --> (y - x), Luc Van Oostenryck
- [PATCH 17/22] sub: simplify (x + y) - x --> y, Luc Van Oostenryck
- [PATCH 18/22] sub: simplify (x + y) - y --> x, Luc Van Oostenryck
- [PATCH 20/22] sub: simplify x - (y + x) --> -y, Luc Van Oostenryck
- [PATCH 19/22] sub: simplify x - (x + y) --> -y, Luc Van Oostenryck
- [PATCH 21/22] sub: simplify (x - y) + y --> x, Luc Van Oostenryck
- [PATCH 22/22] sub: simplify x + (y - x) --> y, Luc Van Oostenryck
[PATCH] memops need long offsets, Luc Van Oostenryck
[PATCH] teach sparse about -funsigned-bitfields, Luc Van Oostenryck
[PATCH v2 00/12] fix and complete the evaluation of atomic builtins,
Luc Van Oostenryck
- [PATCH v2 01/12] builtin: add generic .args method, Luc Van Oostenryck
- [PATCH v2 02/12] builtin: add builtin type for volatile void *, Luc Van Oostenryck
- [PATCH v2 03/12] builtin: make eval_sync_compare_and_swap() more generic, Luc Van Oostenryck
- [PATCH v2 04/12] builtin: evaluate __sync_*_fetch*(), Luc Van Oostenryck
- [PATCH v2 05/12] builtin: fix evaluation of __sync_lock_release, Luc Van Oostenryck
- [PATCH v2 06/12] builtin: __sync_synchronize() too is variadic, Luc Van Oostenryck
- [PATCH v2 07/12] builtin: add predefines for __ATOMIC_RELAXED & friends, Luc Van Oostenryck
- [PATCH v2 08/12] builtin: add support for __atomic_add_fetch(), ..., Luc Van Oostenryck
- [PATCH v2 09/12] builtin: add support for others generic atomic builtins, Luc Van Oostenryck
- [PATCH v2 10/12] builtin: add builtin type: [volatile] pointer to bool, Luc Van Oostenryck
- [PATCH v2 11/12] builtin: add support for __atomic_clear(), Luc Van Oostenryck
- [PATCH v2 12/12] builtin: add support for remaining atomic builtins, Luc Van Oostenryck
[ANNOUNCE] Sparse v0.6.3, Luc Van Oostenryck
[PATCH 00/12] fix and complete the evaluation of atomic builtins,
Luc Van Oostenryck
- [PATCH 01/12] builtin: add generic .args method, Luc Van Oostenryck
- [PATCH 02/12] builtin: add builtin type for volatile void *, Luc Van Oostenryck
- [PATCH 03/12] builtin: make eval_sync_compare_and_swap() more generic, Luc Van Oostenryck
- [PATCH 04/12] builtin: evaluate __sync_*_fetch*(), Luc Van Oostenryck
- [PATCH 05/12] builtin: fix evaluation of __sync_lock_release, Luc Van Oostenryck
- [PATCH 07/12] builtin: add predefines for __ATOMIC_RELAXED & friends, Luc Van Oostenryck
- [PATCH 08/12] builtin: add support for __atomic_add_fetch(), ..., Luc Van Oostenryck
- [PATCH 10/12] builtin: add builtin type: [volatile] pointer to bool, Luc Van Oostenryck
- [PATCH 09/12] builtin: add support for others generic atomic builtins, Luc Van Oostenryck
- [PATCH 06/12] builtin: __sync_synchronize() too is variadic, Luc Van Oostenryck
- [PATCH 11/12] builtin: add support for __atomic_clear(), Luc Van Oostenryck
- [PATCH 12/12] builtin: add support for remaining atomic builtins, Luc Van Oostenryck
[PATCH] warn when taking the address of a built-in function, Luc Van Oostenryck
[PATCH] fix null pointer deref on return expression with invalid type, Luc Van Oostenryck
[PATCH] testsuite: fix location of error messages, Luc Van Oostenryck
[Index of Archives]
[Trinity Fuzzer Tool]
[Linux Kernel]
[Netdev]
[IETF Annouce]
[Security]
[Bugtraq]
