linux-sparse.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
 messages from 2020-08-09 20:53:44 to 2020-10-19 04:59:46 UTC [more...]

[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  (5+ messages)

[PATCH] compiler.h: avoid escaped section names
 2020-09-30 23:10 UTC  (12+ messages)
        ` convert_section.pl attached

update to format parsing branch
 2020-09-30 22:15 UTC  (7+ messages)

Segmentation fault when running sparse with current linux master
 2020-09-25  8:46 UTC  (6+ messages)

[Spam] We are still waiting for your email
 2020-09-09  8:49 UTC 

[PATCH v2 0/3] fix & extend mask related testcases
 2020-09-08 15:39 UTC  (9+ messages)
` [PATCH v2 1/3] optim: fix some testcases related to bitfield manipulation
` [PATCH v2 2/3] add more testcases for existing AND/OR simplifications
` [PATCH v2 3/3] add more testcases for AND/OR simplification

[PATCH 0/3] fix & extend mask related testcases
 2020-09-06 21:15 UTC  (11+ messages)
` [PATCH 1/3] add more testcases for existing AND/OR simplifications
` [PATCH 2/3] add more testcases for AND/OR simplification
` [PATCH 3/3] optim: fix some testcases related to bitfield manipulation

[PATCH 0/3] add and use new helper: replace_with_value()
 2020-09-05 12:13 UTC  (4+ messages)
` [PATCH 1/3] add helper replace_with_value()
` [PATCH 2/3] use replace_with_value()
` [PATCH 3/3] replace_with_{pseudo,value}() can be tail-calls

[PATCH] testsuite: easier testing via script & makefile
 2020-09-05 11:19 UTC 

[PATCH 0/4] builtin: teach sparse to linearize __builtin_fma()
 2020-09-05 11:12 UTC  (5+ messages)
` [PATCH 1/4] add support for a new instruction: OP_FMA
` [PATCH 2/4] builtin: allow linearization to fail
` [PATCH 3/4] builtin: add declaration for __builtin_fma{,f,l}()
` [PATCH 4/4] builtin: teach sparse to linearize __builtin_fma()

sparse multiple address spaces?
 2020-08-19 21:48 UTC  (4+ messages)

sparse problem with duplicate __iomem?
 2020-08-18 20:11 UTC  (3+ messages)

Sparse improvements & regressions for Linux v5.8-rc1 -> v5.9-rc1
 2020-08-17  0:21 UTC 

[PATCH] cleanup: remove unneeded predeclaration of evaluate_cast()
 2020-08-15 13:45 UTC 

[PATCH 0/4] Fix shifts-assigns and avoid warns on deadcode
 2020-08-15 13:51 UTC  (7+ messages)
` [PATCH 4/4] bad-shift: wait dead code elimination to warn about bad shifts

[PATCH 0/3] teach sparse about union casts
 2020-08-15 15:28 UTC  (4+ messages)
` [PATCH 1/3] union-cast: add some testcases
` [PATCH 2/3] union-cast: extract evaluate_compound_literal()
` [PATCH 3/3] union-cast: teach sparse about union casts

[PATCH] fix evaluate_ptr_add() when sizeof(offset) != sizeof(pointer)
 2020-08-15 16:12 UTC 

KASAN: global-out-of-bounds Read in precalculate_color
 2020-08-12  1:07 UTC 

[PATCH] fix is_scalar_type(): fouled types are scalars
 2020-08-11 16:47 UTC 

[PATCH] bug-assign-op0.c: fix test on 32-bit builds
 2020-08-11  4:45 UTC  (2+ messages)

[PATCH 0/7] doc: small tweaks to the online documentation
 2020-08-10 21:53 UTC  (8+ messages)
` [PATCH 1/7] doc: use a smaller logo in the sidebar
` [PATCH 2/7] doc: make the sidebar more compact
` [PATCH 3/7] doc: decrease vertical spacing
` [PATCH 4/7] doc: move down info about tarballs, after git repositories
` [PATCH 5/7] doc: reorganize the table of content
` [PATCH 6/7] doc: use shorter titles
` [PATCH 7/7] doc: add links to some external doc

[PATCH] warning: conditionalize "advancing past deep designator"
 2020-08-10  5:52 UTC 

[PATCH] force to 0 expressions which are erroneously non-constant
 2020-08-10  5:51 UTC 

[PATCH 00/10] separate parsing of asm-names from attributes
 2020-08-09 20:53 UTC  (2+ messages)
` [PATCH 10/10] keyword type is a bitmask and must be tested so


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).