Linux Sparse
[Prev Page][Next Page]
- [PATCH] dissect: use show_ident() to print dctx->ident, Oleg Nesterov
- smatch/sparse complaints on static assertion,
Shannon Nelson
- [PATCH] dissect: move __sparse() callsite from test-dissect.c to dissect.c, Oleg Nesterov
- [PATCH] dissect: introduce sym_is_local() for reporter,
Oleg Nesterov
- [PATCH 1/2] dissect: set sym->kind for reporter,
Oleg Nesterov
- [PATCH] do the tree inlining during expansion phase, Luc Van Oostenryck
- [PATCH] dissect: kill return_type, Oleg Nesterov
- [PATCH] dissect: change do_symbol(SYM_FN) to check base_type->stmt != NULL, Oleg Nesterov
- [PATCH bpf] bpf: Improve bucket_log calculation logic,
Martin KaFai Lau
- Re: [PATCH bpf] bpf: Improve bucket_log calculation logic, Daniel Borkmann
[PATCH] fix type compatibility of _Atomic, Luc Van Oostenryck
[PATCH] dissect: introduce dissect_ctx,
Oleg Nesterov
sparse problem with Linux kernel v5.5,
Randy Dunlap
[PATCH] dissect: introduce reporter->r_memdef(), Oleg Nesterov
[PATCH 0/4] dissect: minor fixes/cleanups,
Oleg Nesterov
PATCH: sparse_add_switch() for backends to register new switches into main parsing table,
Xan Phung
Re: PATCH: domtree_build() creates extraneous bb->doms entries,
Luc Van Oostenryck
[PATCH] predefine "i386" if needed,
john . levon
[PATCH] add necessary defined for sunos-derived systems, john . levon
[PATCH] pre-define __unix__ and friends, john . levon
[PATCH] define __PRAGMA_REDEFINE_EXTNAME, john . levon
[PATCH] correct sparcv9 defines,
john . levon
[PATCH] show_parse: avoid null pointer dereference in do_show_type(),
Oleg Nesterov
Re: [PATCH] locking/refcount: add sparse annotations to dec-and-lock functions,
Luc Van Oostenryck
[PATCH] ptrlist: fix typos, Luc Van Oostenryck
[PATCH 00/10] move arch specificities in their own files,
Luc Van Oostenryck
- [PATCH 01/10] cgcc: add support for riscv32, Luc Van Oostenryck
- [PATCH 02/10] cgcc: rename 'ppc64+{be,le}' to 'ppc64{be,le}', Luc Van Oostenryck
- [PATCH 04/10] arch: move parsing of --arch=<ARCH> to target.c, Luc Van Oostenryck
- [PATCH 06/10] arch: use an arch-specific default for -msize-long, Luc Van Oostenryck
- [PATCH 05/10] arch: move handle_arch_finalize() into target_init(), Luc Van Oostenryck
- [PATCH 03/10] arch: move arch-specificities to their own files, Luc Van Oostenryck
- [PATCH 08/10] arch: move cmodel predefines to the target files., Luc Van Oostenryck
- [PATCH 07/10] arch: move target-specific predefines to the target files., Luc Van Oostenryck
- [PATCH 09/10] arch: use arch_target for INT128's predefine, Luc Van Oostenryck
- [PATCH 10/10] arch: arch_mach is not needed anymore, Luc Van Oostenryck
[PATCH] improve diagnostic message about wrong redeclaration,
Luc Van Oostenryck
[PATCH 0/4] tidy-up of typeof expansion,
Luc Van Oostenryck
[PATCH] constexpr: mark __builtin_choose_expr() as constexpr, Luc Van Oostenryck
[PATCH] fix testcase with non-constant initializer, Luc Van Oostenryck
[PATCH 00/17] improve expansion of constant symbols,
Luc Van Oostenryck
- [PATCH 01/17] split testcases for type punning & constant initializer expansion, Luc Van Oostenryck
- [PATCH 02/17] add testcase for expansion of default initializers, Luc Van Oostenryck
- [PATCH 03/17] add testcase for addressability of degenerated symbol, Luc Van Oostenryck
- [PATCH 04/17] add testcase for addressability of 'complex' symbols, Luc Van Oostenryck
- [PATCH 05/17] add test for union cast, Luc Van Oostenryck
- [PATCH 06/17] add test for dereference cost of symbol with complex type, Luc Van Oostenryck
- [PATCH 07/17] add test for constant expansion of complex initializer, Luc Van Oostenryck
- [PATCH 08/17] extract mark_addressable() from evaluate_addressof()., Luc Van Oostenryck
- [PATCH 09/17] fix addressability marking in evaluate_addressof(), Luc Van Oostenryck
- [PATCH 10/17] degenerated arrays & functions are addressable too, Luc Van Oostenryck
- [PATCH 11/17] fix expansion of initializer (mismatching size), Luc Van Oostenryck
- [PATCH 12/17] fix expansion of initializer (mismatching type), Luc Van Oostenryck
- [PATCH 13/17] fix expansion of initializer (default), Luc Van Oostenryck
- [PATCH 14/17] fix simplify_loads() when doing type punning, Luc Van Oostenryck
- [PATCH 15/17] fix cost of dereference of symbols with complex type, Luc Van Oostenryck
- [PATCH 16/17] RFC: allow expansion of accessed constants if 'static const', Luc Van Oostenryck
- [PATCH 17/17] constant expansion of strings, Luc Van Oostenryck
[PATCH] fix premature examination of dereferenced object, Luc Van Oostenryck
[PATCH 0/5] improve diagnostic messages concerning bitfields,
Luc Van Oostenryck
[DRAFT] add support for GCC's __auto_type,
Luc Van Oostenryck
[PATCH] remove redundant degenerate() in compatible_assignment_types(), Luc Van Oostenryck
[PATCH] testsuite: avoid standard includes in the tests, Luc Van Oostenryck
[PATCH 0/7] add support for '-std=c17',
Luc Van Oostenryck
[RFC PATCH] cgcc: only define __CYGWIN32__ for -m32 builds,
Ramsay Jones
[PATCH] cgcc: fix definition of 'linux' macro,
Ramsay Jones
[PATCH 0/4] More arch specific fixes,
Luc Van Oostenryck
[PATCH v2 00/12] Miscellaneous arch specific fixes,
Luc Van Oostenryck
- [PATCH v2 01/12] arch: fix the signedness of plain chars, Luc Van Oostenryck
- [PATCH v2 02/12] arch: simplify i386/x86-64 specifics, Luc Van Oostenryck
- [PATCH v2 03/12] arch: keep BSD & Darwin specifics with i386/x86-64 specifics, Luc Van Oostenryck
- [PATCH v2 04/12] arch: do not needlessly set bitness on 32-bit archs, Luc Van Oostenryck
- [PATCH v2 05/12] arch: remove impossible cases with 64-bit arch not being lp64, Luc Van Oostenryck
- [PATCH v2 06/12] arch: char32_t should be the same as uint32_t, not uint, Luc Van Oostenryck
- [PATCH v2 07/12] arch: (almost) all platforms simply use int for int32, Luc Van Oostenryck
- [PATCH v2 08/12] arch: add predefines for INT128 only on supported archs, Luc Van Oostenryck
- [PATCH v2 09/12] arch: use a variable for the OS, Luc Van Oostenryck
- [PATCH v2 10/12] arch: fix wchar_t & wint_t on SunOS/Solaris, Luc Van Oostenryck
- [PATCH v2 11/12] arch: sparc32 on SunOS/Solaris uses 128-bit long doubles, Luc Van Oostenryck
- [PATCH v2 12/12] arch: add note for 128-bit long double on mips64, Luc Van Oostenryck
[PATCH] spec: replace lllong_ctype by int128_ctype,
Luc Van Oostenryck
[PATCH] cgcc: filter-out -msize-long & -msize-llp64,
Luc Van Oostenryck
[PATCH] allow 'static' forward declaration, Luc Van Oostenryck
[PATCH v2] let function definition inherit prototype attributes,
Luc Van Oostenryck
[PATCH 0/5] fix propagation of function attributes,
Luc Van Oostenryck
[PATCH] give a correct position to mode, Luc Van Oostenryck
[PATCH 0/3] make wchar_t be correct on Cygwin via cgcc,
Luc Van Oostenryck
[PATCH 0/8] Miscellaneous arch specific fixes,
Luc Van Oostenryck
[PATCH] process MOD_EXT_VISIBLE like other MOD_FUN_ATTRs, Luc Van Oostenryck
[PATCH] function attributes apply to the function declaration,
Luc Van Oostenryck
Re: [PATCH v6 3/5] locking/qspinlock: Introduce CNA into the slow path of qspinlock,
Alex Kogan
[PATCH] Add -Wexternal-function-has-definition,
John Levon
Subject: [PATCH] lib.c: fix spelling of _BIG_ENDIAN,
Ramsay Jones
[PATCH] spec: get rid of all specifier MOD_XXX, Luc Van Oostenryck
[PATCH 0/9] simplify parsing of specifiers,
Luc Van Oostenryck
- [PATCH 1/9] spec: process chars like other integer types, Luc Van Oostenryck
- [PATCH 2/9] spec: types[] is indexed by the specifier class, Luc Van Oostenryck
- [PATCH 3/9] spec: add '.class = CInt', Luc Van Oostenryck
- [PATCH 4/9] spec: improve parsing of __int128, Luc Van Oostenryck
- [PATCH 8/9] types: use llong instead of longlong, ldouble for ..., Luc Van Oostenryck
- [PATCH 7/9] spec: s/size/rank/, Luc Van Oostenryck
- [PATCH 6/9] spec: KW_LONG is not needed, Luc Van Oostenryck
- [PATCH 9/9] spec: make ctype_declare[] more readable, Luc Van Oostenryck
- [PATCH 5/9] spec: KW_SHORT is not needed, Luc Van Oostenryck
[PATCH 0/3] cleanup arch-specifics,
Luc Van Oostenryck
[PATCH] arch: fix the signedness of plain chars, Luc Van Oostenryck
[PATCH 0/4] clarify evaluation of SYM_TYPEOF,
Luc Van Oostenryck
[PATCH 0/2] cgcc: small simplifications,
Luc Van Oostenryck
[PATCH 0/4] remove unused or unneeded constants,
Luc Van Oostenryck
latest printf code,
Ben Dooks
[PATCH] testsuite: clarify testsuite report, Luc Van Oostenryck
[PATCH] Add '__' prefix and suffix to all __attribute__ #defines, Luc Van Oostenryck
[PATCH v2 0/6] improve cross-compiling usage,
Luc Van Oostenryck
- [PATCH v2 1/6] reorder MACH_XXX defines, Luc Van Oostenryck
- [PATCH 1/7] arch: add predefine for __mips__, Luc Van Oostenryck
- [PATCH v2 2/6] add support for s390 (ILP32), Luc Van Oostenryck
- [PATCH 2/7] arch: reorder MACH_XXX defines, Luc Van Oostenryck
- [PATCH 3/7] arch: add support for s390 (ILP32), Luc Van Oostenryck
- [PATCH v2 3/6] change the arch when changing -m32/64, Luc Van Oostenryck
- [PATCH 4/7] arch: change the arch when changing -m32/64, Luc Van Oostenryck
- [PATCH v2 4/6] options: allow to specify the desired arch with --arch=<arch>, Luc Van Oostenryck
- [PATCH v2 5/6] cgcc: specify the arch via --arch, Luc Van Oostenryck
- [PATCH 5/7] arch: add an option to specify the desired arch: --arch=<arch>, Luc Van Oostenryck
- [PATCH v2 6/6] cgcc: removed unneeded predefines for integers, Luc Van Oostenryck
- [PATCH 6/7] cgcc: specify the arch via --arch, Luc Van Oostenryck
- [PATCH 7/7] cgcc: removed unneeded predefines for integers, Luc Van Oostenryck
- Re: [PATCH v2 0/6] improve cross-compiling usage, Luc Van Oostenryck
Re: [PATCH 4/8] riscv: ensure RISC-V C model definitions are passed to static analyzers, Luc Van Oostenryck
[PATCH] options: allow to specify the desired arch with --arch=<arch>,
Luc Van Oostenryck
[SPARSE PATCH 0/2] add support for -mcmodel & -f{pic,PIC,pie,PIE},
Luc Van Oostenryck
detecting misuse of of_get_property,
Rasmus Villemoes
Re: [PATCH] compiler*.h: Add '__' prefix and suffix to all __attribute__ #defines,
Joe Perches
sparse: __pure declaration only,
Ben Dooks
sparse issue buulding kernel/signal.c,
Ben Dooks
Sparse v0.6.1,
Luc Van Oostenryck
sparse warnings on undeclared asmlinkage,
Ben Dooks
[PATCH] "graph" segfaults on top-level asm,
Luc Van Oostenryck
"graph" (v0.6.1-rc2) segfaults on top-level asm,
Vegard Nossum
possible incorrect warning in arch/arm/mm/dma-mapping.c,
Ben Dooks
[PATCH] Sparse v0.6.1-rc2 is now out.,
Luc Van Oostenryck
[PATCH 1/1] Makefile: Add back rule to make (touch) check_list_local.h,
Lee Jones
[PATCH] expand more builtins like __builtin_ffs(),
Luc Van Oostenryck
[PATCH] asm: warn on invalid empty constraints, Luc Van Oostenryck
[PATCH] make 'directive in argument list' clearer, Luc Van Oostenryck
problem with bit field sizes,
Randy Dunlap
conditional operator ?: usage (Linux kernel),
Randy Dunlap
Re: Many unexpected warnings with current sparse,
Luc Van Oostenryck
[PATCH 00/18] add missing expansion of ASM operands,
Luc Van Oostenryck
- [PATCH 1/2] add test for evaluation of invalid assignments, Luc Van Oostenryck
- [PATCH 01/18] more consistent type info in error messages, Luc Van Oostenryck
- [PATCH 02/18] shorter message for non-scalar in conditionals, Luc Van Oostenryck
- [PATCH 2/2] do not linearize invalid expression, Luc Van Oostenryck
- [PATCH 03/18] expand: add test for expansion of compound literals, Luc Van Oostenryck
- [PATCH 05/18] dissect: fix processing of ASM statements, Luc Van Oostenryck
- [PATCH 06/18] string: add helper string_expression(), Luc Van Oostenryck
- [PATCH 04/18] expand: add missing expansion of compound literals, Luc Van Oostenryck
- [PATCH 08/18] asm: add test evaluation, expansion & linearization of ASM operands, Luc Van Oostenryck
- [PATCH 07/18] string: use string_expression() in parse_static_assert(), Luc Van Oostenryck
- [PATCH 09/18] asm: check earlier that body & constraints are strings, Luc Van Oostenryck
- [PATCH 11/18] asm: keep using struct asm_operand during linearization, Luc Van Oostenryck
- [PATCH 12/18] asm: parse constraints, Luc Van Oostenryck
- [PATCH 13/18] asm: use parse_asm_constraint() to verify constraints, Luc Van Oostenryck
- [PATCH 10/18] asm: use a specific struct for asm operands, Luc Van Oostenryck
- [PATCH 14/18] asm: missing evaluation of asm statements, Luc Van Oostenryck
- [PATCH 16/18] asm: fix liveness memory operand, Luc Van Oostenryck
- [PATCH 15/18] asm: linearization of output memory operands is different, Luc Van Oostenryck
- [PATCH 18/18] asm: arrays & functions in non-memory operand degenerate into pointers, Luc Van Oostenryck
- [PATCH 17/18] asm: fix missing expansion of asm statements, Luc Van Oostenryck
- Re: [PATCH 00/18] add missing expansion of ASM operands, Linus Torvalds
[PATCH 0/2] do not linearize invalid expression,
Luc Van Oostenryck
follow-up on printf formatting,
Ben Dooks
enums and EXPR_VALUE and sign expansion,
Dan Carpenter
Re: checkpatch warnings in sched.h, Dan Carpenter
noreturn attribute doesn't work in smatch,
John Levon
[PATCH 15/16] include/linux/compiler.h: remove unused KENTRY macro,
Nick Desaulniers
[PATCH 14/16] include/linux: prefer __section from compiler_attributes.h,
Nick Desaulniers
Re: [PATCH net-next] net: can: Fix compiling warning,
Dan Carpenter
Re: Packed struct size issue, Dan Carpenter
Sparse context checking Vs Clang Thread Safety analysis,
Himanshu Jha
<linux/kernel.h>: container_of(),
Randy Dunlap
problem building sparse 0.6.0 (sparse-llvm),
Randy Dunlap
[RFC v3],
Ben Dooks
[RFC v2] - formatting checks,
Ben Dooks
[RFC] va-arg processing,
Ben Dooks
[PATCH] fix allowing casts of AS pointers to uintptr_t, Luc Van Oostenryck
[PATCH v2 0/2] casts from AS pointers and uintptr_t,
Luc Van Oostenryck
[PATCH AUTOSEL 4.19 21/57] compiler.h: update definition of unreachable(), Sasha Levin
[PATCH AUTOSEL 4.14 15/37] compiler.h: update definition of unreachable(), Sasha Levin
[PATCH] man: explain role of unsigned long in casts from AS pointers.,
Luc Van Oostenryck
Re: [PATCH] trace: events: fix error directive in argument list,
Luc Van Oostenryck
Re: [PATCH v2 3/4] x86/fpu: Fix __user annotations,
Jann Horn
[PATCH] evaluate: externally_visible functions don't need a declaration,
Jann Horn
Re: [PATCH] include/linux/hugetlb.h: Convert to use vm_fault_t,
Matthew Wilcox
Re: question regarding sparse warning about cast truncate,
Luc Van Oostenryck
[PATCH] expand: 'conservative' must not bypass valid simplifications, Luc Van Oostenryck
[PATCH] Simplify shift operations on constants,
Thomas Weißschuh
[ANNOUNCE] Sparse v0.6.1-rc1, Luc Van Oostenryck
[PATCH] cgcc: use strict & warnings, Luc Van Oostenryck
[PATCH 0/2] cgcc: handle -MM, -MD, -MMD, -MF, -MQ & -MT,
Luc Van Oostenryck
[PATCH 2/2] cgcc: -MF, -MQ & -MT need an argument, Luc Van Oostenryck
[PATCH] cgcc: define __APPLE_CC__ on OSX, Luc Van Oostenryck
[PATCH] testsuite: fix bad escaping of '[' & ']', Luc Van Oostenryck
[PATCH] evaluate: sizeof(bool) could be larger than sizeof(char),
Luc Van Oostenryck
[PATCH 0/3] teach sparse about floating-point ABI (on ARM),
Luc Van Oostenryck
[PATCH v3 0/4] honor CFLAGS & friends from environment,
Luc Van Oostenryck
[PATCH] honor CFLAGS & friends from environment,
Luc Van Oostenryck
Yet another failure on armhf and i386,
Uwe Kleine-König
[PATCH AUTOSEL 4.20 041/105] include/linux/compiler*.h: fix OPTIMIZER_HIDE_VAR, Sasha Levin
[PATCH AUTOSEL 4.19 35/83] include/linux/compiler*.h: fix OPTIMIZER_HIDE_VAR, Sasha Levin
[PATCH] honor CFLAGS from environment,
Uwe Kleine-König
[PATCH] manpage: fix doc of '-Wcast-from-as', Luc Van Oostenryck
[PATCH] fix parallel install, Luc Van Oostenryck
[Index of Archives]
[Trinity Fuzzer Tool]
[Linux Kernel]
[Netdev]
[IETF Annouce]
[Security]
[Bugtraq]
