Linux Sparse
[Prev Page][Next Page]
- sparse fails to build against llvm16, Uwe Kleine-König
- [PATCH] compiler.h: unify __UNIQUE_ID, Nick Desaulniers
- Re: [sparse] forgotten patch, Guennadi Liakhovetski
- [PATCH v4 18/21] compiler.h: RFC - s/__LINE__/__COUNTER__/ in __UNIQUE_ID fallback,
Jim Cromie
- [PATCH] parse: add support for the __cleanup__ attribute, Dan Carpenter
- Re: [PATCH] clk: renesas: r8a7778: remove checker warnings: x | !y, Geert Uytterhoeven
- Re: [PATCH] pinctrl: renesas: remove checker warnings: x | !y,
Geert Uytterhoeven
- [PATCH] tracing: make ftrace_likely_update() declaration visible,
Arnd Bergmann
- Sparse infinite loop, Ramon Vallés Puig
- Re: [error27/smatch] sparse-llvm: Update function calls to use LLVM API changes (PR #6), Vladimir Petko
- Sparse on ARM Neon intrinsics, Dan Carpenter
- [Bug 217153] New: [sparse-llvm] Support LLVM 15, bugzilla-daemon
- [PATCH v1] RISC-V: Add basic support for the vector extension,
Conor Dooley
- [sparse PATCH resend] linearize.c: fix buffer overrun warning from fortify, Jeff Layton
- [PATCH] linearize.c: fix potential buffer overrun, Jeff Layton
- Re: [PATCH v8 07/12] landlock: Add network rules support,
Mickaël Salaün
- [PATCH] tools: Rename __fallthrough to fallthrough,
Liam Howlett
- [PATCH] xtensa: switch to little endianness, Guennadi Liakhovetski
- address_space and noderef on non-pointer types,
David Malcolm
- [PATCH v13 0/9] Fixes integer overflow or integer truncation issues in page lookups, ttm place configuration and scatterlist creation,
Gwan-gyeong Mun
- [PATCH v2] overflow: Introduce overflows_type() and castable_to_type(),
Kees Cook
- [PATCH v12 0/9] Fixes integer overflow or integer truncation issues in page lookups, ttm place configuration and scatterlist creation,
Gwan-gyeong Mun
- [PATCH v11.5] overflow: Introduce overflows_type() and __castable_to_type(),
Kees Cook
- handling C99 declarations after a case statement, Dan Carpenter
- [PATCH] RISC-V: Add support fo the zihintpause extension,
Palmer Dabbelt
- [PATCH] RISC-V: Add support for the zicbom extension,
Palmer Dabbelt
- [RFC 0/2] refcount: attempt to avoid imbalance warnings,
Alexander Aring
- sparse warnings related to kref_put_lock() and refcount_dec_and_lock(),
Alexander Aring
- [PATCH 0/6] cleanup related to inlining of variadic functions,
Luc Van Oostenryck
- Re: [PATCH 51/51] fs/zonefs: Fix sparse warnings in tracing code,
Luc Van Oostenryck
- [PATCH] inline: avoid node of node on variadics,
Luc Van Oostenryck
- [PATCH] fix "unreplaced" warnings caused by using typeof() on inline functions,
Luc Van Oostenryck
- [PATCH] allow show_token() on TOKEN_ZERO_IDENT,
Luc Van Oostenryck
- [PATCH] fix crash when inlining casts of erroneous expressions, Luc Van Oostenryck
- [PATCH] cgcc: do not die on '-x assembler', Luc Van Oostenryck
- [PATCH 0/3] improve cast_value(),
Luc Van Oostenryck
- [PATCH] fix one year off in v0.6.4's release notes, Luc Van Oostenryck
- [PATCH] fix infinite loop when expanding __builtin_object_size() with self-init vars, Luc Van Oostenryck
- Re: [linux-next:master] BUILD REGRESSION 736ee37e2e8eed7fe48d0a37ee5a709514d478b3,
Geert Uytterhoeven
- [PATCH] cgcc: add Xtensa support,
Guennadi Liakhovetski
- [PATCH] cgcc: handle -x assembler,
Tom Rix
- [PATCH v1 0/6] RISC-V -march handling improvements,
Palmer Dabbelt
- building Linux for ARMv7 with llvm breaks sparse,
Marc Kleine-Budde
- Re: [PATCH] riscv: fix build with binutils 2.38,
Marc Kleine-Budde
- [PATCH v3 0/2] Add a section for static analysis tools,
Marcelo Schmitt
- [PATCH v2 0/2] Add a section for static analysis tools,
Marcelo Schmitt
- [PATCH] Documentation: dev-tools: Add a section for static analysis tools,
Marcelo Schmitt
- [PATCH v3] x86/bug: __WARN_FLAGS: prevent shadowing by renaming local variable f to __flags, Vincent Mailhol
- [PATCH] sparse: Use offsetof macro to silence null ptr subtraction warning,
Richard Palethorpe
- [PATCH AUTOSEL 5.15 08/33] x86/bug: Merge annotate_reachable() into _BUG_FLAGS() asm, Sasha Levin
- [PATCH AUTOSEL 5.16 08/34] x86/bug: Merge annotate_reachable() into _BUG_FLAGS() asm, Sasha Levin
- [PATCH] x86: bug.h: merge annotate_reachable into _BUG_FLAGS for __WARN_FLAGS,
Nick Desaulniers
- Re: fs/dlm/midcomms.c:913:22: sparse: sparse: restricted __le32 degrades to integer,
Alexander Aring
- [PATCH] objtool: prefer memory clobber & %= to volatile & __COUNTER__,
Nick Desaulniers
- [PATCH] sparse: only warn about directly nested flexible arrays,
Jacob Keller
- array of flexible structures oddity, Keller, Jacob E
- ReleaseNotes for 0.6.4: one year off, Bernhard Voelker
- Linux Test Project vendored Sparse,
Richard Palethorpe
- Re: /bin/bash: line 1: 45878 Segmentation fault sparse -D__linux__ -Dlinux -D__STDC__ -Dunix -D__unix__ -Wbitwise -Wno-return-void -Wno-unknown-attribute -fdiagnostic-prefix -D__CHECK_ENDIAN__ -D__NDS32_EL__ --arch=nds32 -mlittle-endian -m32 -Wp,-MMD,ker...,
Yafang Shao
- __builtin_types_compatible_p() is too accepting,
Dan Carpenter
- [PATCH 0/3] semind: Index more symbols,
Alexey Gladkov
- Re: [tip:sched/core 14/47] /bin/bash: line 1: 21320 Segmentation fault sparse -D__linux__ -Dlinux -D__STDC__ -Dunix -D__unix__ -Wbitwise -Wno-return-void -Wno-unknown-attribute -fdiagnostic-prefix -D__CHECK_ENDIAN__ -D__NDS32_EB__ --arch=nds32 -mbig-endian -m32 -Wp,-MMD,kernel..., Yujie Liu
- [PATCH 0/2] sparse v0.6.4 regression,
Ramsay Jones
- [PATCH 2/2] parse: warn about a 'case label' on empty statement, Ramsay Jones
- [PATCH 1/2] sparse: fix broken 'memcpy-max-count' check, Ramsay Jones
- Re: [PATCH] vboxsf: fix old signature detection,
Dan Carpenter
- [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
[Index of Archives]
[Trinity Fuzzer Tool]
[Linux Kernel]
[Netdev]
[IETF Annouce]
[Security]
[Bugtraq]
