linux-sparse.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
 messages from 2017-02-17 13:14:02 to 2017-03-06 15:05:09 UTC [more...]

[WIP 00/13] LLVM fixes
 2017-03-06 14:56 UTC  (17+ messages)
` [PATCH 01/13] llvm: add a helper to convert an integer to a ValueRef
` [PATCH 02/13] llvm: fix translation of PSEUDO_VALs into a ValueRefs
` [PATCH 03/13] llvm: fix output_op_store() which modify its operand
` [PATCH 04/13] llvm: fix output_op_[ptr]cast()
` [PATCH 05/13] add get_nth1_arg()
` [PATCH 06/13] llvm: fix type of literal integer passed as arguments
` [PATCH 07/13] llvm: fix output OP_ADD mixed with pointers
` [PATCH 08/13] llvm: add support for OP_NEG
` [PATCH 09/13] give a type to OP_PHISOURCE
` [PATCH 10/13] give a type to OP_SEL, always
` [PATCH 11/13] llvm: remove unneeded arg 'module'
` [PATCH 12/13] llvm: remove unneeded arg 'fn'
` [PATCH 13/13] llvm: fix: do not mix pointers and floats when doing compares

[PATCH] returns the correct type when evaluating NULL
 2017-03-06  4:43 UTC 

[PATCH] give a type to OP_PHISOURCE
 2017-03-06  4:13 UTC  (7+ messages)

Sparse-LLVM issue compiling NULL pointers
 2017-03-06  1:56 UTC  (57+ messages)
        ` [PATCH] llvm: fix getting type of values
                                ` [PATCH] llvm: fix output_op_[ptr]cast()
                                          ` [PATCH] llvm: fix: do not mix pointers and floats when doing compares

[PATCH 0/5] more validation of C99 for-loop initializers
 2017-03-06  1:13 UTC  (45+ messages)
` [PATCH 1/5] replace test for c99 "
        ` [PATCH v2 0/5] more validation of C99 "
          ` [PATCH v2 1/5] replace test for c99 "
          ` [PATCH v2 2/5] add test case for scope of C99 for-loop declarations
          ` [PATCH v2 3/5] add test cases for storage of c99 "
          ` [PATCH v2 4/5] add a method to external_declaration()
          ` [PATCH v2 5/5] check the storage of C99 for-loop initializers
` [PATCH 2/5] add test case for scope of C99 for-loop declarations
` [PATCH 3/5] add test cases for storage of c99 "
` [PATCH 4/5] add a method to external_declaration()
      ` [PATCH v3 0/7] more validation of C99 for-loop initializers
        ` [PATCH v3 1/7] replace test for c99 "
        ` [PATCH v3 2/7] add test case for scope of C99 for-loop declarations
        ` [PATCH v3 3/7] add test cases for storage of c99 "
        ` [PATCH v3 4/7] add a method to external_declaration()
            ` [PATCH v4 0/6] more validation of C99 for-loop initializers
              ` [PATCH v4 1/6] replace test for c99 "
              ` [PATCH v4 2/6] add test case for scope of C99 for-loop declarations
              ` [PATCH v4 3/6] add test cases for storage of c99 "
              ` [PATCH v4 4/6] add an optional validation method to external_declaration()
              ` [PATCH v4 5/6] check the storage of C99 for-loop initializers
              ` [PATCH v4 6/6] move 'extern with initializer' validation after the validate method
        ` [PATCH v3 5/7] check the storage of C99 for-loop initializers
        ` [PATCH v3 6/7] make process_decl() aware of the presence of an initializer
        ` [PATCH v3 7/7] move check extern with initializer to default_process_decl()
` [PATCH 5/5] check the storage of C99 for-loop initializers

sparse-llvm the result of expression add assign when target is a pointer should be a pointer
 2017-03-05 10:53 UTC  (2+ messages)

[PATCH] llvm: add support for OP_NEG
 2017-03-03 10:23 UTC 

[PATCH] give a type to OP_SEL, always
 2017-03-03 10:18 UTC 

sparse-llvm incorrect handling of comparison ops when pointers are involved
 2017-03-03  7:10 UTC 

sparse-llvm incorrect handling of op_add when pointers are involved
 2017-03-03  7:00 UTC 

sparse-llvm handling of function call arguments
 2017-03-03  6:56 UTC 

[PATCH] llvm: stores does not create or modify their target
 2017-03-02 20:40 UTC 

Possible memory leak in sparse-llvm
 2017-03-02 19:03 UTC 

[PATCH 0/2] split OP_BR between OP_BR & OP_CBR
 2017-02-28 13:30 UTC  (8+ messages)
` [PATCH 1/2] split OP_BR between unconditional & conditional: OP_CBR
    ` [PATCH v2 0/2] split OP_BR between OP_BR & OP_CBR
      ` [PATCH v2 1/2] split OP_BR between unconditional & conditional: OP_CBR
      ` [PATCH v2 2/2] remove unused helper is_branch_goto()
` [PATCH "

[PATCH] arm64: traps: Mark __le16, __le32, __user variables properly
 2017-02-27 21:38 UTC  (11+ messages)
          ` [PATCH 0/5] improve detection of overlapping initializers
            ` [PATCH 1/5] use option: '-Woverride-init'
            ` [PATCH 2/5] add test case for warnings about overlapping initializers
            ` [PATCH 3/5] allow to warn on all "
            ` [PATCH 4/5] fix checking of overlapping initializer
            ` [PATCH 5/5] ignore whole-range "

[PATCH] use VOID instead of directly using &void_pseudo
 2017-02-27 21:23 UTC  (3+ messages)

[PATCH] fix size of loaded bitfields
 2017-02-27  9:27 UTC  (5+ messages)
    ` [PATCH v2] "

[RFC] CSE: relax type checking in hashing/compare
 2017-02-27  9:40 UTC  (4+ messages)

[PATCH 0/4] CSE improvements
 2017-02-27  8:03 UTC  (6+ messages)
` [PATCH 4/4] CSE: improve hashing of non-commutative binops

[PATCH 0/7] pull: make smatch scan output easy to digest
 2017-02-26  4:07 UTC  (3+ messages)

Unreachable code diagnostic
 2017-02-24 21:05 UTC  (9+ messages)

[PATCH 0/4] assorted cleanups
 2017-02-24  8:11 UTC  (3+ messages)

[PATCH] fix usage in simplify_seteq_setne()
 2017-02-24  6:54 UTC 

RE:
 2017-02-23 15:09 UTC 

[PATCH] fix expansion cost of pure functions
 2017-02-23  9:56 UTC  (5+ messages)

[PATCH v2] Allow casting to a restricted type if !restricted_value
 2017-02-22 17:29 UTC  (2+ messages)

[RFC PATCH 0/2] allow casting unrestricted values
 2017-02-20 11:52 UTC  (6+ messages)
` [RFC PATCH 1/2] Allow casting to a restricted type if !restricted_value
` [RFC PATCH 2/2] Add test case for casts to restricted types

[PATCH] make -Wbitwise operational again
 2017-02-18 21:14 UTC 

Casting 0 to a __bitwise type
 2017-02-17 14:56 UTC  (7+ messages)


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