Linux Sparse
[Prev Page][Next Page]
- [PATCH] cgcc: check sparse options fmax-errors and fmax-warnings, Dmitrii Golovanov
- Feature request: typeof_unqual keyword support, Uros Bizjak
- [PATCH] string: Check for "nonstring" attribute on strscpy() arguments,
Kees Cook
- [PATCH 5.15.y 0/8] Backport patches for DAMON merge regions fix,
SeongJae Park
- Spurious warning about using kzalloc instead of kmalloc,
Richard Fitzgerald
- [PATCH] compiler.h: Improve __branch_check__ by using __UNIQUE_ID(),
Chun-Hung Tseng
- [PATCH] sentinel_ctltable: Add a check for sentinel elements in ctl_table arrays,
Joel Granados via B4 Relay
- sparse with llvm, Nuno Sá
- [ Patch 001 ] feature: add support for loongarch,
wuruilong
- [PATCH] compiler.h: Add missing quote in macro comment, Thorsten Blum
- Re: warning: cast removes address space '__percpu' of expression,
Charlemagne Lasse
- [patch 0/9] x86: Cure tons of sparse warnings (mostly __percpu),
Thomas Gleixner
- [patch 1/9] perf/x86/amd/uncore: Fix __percpu annotation, Thomas Gleixner
- [patch 2/9] x86/msr: Prepare for including percpu.h, Thomas Gleixner
- [patch 3/9] x86/msr: Add missing __percpu annotations, Thomas Gleixner
- [patch 4/9] smp: Consolidate smp_prepare_boot_cpu(), Thomas Gleixner
- [patch 5/9] x86: Cure per CPU madness on UP, Thomas Gleixner
- [patch 6/9] x86/uaccess: Add missing __force to casts in __access_ok() and valid_user_address(), Thomas Gleixner
- [patch 7/9] x86/cpu: Use EXPORT_PER_CPU_SYMBOL_GPL() for x86_spec_ctrl_current, Thomas Gleixner
- [patch 8/9] x86/cpu: Provide a declaration for itlb_multihit_kvm_mitigation, Thomas Gleixner
- [patch 9/9] x86/callthunks: Use EXPORT_PER_CPU_SYMBOL_GPL() for per CPU variables, Thomas Gleixner
- Re: [patch 0/9] x86: Cure tons of sparse warnings (mostly __percpu), Ingo Molnar
- Re: arch/x86/include/asm/processor.h:698:16: sparse: sparse: incorrect type in initializer (different address spaces),
Thomas Gleixner
- Rust style ownership semantics for C, Derek M Jones
- [PATCH] fix {pp-number} ## ..., Alexey Dobriyan
- Re: [PATCH 0/5] Support LLVM-15 and later, Luc Van Oostenryck
- [PATCH] llvm: allow arm64, lucvoo
- Compile errors with LLVM v17,
Dan Carpenter
- Re: include/asm-generic/unaligned.h:119:16: sparse: sparse: cast truncates bits from constant value (aa01a0 becomes a0),
Dmitry Torokhov
- Re: Infinite loop in delete_pseudo_user_list_entry() bisected to commit "cast: optimize away casts to/from pointers",
Herbert, Marc
- sparse regex error,
Ramsay Jones
- [PATCH v2] parse: handle __cleanup__ attribute,
Dan Carpenter
- Re: drivers/pci/pcie/../pci.h:325:17: sparse: sparse: cast from restricted pci_channel_state_t,
Lukas Wunner
- sparse: Expected ) at end of cast operator, got __seg_gs,
Uros Bizjak
- PSA: this list has moved to new vger infra (no action required), Konstantin Ryabitsev
- sparse feature request: nocast integer types,
Christoph Hellwig
- Re: sparse feature request: nocast integer types, Dan Carpenter
[PATCH v1 00/14] DCE/DSE: Add Dead Syscalls Elimination support, part2,
Yuan Tan
- [PATCH v1 01/14] DCE/DSE: allow keep unique bounded sections, Yuan Tan
- [PATCH v1 02/14] compiler: add a global __QUITE_UNIQUE_ID(), Yuan Tan
- [PATCH v1 03/14] compiler: add unique __SECTION_NAME(), Yuan Tan
- [PATCH v1 04/14] compiler: add unique LABEL_NAME(), Yuan Tan
- [PATCH v1 05/14] DCE/DSE: add HAVE_SECTION_SHF_LINK_ORDER_SUPPORT option, Yuan Tan
- [PATCH v1 06/14] DCE/DSE: add HAVE_SECTION_SHF_GROUP_SUPPORT option, Yuan Tan
- [PATCH v1 07/14] DCE/DSE: add HAVE_SECTION_NO_KEEP_SUPPORT option, Yuan Tan
- [PATCH v1 08/14] DCE/DSE: add choice of methods to build reference for orphan sections, Yuan Tan
- [PATCH v1 09/14] DCE/DSE: inhibit .size directive for SHF_GROUP, Yuan Tan
- [PATCH v1 10/14] DCE/DSE: riscv: make every ex_table's name unique, Yuan Tan
- [PATCH v1 11/14] DCE/DSE: riscv: build reference for .pushsection in C functions, Yuan Tan
- [PATCH v1 12/14] DCE/DSE: riscv: build reference for .pushsection in assembly, Yuan Tan
- [PATCH v1 13/14] DCE/DSE: add SECTION_NO_KEEP_SUPPORT option, Yuan Tan
- [PATCH v1 14/14] DCE/DSE: vmlinux.lds.h: allow NO_KEEP on __ex_table sections, Yuan Tan
[linux-next:master] BUILD REGRESSION c503e3eec382ac708ee7adf874add37b77c5d312, kernel test robot
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
[Index of Archives]
[Trinity Fuzzer Tool]
[Linux Kernel]
[Netdev]
[IETF Annouce]
[Security]
[Bugtraq]
