messages from 2021-04-11 22:05:19 to 2022-03-21 11:22:02 UTC [more...]
[PATCH] sparse: Use offsetof macro to silence null ptr subtraction warning
2022-03-21 11:21 UTC
Servicio de la flota
2022-02-24 9:00 UTC
[PATCH AUTOSEL 5.15 08/33] x86/bug: Merge annotate_reachable() into _BUG_FLAGS() asm
2022-02-15 15:28 UTC
[PATCH AUTOSEL 5.16 08/34] x86/bug: Merge annotate_reachable() into _BUG_FLAGS() asm
2022-02-15 15:26 UTC
[PATCH] x86: bug.h: merge annotate_reachable into _BUG_FLAGS for __WARN_FLAGS
2022-02-02 20:55 UTC
[PATCH] objtool: prefer memory clobber & %= to volatile & __COUNTER__
2022-01-31 22:13 UTC (17+ messages)
fs/dlm/midcomms.c:913:22: sparse: sparse: restricted __le32 degrades to integer
2022-01-26 14:39 UTC (10+ messages)
Servicio de la flota
2022-01-26 9:01 UTC
sparse v0.6.4
2022-01-15 4:25 UTC (3+ messages)
[PATCH] sparse: only warn about directly nested flexible arrays
2022-01-11 23:39 UTC
array of flexible structures oddity
2022-01-07 1:02 UTC
ReleaseNotes for 0.6.4: one year off
2022-01-05 21:16 UTC
Servicio de la flota
2021-12-29 9:10 UTC
Happy Weekend:
2021-12-26 9:29 UTC
[PATCH 0/3] semind: Index more symbols
2021-12-14 15:16 UTC (5+ messages)
` [PATCH 1/3] dissect: Allow to show all symbols
` [PATCH 2/3] dissect: Show macro definitions
` [PATCH 3/3] dissect: Show typedefs
Linux Test Project vendored Sparse
2021-12-07 13:33 UTC
check idea: include sparse as a library in C++
2021-11-17 9:44 UTC (6+ messages)
` [PATCH 0/2] fixes for using sparse as a C++ library
` [PATCH 1/2] expose more functions to C++ in header files
` [PATCH 2/2] make implicit type conversion explicit
/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
2021-11-13 14:46 UTC
__builtin_types_compatible_p() is too accepting
2021-11-08 11:48 UTC (2+ messages)
Servicio de la flota
2021-10-14 7:36 UTC
[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
2021-10-12 6:50 UTC
[ANNOUNCE] Sparse v0.6.4
2021-09-29 21:35 UTC (8+ messages)
[PATCH] vboxsf: fix old signature detection
2021-09-28 10:40 UTC (8+ messages)
[PATCH 0/2] sparse v0.6.4 regression
2021-09-27 23:41 UTC
[PATCH 2/2] parse: warn about a 'case label' on empty statement
2021-09-27 23:45 UTC
[PATCH 1/2] sparse: fix broken 'memcpy-max-count' check
2021-09-27 23:43 UTC
[PATCH AUTOSEL 4.4 02/10] compiler.h: Introduce absolute_pointer macro
2021-09-23 3:40 UTC
[PATCH AUTOSEL 4.9 03/11] compiler.h: Introduce absolute_pointer macro
2021-09-23 3:40 UTC
[PATCH AUTOSEL 4.14 05/13] compiler.h: Introduce absolute_pointer macro
2021-09-23 3:39 UTC
[PATCH AUTOSEL 4.19 07/15] compiler.h: Introduce absolute_pointer macro
2021-09-23 3:39 UTC
[PATCH AUTOSEL 5.4 11/19] compiler.h: Introduce absolute_pointer macro
2021-09-23 3:38 UTC
[PATCH v2 0/4] Introduce and use absolute_pointer macro
2021-09-22 20:50 UTC (40+ messages)
` [PATCH v2 1/4] compiler.h: Introduce "
` [PATCH v2 2/4] net: i825xx: Use absolute_pointer for memcpy from fixed memory location
` [PATCH v2 3/4] alpha: Move setup.h out of uapi
` [PATCH v2 4/4] alpha: Use absolute_pointer to define COMMAND_LINE
[PATCH 0/4] Introduce and use absolute_pointer macro
2021-09-12 22:58 UTC (14+ messages)
` [PATCH 1/4] compiler.h: Introduce "
` [PATCH 2/4] net: i825xx: Use absolute_pointer for memcpy on fixed memory location
` [PATCH 3/4] parisc: Use absolute_pointer for memcmp "
` [PATCH 4/4] alpha: Use absolute_pointer for strcmp "
[ANNOUNCE] Sparse v0.6.4-rc1
2021-09-01 5:01 UTC
new sparse release?
2021-08-31 12:58 UTC (5+ messages)
Servicio de la flota
2021-07-30 8:00 UTC
[PATCH 0/5] small fixes for the symbolic checker
2021-07-29 21:20 UTC (6+ messages)
` [PATCH 1/5] scheck: better diagnostic for unsupported instructions
` [PATCH 2/5] scheck: ignore OP_NOP & friends
` [PATCH 3/5] scheck: constants are untyped
` [PATCH 4/5] scheck: mkvar() with target or input type
` [PATCH 5/5] scheck: fix type of operands in casts
[PATCH] fix missing itype in SEL(x, 0/1, 1/0) --> (x ==/!= 0)
2021-07-29 21:14 UTC
Project
2021-07-13 20:31 UTC
Projects
2021-07-12 18:49 UTC
Servicio de la flota
2021-07-08 7:31 UTC
Get back to me
2021-07-05 19:02 UTC
Proposal
2021-06-30 8:14 UTC
Projects
2021-06-09 12:09 UTC
Proposal
2021-06-09 12:10 UTC
Servicio de la flota
2021-06-02 8:00 UTC
Personal
2021-05-10 14:06 UTC
[tglx-devel:x86/l1dflush 7/9] arch/x86/mm/tlb.c:354:13: sparse: sparse: incorrect type in initializer (different address spaces)
2021-04-27 19:54 UTC (4+ messages)
check idea: warn when mixing signedness in ?: operator (got bitten by this recently)
2021-04-21 13:46 UTC (7+ messages)
Servicio de la flota
2021-04-21 7:31 UTC
[PATCH] TRUNC(x) {==,!=} C --> AND(x,M) {==,!=} C
2021-04-18 19:41 UTC
[PATCH] canonicalize ((x & M) == M) --> ((x & M) != 0) when M is a power-of-2
2021-04-18 18:46 UTC
[SPARSE 0/4] fix/improve canonicalization of signed compares
2021-04-18 15:32 UTC (5+ messages)
` [SPARSE 1/4] canonicalize constant signed compares toward zero
` [SPARSE 2/4] add testcases for AND(x > 0, x <= C) --> x u<= C
` [SPARSE 3/4] add helper is_positive()
` [SPARSE 4/4] simplify AND(x >= 0, x < C) --> (unsigned)x < C
[PATCH 0/3] remove early simplification of casts during evaluation
2021-04-18 11:56 UTC (4+ messages)
` [PATCH 1/3] add testcases for simplification of casts
` [PATCH 2/3] simplify TRUNC(NOT(x)) --> NOT(TRUNC(x))
` [PATCH 3/3] remove early simplification of casts during evaluation
[PATCH 00/10] simplify and canonicalize signed compares
2021-04-17 18:20 UTC (3+ messages)
[PATCH] no needs to use MARK_CURRENT_DELETED() for multi-jumps
2021-04-17 17:46 UTC (4+ messages)
[PATCH v2 0/8] scheck: add a symbolic checker
2021-04-13 16:42 UTC (11+ messages)
` [PATCH v2 1/8] export declare_builtins()
` [PATCH v2 2/8] builtin: define a symbol_op for a generic op acting on integer
` [PATCH v2 3/8] .gitignore is a bit too greedy
` [PATCH v2 4/8] scheck: add a symbolic checker
` [PATCH v2 5/8] scheck: assert_eq()
` [PATCH v2 6/8] scheck: allow multiple assertions
` [PATCH v2 7/8] scheck: assert_const()
` [PATCH v2 8/8] scheck: support pre-conditions via __assume()
[PATCH 0/8] scheck: add a symbolic checker for sparse
2021-04-11 22:05 UTC (4+ messages)
` [PATCH 2/8] builtin: define a symbol_op for a generic op acting on integer
page: next (older) | prev (newer) | latest
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).