linux-sparse.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
[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
 2021-09-07  6:29 UTC  (3+ messages)

sparse v0.6.4
 2021-09-07  6:14 UTC  (2+ messages)

[ANNOUNCE] Sparse v0.6.4-rc1
 2021-09-01  5:01 UTC 

new sparse release?
 2021-08-31 12:58 UTC  (5+ messages)

check idea: include sparse as a library in C++
 2021-08-13  1:25 UTC  (5+ 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

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 

Proposal
 2021-06-09 12:10 UTC 

Projects
 2021-06-09 12:09 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  (11+ messages)
` [PATCH 1/8] export declare_builtins()
` [PATCH 2/8] builtin: define a symbol_op for a generic op acting on integer
` [PATCH 3/8] .gitignore is a bit too greedy
` [PATCH 4/8] scheck: add a symbolic checker
` [PATCH 5/8] scheck: assert_eq()
` [PATCH 6/8] scheck: allow multiple assertions
` [PATCH 7/8] scheck: assert_const()
` [PATCH 8/8] scheck: support pre-conditions via __assume()

[PATCH 0/5] kill more dead stores
 2021-04-10 22:30 UTC  (6+ messages)
` [PATCH 1/5] add testcases for stores simplifications
` [PATCH 2/5] extract try_to_kill_store() from kill_dominated_stores()
` [PATCH 3/5] volatile stores are never dead
` [PATCH 4/5] kill parent's dead stores too
` [PATCH 5/5] kill redundant stores (local)

[PATCH] add some notes about pseudos being typeless
 2021-04-10 19:02 UTC 

[PATCH] linear: only allocate call instructions when needed
 2021-04-10 15:16 UTC 

[PATCH] fix null-pointer crash with with ident same as one of the attributes
 2021-04-04 19:37 UTC 

[PATCH 0/4] fix 2 problems with phi-sources
 2021-04-02 20:25 UTC  (5+ messages)
` [PATCH 1/4] additional testcase for remove_merging_phisrc()
` [PATCH 2/4] correctly count phi arguments
` [PATCH 3/4] better check validity of phi-sources
` [PATCH 4/4] fix remove_merging_phisrc()

Bidding invitation
 2021-03-31  7:16 UTC 

Servicio de la flota
 2021-03-29  7:55 UTC 

[PATCH 00/11] pragma once: treewide conversion
 2021-03-23 10:03 UTC  (7+ messages)

[PATCH 0/6] memops: small cleanups
 2021-03-21 17:08 UTC  (7+ messages)
` [PATCH 1/6] memops: dominates()s first arg is redundant
` [PATCH 2/6] memops: find_dominating_parents()s generation "
` [PATCH 3/6] memops: remove obsolete comment
` [PATCH 4/6] memops: do not mess up with phisource's source ident
` [PATCH 5/6] memops: avoid using first_pseudo()
` [PATCH 6/6] memops: we can kill addresses unconditionally

[PATCH 0/6] use an helper to add an instruction to a BB
 2021-03-21 16:16 UTC  (7+ messages)
` [PATCH 1/6] add insert_last_instruction()
` [PATCH 2/6] replace add_instruction_to_end() by insert_last_instruction()
` [PATCH 3/6] let insert_select() use insert_last_instruction()
` [PATCH 4/6] let insert_phis() "
` [PATCH 5/6] let find_dominating_parents() "
` [PATCH 6/6] let ssa_rename_phi() "

[PATCH] testsuite: add option '-r' to 'test-suite format'
 2021-03-21 12:54 UTC 

[PATCH 00/13] remove phi-sources from removed branches
 2021-03-21 12:35 UTC  (14+ messages)
` [PATCH 01/13] Revert "simplify CBR-CBR on the same condition"
` [PATCH 02/13] add testcases to check if phi-sources from removed targets are removed too
` [PATCH 03/13] remove insert_branch() redundant arg
` [PATCH 04/13] simplify remove_parent()
` [PATCH 05/13] fold remove_parent() into insert_branch()
` [PATCH 06/13] let insert_branch() reuse the terminating instruction
` [PATCH 07/13] move insert_branch() to flow.c
` [PATCH 08/13] let insert_branch() return a status
` [PATCH 09/13] rename insert_branch() to convert_to_jump()
` [PATCH 10/13] add remove_phisources()
` [PATCH 11/13] fix phisources during CBR-BR conversion
` [PATCH 12/13] use convert_to_jump() when converting a CBR with same targets
` [PATCH 13/13] fix phisources during SWITCH-BR conversion

[for-stable-4.19 PATCH v2 0/2] Backport patches to fix KASAN+LKDTM with recent clang on ARM64
 2021-03-20 10:57 UTC  (3+ messages)
` [for-stable-4.19 PATCH v2 1/2] vmlinux.lds.h: Create section for protection against instrumentation

[for-stable-4.19 PATCH 0/2] Backport patches to fix KASAN+LKDTM with recent clang on ARM64
 2021-03-19 22:48 UTC  (7+ messages)
` [for-stable-4.19 PATCH 1/2] vmlinux.lds.h: Create section for protection against instrumentation

[PATCH 0/9] simplify CMP(AND(x,M), C) and CMP(OR(x,M), C)
 2021-03-10 21:49 UTC  (2+ messages)
` [PATCH 8/9] simplify (x | M) cmps C

page: 

This is a public inbox, see mirroring instructions
on how to clone and mirror all data and code used for this inbox