messages from 2020-09-30 08:33:29 to 2020-11-05 19:35:14 UTC [more...]
"warning: context imbalance" in kernel/bpf/hashtab.c
2020-11-05 19:34 UTC
[PATCH 0/2] testsuite: add new tags: check-output-{match,returns}
2020-10-31 22:08 UTC (5+ messages)
` [PATCH 1/2] testsuite: add a new tag: check-output-match
` [PATCH 2/2] testsuite: add a new tag: check-output-returns
[PATCH] linearize __builtin_isdigit()
2020-10-30 16:36 UTC
[PATCH] fix usage count in linearize_fma()
2020-10-30 15:36 UTC
[PATCH] fix init_linearized_builtins()
2020-10-30 15:36 UTC
[PATCH 0/2] give an explicit type to operands of comparisons
2020-10-29 22:59 UTC (3+ messages)
` [PATCH 1/2] eval_insn: add testcases for incorrect type in OP_SET_*
` [PATCH 2/2] eval_insn: give an explicit type to operands of comparisons
Sparse improvements & regressions for Linux v5.9-rc1 -> v5.10-rc1
2020-10-27 21:03 UTC
[PATCH] handle more graciously labels with no statement
2020-10-26 23:39 UTC (6+ messages)
[PATCH] warn on all missing parameter types
2020-10-25 17:40 UTC
[PATCH] replace nbr_users() by multi_users()
2020-10-25 13:59 UTC
[PATCH] add testcase for missing inline definition
2020-10-25 13:58 UTC
[PATCH 0/2] fix testing if a OP_CALL's function is pure
2020-10-25 13:09 UTC (3+ messages)
` [PATCH 1/2] add helper first_symbol()
` [PATCH 2/2] fix testing if a OP_CALL's function is pure
[PATCH] kill dead instructions before any other simplifications
2020-10-25 12:52 UTC
[PATCH] OP_CALL should use the full function type
2020-10-25 12:31 UTC
[PATCH] linearize: OP_INLINE do not use the function symbol
2020-10-24 22:47 UTC
[PATCH 0/2] simplify and canonicalize unsigned compares
2020-10-23 19:08 UTC (5+ messages)
` [PATCH 1/2] simplify unsigned compares against 0
` [PATCH 2/2] canonicalize unsigned compares against 0 or 1
[PATCH 0/9] basic unop simplifications
2020-10-23 16:39 UTC (10+ messages)
` [PATCH 1/9] unop: add testcases for "
` [PATCH 2/9] unop: prepare simplify_unop() to handle more cases
` [PATCH 3/9] unop: simplify -(x + C) --> -C - x
` [PATCH 4/9] unop: simplify -(x - y) --> y "
` [PATCH 5/9] unop: simplify -(~x) --> x + 1
` [PATCH 6/9] unop: simplify ~(x + C) --> ~C - x
` [PATCH 7/9] unop: simplify ~(C - x) --> x + ~C
` [PATCH 8/9] unop: simplify ~(x ^ C) --> x ^ ~C
` [PATCH 9/9] unop: simplify ~(-x) --> x - 1
[PATCH] cleanup linearize_cond_branch()
2020-10-23 16:00 UTC
[PATCH] llvm: fix crash with llvm-11 / use real phi-nodes
2020-10-22 22:53 UTC
[PATCH 00/22] essential OP_ADD & OP_SUB simplifications
2020-10-20 21:10 UTC (23+ messages)
` [PATCH 01/22] add testcases about "
` [PATCH 02/22] let switch_pseudo() return REPEAT_CSE
` [PATCH 03/22] extract eval_op() from eval_insn()
` [PATCH 04/22] unop: add helper eval_unop()
` [PATCH 05/22] unop: add helper replace_with_unop()
` [PATCH 06/22] add a flag to identify commutative & associative ops
` [PATCH 07/22] constants must be truncated to the operation's size
` [PATCH 08/22] reassoc: simplify (x # C) # K --> x # eval(C # K)
` [PATCH 09/22] sub: reorganize handling of OP_{ADD,SUB}s with constant rightside
` [PATCH 10/22] sub: canonicalize (0 - x) into -x
` [PATCH 11/22] sub: simplify C - (y + D) --> eval(C-D) - y
` [PATCH 12/22] sub: simplify C - (D - z) --> z + eval(C-D)
` [PATCH 13/22] sub: simplify (C - y) + D --> eval(C+D) - y
` [PATCH 14/22] sub: simplify (x - -y) --> (x + y)
` [PATCH 15/22] add: simplify (x + -y) --> (x - y)
` [PATCH 16/22] add: simplify (-x + y) --> (y - x)
` [PATCH 17/22] sub: simplify (x + y) - x --> y
` [PATCH 18/22] sub: simplify (x + y) - y --> x
` [PATCH 19/22] sub: simplify x - (x + y) --> -y
` [PATCH 20/22] sub: simplify x - (y + x) "
` [PATCH 21/22] sub: simplify (x - y) + y --> x
` [PATCH 22/22] sub: simplify x + (y - x) --> y
[PATCH] memops need long offsets
2020-10-20 16:44 UTC
[PATCH] teach sparse about -funsigned-bitfields
2020-10-19 18:48 UTC
[PATCH v2 00/12] fix and complete the evaluation of atomic builtins
2020-10-19 16:12 UTC (13+ messages)
` [PATCH v2 01/12] builtin: add generic .args method
` [PATCH v2 02/12] builtin: add builtin type for volatile void *
` [PATCH v2 03/12] builtin: make eval_sync_compare_and_swap() more generic
` [PATCH v2 04/12] builtin: evaluate __sync_*_fetch*()
` [PATCH v2 05/12] builtin: fix evaluation of __sync_lock_release
` [PATCH v2 06/12] builtin: __sync_synchronize() too is variadic
` [PATCH v2 07/12] builtin: add predefines for __ATOMIC_RELAXED & friends
` [PATCH v2 08/12] builtin: add support for __atomic_add_fetch(),
` [PATCH v2 09/12] builtin: add support for others generic atomic builtins
` [PATCH v2 10/12] builtin: add builtin type: [volatile] pointer to bool
` [PATCH v2 11/12] builtin: add support for __atomic_clear()
` [PATCH v2 12/12] builtin: add support for remaining atomic builtins
[PATCH 00/12] fix and complete the evaluation of atomic builtins
2020-10-19 4:59 UTC (17+ messages)
` [PATCH 01/12] builtin: add generic .args method
` [PATCH 02/12] builtin: add builtin type for volatile void *
` [PATCH 03/12] builtin: make eval_sync_compare_and_swap() more generic
` [PATCH 04/12] builtin: evaluate __sync_*_fetch*()
` [PATCH 05/12] builtin: fix evaluation of __sync_lock_release
` [PATCH 06/12] builtin: __sync_synchronize() too is variadic
` [PATCH 07/12] builtin: add predefines for __ATOMIC_RELAXED & friends
` [PATCH 08/12] builtin: add support for __atomic_add_fetch(),
` [PATCH 09/12] builtin: add support for others generic atomic builtins
` [PATCH 10/12] builtin: add builtin type: [volatile] pointer to bool
` [PATCH 11/12] builtin: add support for __atomic_clear()
` [PATCH 12/12] builtin: add support for remaining atomic builtins
[ANNOUNCE] Sparse v0.6.3
2020-10-18 16:40 UTC
[PATCH] warn when taking the address of a built-in function
2020-10-16 23:11 UTC
[PATCH] fix null pointer deref on return expression with invalid type
2020-10-16 22:28 UTC
[PATCH] testsuite: fix location of error messages
2020-10-16 14:48 UTC
[PATCH 00/13] format-check: add specific type checking
2020-10-13 23:22 UTC (14+ messages)
` [PATCH 01/13] format-check: void * is not OK for strings, fix the test
` [PATCH 02/13] format-check: more complete parsing of the length & type modifiers
` [PATCH 03/13] format-check: add helper type_class()
` [PATCH 04/13] format-check: merge 'fmt_string' & 'string'
` [PATCH 05/13] format-check: remove unneeded member: target
` [PATCH 06/13] format-check: add a function to check to type of strings
` [PATCH 07/13] format-check: add a function to check to type of 'n' arguments
` [PATCH 08/13] format-check: add a function to check to type of pointers
` [PATCH 09/13] format-check: remove printf_fmt_print_pointer()
` [PATCH 10/13] format-check: add a function to check the type of floats
` [PATCH 11/13] format-check: add a function to check the type of integers
` [PATCH 12/13] format-check: remove wrappers around type checking methods
` [PATCH 13/13] format-check: simplify calling of parse_printf_get_fmt()
[PATCH] flex-array: fix typo in warning message
2020-10-13 22:06 UTC
[PATCH] update TODOs
2020-10-13 22:16 UTC
[PATCH 0/8] format check tweaks
2020-10-12 22:38 UTC (13+ messages)
` [PATCH 1/8] need to strip SYM_NODE before comparing types
` [PATCH 2/8] add helper get_nth_expression()
` [PATCH 3/8] move the definition of FMT_{PRINTF,SCANF}
` [PATCH 4/8] parse format attribute less verbosely
` [PATCH 5/8] call verify_format_attribute() unconditionally
` [PATCH 6/8] s/data/type/ for struct format_type
` [PATCH 7/8] add support for "%ls"
` [PATCH 8/8] add support for "%Lx" (and "%Ls")
[ANNOUNCE] Sparse v0.6.3-rc1
2020-10-12 22:32 UTC (3+ messages)
[PATCH] builtin: teach sparse about __builtin_ia32_pause()
2020-10-09 16:28 UTC
[PATCH] flex-array: fix location for nesting of flexible members
2020-10-09 16:08 UTC
[PATCH] flex-array: allow arrays of unions with flexible members
2020-10-09 16:01 UTC (8+ messages)
[PATCH] add helpers is_struct_type() & is_union_type()
2020-10-07 22:48 UTC
[PATCH] unop: fix access to defining instruction in simplify_unop()
2020-10-06 16:43 UTC
[PATCH] remove definition of removed OP_{AND,OR}_BOOL
2020-10-06 16:34 UTC
[PATCH 0/4] fix usual conversion of integers
2020-10-05 23:04 UTC (5+ messages)
` [PATCH 1/4] add builtin type pointer to bool: bool_ptr_ctype
` [PATCH 2/4] fix prototype of __sync_bool_compare_and_swap()
` [PATCH 3/4] fix evaluation of pointer to bool conversions
` [PATCH 4/4] fix usual conversion of integers
[PATCH] add helper get_nth_expression()
2020-10-04 16:13 UTC
[PATCH 0/3] add some builtin types for printf format checking
2020-10-04 11:43 UTC (4+ messages)
` [PATCH 1/3] add builtin type for wide strings
` [PATCH 2/3] add builtin types for signed char* and short *
` [PATCH 3/3] add builtin types for size_t*, intmax_t* & ptrdiff_t*
Hello!
2020-10-03 8:36 UTC
format updates for handing format attribute
2020-10-02 16:03 UTC (6+ messages)
` [PATCH 1/4] tests: add varargs printf format tests
` [PATCH 2/4] parse: initial parsing of __attribute__((format))
` [PATCH 3/4] add -Wformat
` [PATCH 4/4] evaluate: check variadic argument types against formatting info
[PATCH 00/13] add warnings for flexible arrays
2020-10-01 19:51 UTC (20+ messages)
` [PATCH 01/13] flex-array: add testcases
` [PATCH 02/13] flex-array: factor out common part of lay_out_{struct,union}()
` [PATCH 03/13] flex-array: do not lay out invalid struct members
` [PATCH 04/13] flex-array: flexible array members have zero size and alignment is OK
` [PATCH 05/13] flex-array: detect structures with a flexible array member
` [PATCH 06/13] flex-array: warn on flexible arrays in unions
` [PATCH 07/13] flex-array: warn if flexible array is not last
` [PATCH 08/13] flex-array: identify structures with a flexible array member
` [PATCH 09/13] flex-array: add helper has_flexible_array()
` [PATCH 10/13] flex-array: warn when using sizeof() on a flexible array
` [PATCH 11/13] flex-array: warn an arrays containing "
` [PATCH 12/13] flex-array: warn on flexible array in nested aggregate types
` [PATCH 13/13] flex-array: warn when a flexible array member has some padding
[PATCH] testsuite: fix erroneous comment
2020-09-30 23:40 UTC
[PATCH] fix Hurd PATH_MAX
2020-09-30 23:38 UTC
Making structs with variable-sized arrays unsized?
2020-09-30 23:28 UTC (4+ messages)
[PATCH] compiler.h: avoid escaped section names
2020-09-30 23:10 UTC (7+ messages)
` convert_section.pl attached
update to format parsing branch
2020-09-30 22:15 UTC (7+ messages)
page: next (older) | prev (newer) | latest
- recent:[subjects (threaded)|topics (new)|topics (active)]
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).