Linux Sparse
[Prev Page][Next Page]
- [PATCH 0/1] Add missing include in compiler.h,
Philipp Reisner
- [PATCH v4 0/2] add const_true() to simplify GENMASK_INPUT_CHECK(),
Vincent Mailhol
- [RESEND PATCH v3 0/2] add _statically_true() to simplify GENMASK_INPUT_CHECK(),
Vincent Mailhol
- [PATCH v3 0/2] add _statically_true() to simplify GENMASK_INPUT_CHECK(),
Vincent Mailhol
- [PATCH v2] linux/bits: simplify GENMASK_INPUT_CHECK(),
Vincent Mailhol
- how to figure if a struct symbol is incomplete, Aurelien Aptel
- Re: [PATCH net] net: add inline annotation to fix the build warning,
Edward Cree
- [RFC PATCH 00/28] x86: Rely on toolchain for relocatable code,
Ard Biesheuvel
- [RFC PATCH 01/28] x86/pvh: Call C code via the kernel virtual mapping, Ard Biesheuvel
- [RFC PATCH 02/28] Documentation: Bump minimum GCC version to 8.1, Ard Biesheuvel
- [RFC PATCH 03/28] x86/tools: Use mmap() to simplify relocs host tool, Ard Biesheuvel
- [RFC PATCH 04/28] x86/boot: Permit GOTPCREL relocations for x86_64 builds, Ard Biesheuvel
- [RFC PATCH 05/28] x86: Define the stack protector guard symbol explicitly, Ard Biesheuvel
- [RFC PATCH 06/28] x86/percpu: Get rid of absolute per-CPU variable placement, Ard Biesheuvel
- [RFC PATCH 08/28] scripts/kallsyms: Remove support for absolute per-CPU variables, Ard Biesheuvel
- [RFC PATCH 09/28] x86/tools: Remove special relocation handling for per-CPU variables, Ard Biesheuvel
- [RFC PATCH 10/28] x86/xen: Avoid relocatable quantities in Xen ELF notes, Ard Biesheuvel
- [RFC PATCH 11/28] x86/pvh: Avoid absolute symbol references in .head.text, Ard Biesheuvel
- [RFC PATCH 12/28] x86/pm-trace: Use RIP-relative accesses for .tracedata, Ard Biesheuvel
- [RFC PATCH 13/28] x86/kvm: Use RIP-relative addressing, Ard Biesheuvel
- [RFC PATCH 14/28] x86/rethook: Use RIP-relative reference for return address, Ard Biesheuvel
- [RFC PATCH 16/28] x86/entry_64: Use RIP-relative addressing, Ard Biesheuvel
- [RFC PATCH 17/28] x86/hibernate: Prefer RIP-relative accesses, Ard Biesheuvel
- [RFC PATCH 18/28] x86/boot/64: Determine VA/PA offset before entering C code, Ard Biesheuvel
- [RFC PATCH 20/28] x64/acpi: Use PIC-compatible references in wakeup_64.S, Ard Biesheuvel
- [RFC PATCH 21/28] x86/head: Use PIC-compatible symbol references in startup code, Ard Biesheuvel
- [RFC PATCH 22/28] asm-generic: Treat PIC .data.rel.ro sections as .rodata, Ard Biesheuvel
- [RFC PATCH 23/28] tools/objtool: Mark generated sections as writable, Ard Biesheuvel
- [RFC PATCH 24/28] tools/objtool: Treat indirect ftrace calls as direct calls, Ard Biesheuvel
- [RFC PATCH 25/28] x86: Use PIE codegen for the core kernel, Ard Biesheuvel
- [RFC PATCH 26/28] x86/boot: Implement support for ELF RELA/RELR relocations, Ard Biesheuvel
- [RFC PATCH 27/28] x86/kernel: Switch to PIE linking for the core kernel, Ard Biesheuvel
- [RFC PATCH 28/28] x86/tools: Drop x86_64 support from 'relocs' tool, Ard Biesheuvel
- [RFC PATCH 15/28] x86/sync_core: Use RIP-relative addressing, Ard Biesheuvel
- [RFC PATCH 07/28] scripts/kallsyms: Avoid 0x0 as the relative base, Ard Biesheuvel
- [RFC PATCH 19/28] x86/boot/64: Avoid intentional absolute symbol references in .head.text, Ard Biesheuvel
- [PATCH] fix: Skip if symbol have no op when handle_qualifiers, wenlunpeng
- [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
[Index of Archives]
[Trinity Fuzzer Tool]
[Linux Kernel]
[Netdev]
[IETF Annouce]
[Security]
[Bugtraq]
