Linux Sparse
[Prev Page][Next Page]
- Re: Trying to debug strange issue, (continued)
- [PATCH 0/2] fix bogus "crazy progammer",
Luc Van Oostenryck
- Potential issue in sparse_file(),
Dibyendu Majumdar
- [PATCH] fix: add missing examine in evaluate_dereference(), Luc Van Oostenryck
- [GIT PULL] patches for -rc2,
Luc Van Oostenryck
- Understanding how sparse handles multiple input files,
Dibyendu Majumdar
- c2xml uses out of type modifiers mapping,
Dibyendu Majumdar
- MOD_TYPEDEF unused?,
Dibyendu Majumdar
- ./include/linux/err.h:35:16: warning: dereference of noderef expression,
Charlemagne Lasse
- Sparse release v0.5.1-rc1,
Christopher Li
- Status of sparse-next,
Dibyendu Majumdar
- [PATCH 0/3] kill dead loads,
Luc Van Oostenryck
- [PATCH 0/2] warn on implicit type,
Luc Van Oostenryck
- [PATCH v2 0/8] division-by-zero warnings,
Luc Van Oostenryck
- [PATCH 0/3] normalize pseudos numbering,
Luc Van Oostenryck
- [PATCH 0/3] -Wmemcpy-max-count & friends,
Luc Van Oostenryck
- [PATCH] force to 0 expressions which are erroneously non-constant,
Luc Van Oostenryck
- [PATCH 0/9] division by zero warnings,
Luc Van Oostenryck
- [PATCH] cgcc: fix __DECIMAL_DIG__, Luc Van Oostenryck
- [PATCH] teach cgcc about OSX aka darwin,
Luc Van Oostenryck
- [PATCH 0/6] testsuite speedup,
Luc Van Oostenryck
- [GIT PULL] next batch of patches, Luc Van Oostenryck
- [PATCH] RFC: remove warning "advancing past deep designator", Luc Van Oostenryck
- [PATCH 0/3] use internal size for __INT_MAX__ & friends,
Luc Van Oostenryck
- [PATCH v3 0/2] avoid warnings for 'bool <- restricted' casts,
Luc Van Oostenryck
- [PATCH] Makefile: remove SMATCH_DATA smatch_data/kernel.balanced_funcs item,
Sami Kerola
- [PATCH] fix missing reload, Luc Van Oostenryck
- [PATCH] fix: kill old branch in insert_branch(), Luc Van Oostenryck
- [GIT PULL] last pending patches for sparse's next release,
Luc Van Oostenryck
- [PATCH] fix boolean context for OP_AND_BOOL & OP_OR_BOOL, Luc Van Oostenryck
- Re: [PATCH] FS: Fixing return type of unsigned_offsets, Luc Van Oostenryck
- [PATCH] avoid useless warning for 'bool <- restricted type' conversion,
Luc Van Oostenryck
- [PATCH] ignore VOID when trying to if-convert phi-nodes,
Luc Van Oostenryck
- [PATCH v7] sparse: add support for _Static_assert,
Lance Richardson
- [PATCH v6] sparse: add support for _Static_assert,
Lance Richardson
- [PATCH] fix: kill unreachable BBs after killing a child,
Luc Van Oostenryck
- [PATCH 0/6] keyword cleanup,
Luc Van Oostenryck
- [PATCH v5] sparse: add support for _Static_assert,
Lance Richardson
- bit-field notation and k&r function syntax,
Lance Richardson
- [PATCH v4] sparse: add support for _Static_assert,
Lance Richardson
- [GIT PULL] pending fixes for sparse's next release,
Luc Van Oostenryck
- [PATCH 0/8] avoid creating orphaned OP_PHISRCs,
Luc Van Oostenryck
- [PATCH 0/6] fix boolean context,
Luc Van Oostenryck
- [PATCH 0/3] Simplify booleans,
Luc Van Oostenryck
- [PATCH] fix 'simplification' of float-to-int casts, Luc Van Oostenryck
- [PATCH 0/2] extend canonical order,
Luc Van Oostenryck
- [PATCH 0/2] floating-point literals,
Luc Van Oostenryck
- [PATCH 0/5] report allocation stats,
Luc Van Oostenryck
- [PATCH v2 0/6] fix bitfield initializers,
Luc Van Oostenryck
- [PATCH 0/4] fix bitfield initiallizers,
Luc Van Oostenryck
- [PATCH] testsuite: cleanup result files, Luc Van Oostenryck
- [PATCH 0/9] restricted pointers,
Luc Van Oostenryck
- [PATCH 0/3] add real support for __BASE_FILE__,
Luc Van Oostenryck
- [PATCH 0/6] dump macros definitions,
Luc Van Oostenryck
- Re: sparse with 4.10?,
Luc Van Oostenryck
Sparse testing,
Dibyendu Majumdar
[PATCH v2] fix OP_PHI usage in try_to_simplify_bb(), correctly, Luc Van Oostenryck
Potential issue with handling of va_arg(),
Dibyendu Majumdar
[PATCH v4 00/25] improve constexpr handling,
Luc Van Oostenryck
- [PATCH v4 01/25] constexpr: introduce additional expression constness tracking flags, Luc Van Oostenryck
- [PATCH v4 02/25] constexpr: init flags at expression allocation, Luc Van Oostenryck
- [PATCH v4 03/25] constexpr: examine constness of casts at evaluation only, Luc Van Oostenryck
- [PATCH v4 04/25] constexpr: examine constness of binops and alike at evaluation only, Luc Van Oostenryck
- [PATCH v4 05/25] constexpr: examine constness of preops at evaluation only, Luc Van Oostenryck
- [PATCH v4 06/25] constexpr: examine constness of conditionals at evaluation only, Luc Van Oostenryck
- [PATCH v4 07/25] constexpr: add support for tagging arithmetic constant expressions, Luc Van Oostenryck
- [PATCH v4 08/25] constexpr: add support for tagging address constants, Luc Van Oostenryck
- [PATCH v4 09/25] constexpr: rename handle_simple_initializer() to handle_initializer(), Luc Van Oostenryck
- [PATCH v4 10/25] constexpr: collect storage modifiers of initializers, Luc Van Oostenryck
- [PATCH v4 11/25] constexpr: check static storage duration objects' intializers' constness, Luc Van Oostenryck
- [PATCH v4 12/25] constexpr: recognize static objects as address constants, Luc Van Oostenryck
- [PATCH v4 13/25] constexpr: recognize address constants created through casts, Luc Van Oostenryck
- [PATCH v4 14/25] constexpr: recognize address constants created through pointer arithmetic, Luc Van Oostenryck
- [PATCH v4 15/25] constexpr: recognize members of static compound objects as address constants, Luc Van Oostenryck
- [PATCH v4 16/25] constexpr: recognize string literals as address constants, Luc Van Oostenryck
- [PATCH v4 17/25] constexpr: recognize references to labels as address constants, Luc Van Oostenryck
- [PATCH v4 18/25] constexpr: examine constness of __builtin_offsetof at evaluation only, Luc Van Oostenryck
- [PATCH v4 19/25] constexpr: flag builtins constant_p, safe_p and warning as constexprs, Luc Van Oostenryck
- [PATCH v4 20/25] constexpr: relax some constant expression rules for pointer expressions, Luc Van Oostenryck
- [PATCH v4 21/25] constexpr: support compound literals as address constants, Luc Van Oostenryck
- [PATCH v4 22/25] constexpr: treat comparisons between types as integer constexpr, Luc Van Oostenryck
- [PATCH v4 23/25] return an error if too few args, Luc Van Oostenryck
- [PATCH v4 24/25] give default return type in evaluate_call(), Luc Van Oostenryck
- [PATCH v4 25/25] constexpr: flag __builtin_bswap() as constexpr, Luc Van Oostenryck
- Re: [PATCH v4 00/25] improve constexpr handling, Christopher Li
Update on dmr_C project,
Dibyendu Majumdar
sparse-llvm array size computation issue,
Dibyendu Majumdar
Suggest new opcode to help with initialization of aggregate types: Was: sparse-llvm initialization of local vars, Dibyendu Majumdar
[PATCH 0/4] floating-point specific instructions,
Luc Van Oostenryck
Potential incorrect simplification,
Dibyendu Majumdar
sparse-llvm load and store sizes are not handled correctly,
Dibyendu Majumdar
[PATCH v6 00/52] LLVM fixes,
Luc Van Oostenryck
- [PATCH v6 01/52] llvm: remove unneeded arg 'module', Luc Van Oostenryck
- [PATCH v6 02/52] llvm: remove unneeded 'generation', Luc Van Oostenryck
- [PATCH v6 03/52] llvm: remove unneeded function::type, Luc Van Oostenryck
- [PATCH v6 09/52] llvm: extract get_sym_value() from pseudo_to_value(), Luc Van Oostenryck
- [PATCH v6 05/52] llvm: use pseudo_list_size() instead of open coding it, Luc Van Oostenryck
- [PATCH v6 10/52] llvm: fix test of floating-point type, Luc Van Oostenryck
- [PATCH v6 07/52] llvm: give a name to call's return values, Luc Van Oostenryck
- [PATCH v6 13/52] llvm: fix output_op_[ptr]cast(), Luc Van Oostenryck
- [PATCH v6 08/52] llvm: avoid useless temp variable, Luc Van Oostenryck
- [PATCH v6 16/52] llvm: add test cases for pointers passed as argument, Luc Van Oostenryck
- [PATCH v6 04/52] llvm: reduce scope of 'bb_nr', Luc Van Oostenryck
- [PATCH v6 20/52] llvm: add support for OP_SETVAL with floats, Luc Van Oostenryck
- [PATCH v6 14/52] llvm: take care of degenerated rvalues, Luc Van Oostenryck
- [PATCH v6 21/52] llvm: add support for OP_SETVAL with labels, Luc Van Oostenryck
- [PATCH v6 11/52] llvm: fix translation of PSEUDO_VALs into a ValueRefs, Luc Van Oostenryck
- [PATCH v6 22/52] llvm: ignore OP_INLINED_CALL, Luc Van Oostenryck
- [PATCH v6 17/52] llvm: add test cases for arrays passed as argument, Luc Van Oostenryck
- [PATCH v6 23/52] llvm: fix pointer/float mixup in comparisons, Luc Van Oostenryck
- [PATCH v6 18/52] llvm: add test cases for degenerated pointers, Luc Van Oostenryck
- [PATCH v6 12/52] llvm: fix output_op_store() which modify its operand, Luc Van Oostenryck
- [PATCH v6 15/52] llvm: add test cases for symbol's address, Luc Van Oostenryck
- [PATCH v6 29/52] llvm: make pseudo_name() more flexible, Luc Van Oostenryck
- [PATCH v6 24/52] llvm: fix type in comparison with an address constant, Luc Van Oostenryck
- [PATCH v6 30/52] llvm: give a name to all values, Luc Van Oostenryck
- [PATCH v6 25/52] llvm: give correct type to binops, Luc Van Oostenryck
- [PATCH v6 31/52] llvm: add support for OP_SWITCH with a range, Luc Van Oostenryck
- [PATCH v6 26/52] llvm: adjust OP_RET's type, Luc Van Oostenryck
- [PATCH v6 32/52] llvm: fix OP_SWITCH has no target, Luc Van Oostenryck
- [PATCH v6 06/52] llvm: give arguments a name, Luc Van Oostenryck
- [PATCH v6 37/52] llvm: remove unneeded pseudo_to_value() unneeded argument, Luc Van Oostenryck
- [PATCH v6 27/52] llvm: variadic functions are not being marked as such, Luc Van Oostenryck
- [PATCH v6 28/52] llvm: fix type of switch constants, Luc Van Oostenryck
- [PATCH v6 35/52] llvm: add test case pointer compare with cast, Luc Van Oostenryck
- [PATCH v6 41/52] llvm: fix mutated OP_SEL, Luc Van Oostenryck
- [PATCH v6 36/52] llvm: let pseudo_to_value() directly use the type, Luc Van Oostenryck
- [PATCH v6 33/52] llvm: make value_to_pvalue() more flexible, Luc Van Oostenryck
- [PATCH v6 39/52] llvm: fix mutating function pointer, Luc Van Oostenryck
- [PATCH v6 38/52] llvm: introduce get_ioperand(), Luc Van Oostenryck
- [PATCH v6 34/52] llvm: make value_to_ivalue() more flexible, Luc Van Oostenryck
- [PATCH v6 47/52] llvm: fix get value from non-anonymous symbol, Luc Van Oostenryck
- [PATCH v6 42/52] llvm: fix mutated OP_SWITCH, Luc Van Oostenryck
- [PATCH v6 48/52] llvm: fix type of bitfields, Luc Van Oostenryck
- [PATCH v6 19/52] llvm: add support for OP_NEG, Luc Van Oostenryck
- [PATCH v6 45/52] llvm: add support for restricted types, Luc Van Oostenryck
- [PATCH v6 49/52] llvm: add support for OP_FPCAST, Luc Van Oostenryck
- [PATCH v6 50/52] llvm: add support for cast from floats, Luc Van Oostenryck
- [PATCH v6 40/52] llvm: fix mutated OP_RET, Luc Van Oostenryck
- [PATCH v6 44/52] llvm: fix mutated OP_[PTR]CAST, Luc Van Oostenryck
- [PATCH v6 43/52] llvm: fix mutated OP_PHISOURCE, Luc Van Oostenryck
- [PATCH v6 51/52] llvm: cleanup of output_[ptr]cast(), Luc Van Oostenryck
- [PATCH v6 52/52] llvm: fix creation of sparsec's tmp files, Luc Van Oostenryck
- [PATCH v6 46/52] llvm: fix get value from initialized symbol, Luc Van Oostenryck
- Re: [PATCH v6 00/52] LLVM fixes, Christopher Li
- [GIT PULL v6] LLVM fixes, Luc Van Oostenryck
[PATCH v6 00/15] prepare for LLVM fixes,
Luc Van Oostenryck
- [PATCH v6 04/15] canonicalize binops before simplification, Luc Van Oostenryck
- [PATCH v6 05/15] canonicalize compare instructions, Luc Van Oostenryck
- [PATCH v6 13/15] give a type to OP_SWITCHs, Luc Van Oostenryck
- [PATCH v6 12/15] give a type to OP_SELs, always, Luc Van Oostenryck
- [PATCH v6 03/15] use opcode table for compare_opcode(), Luc Van Oostenryck
- [PATCH v6 08/15] inlined calls should not block BB packing, Luc Van Oostenryck
- [PATCH v6 07/15] fix usage of inlined calls, Luc Van Oostenryck
- [PATCH v6 06/15] add is_signed_type(), Luc Van Oostenryck
- [PATCH v6 02/15] add table to "negate" some opcode, Luc Van Oostenryck
- [PATCH v6 10/15] insure that all OP_PUSHs are just before their OP_CALL, Luc Van Oostenryck
- [PATCH v6 11/15] give a type to OP_PHISOURCEs, Luc Van Oostenryck
- [PATCH v6 14/15] add doc about sparse's instructions/IR, Luc Van Oostenryck
- [PATCH v6 15/15] add support for wider type in switch-case, Luc Van Oostenryck
- [PATCH v6 01/15] don't output value of anonymous symbol's pointer, Luc Van Oostenryck
- [PATCH v6 09/15] give function's arguments a type via OP_PUSH, Luc Van Oostenryck
- Re: [PATCH v6 00/15] prepare for LLVM fixes, Ramsay Jones
- [GIT PULL v6] prepare for LLVM fixes, Luc Van Oostenryck
[PATCH v2] fix expansion of integers to floats,
Luc Van Oostenryck
[PATCH 0/5] fix test cases on 32bit,
Luc Van Oostenryck
extra 'make check' failures on 32bit Linux,
Ramsay Jones
sparse-llvm initialization of local vars, Dibyendu Majumdar
[PATCH v5 00/51] LLVM fixes,
Luc Van Oostenryck
- [PATCH v5 01/51] llvm: remove unneeded arg 'module', Luc Van Oostenryck
- [PATCH v5 02/51] llvm: remove unneeded 'generation', Luc Van Oostenryck
- [PATCH v5 03/51] llvm: remove unneeded function::type, Luc Van Oostenryck
- [PATCH v5 04/51] llvm: reduce scope of 'bb_nr', Luc Van Oostenryck
- [PATCH v5 05/51] llvm: use pseudo_list_size() instead of open coding it, Luc Van Oostenryck
- [PATCH v5 06/51] llvm: give arguments a name, Luc Van Oostenryck
- [PATCH v5 07/51] llvm: give a name to call's return values, Luc Van Oostenryck
- [PATCH v5 08/51] llvm: avoid useless temp variable, Luc Van Oostenryck
- [PATCH v5 09/51] llvm: extract get_sym_value() from pseudo_to_value(), Luc Van Oostenryck
- [PATCH v5 10/51] llvm: fix test of floating-point type, Luc Van Oostenryck
- [PATCH v5 11/51] llvm: fix translation of PSEUDO_VALs into a ValueRefs, Luc Van Oostenryck
- [PATCH v5 12/51] llvm: fix output_op_store() which modify its operand, Luc Van Oostenryck
- [PATCH v5 13/51] llvm: fix output_op_[ptr]cast(), Luc Van Oostenryck
- [PATCH v5 14/51] llvm: take care of degenerated rvalues, Luc Van Oostenryck
- [PATCH v5 15/51] llvm: add test cases for symbol's address, Luc Van Oostenryck
- [PATCH v5 16/51] llvm: add test cases for pointers passed as argument, Luc Van Oostenryck
- [PATCH v5 17/51] llvm: add test cases for arrays passed as argument, Luc Van Oostenryck
- [PATCH v5 18/51] llvm: add test cases for degenerated pointers, Luc Van Oostenryck
- [PATCH v5 19/51] llvm: add support for OP_NEG, Luc Van Oostenryck
- [PATCH v5 20/51] llvm: add support for OP_SETVAL with floats, Luc Van Oostenryck
- [PATCH v5 21/51] llvm: add support for OP_SETVAL with labels, Luc Van Oostenryck
- [PATCH v5 22/51] llvm: ignore OP_INLINED_CALL, Luc Van Oostenryck
- [PATCH v5 23/51] llvm: fix pointer/float mixup in comparisons, Luc Van Oostenryck
- [PATCH v5 24/51] llvm: fix type in comparison with an address constant, Luc Van Oostenryck
- [PATCH v5 25/51] llvm: give correct type to binops, Luc Van Oostenryck
- [PATCH v5 26/51] llvm: adjust OP_RET's type, Luc Van Oostenryck
- [PATCH v5 27/51] llvm: variadic functions are not being marked as such, Luc Van Oostenryck
- [PATCH v5 28/51] llvm: fix type of switch constants, Luc Van Oostenryck
- [PATCH v5 29/51] llvm: make pseudo_name() more flexible, Luc Van Oostenryck
- [PATCH v5 30/51] llvm: give a name to all values, Luc Van Oostenryck
- [PATCH v5 31/51] llvm: add support for OP_SWITCH with a range, Luc Van Oostenryck
- [PATCH v5 32/51] llvm: fix OP_SWITCH has no target, Luc Van Oostenryck
- [PATCH v5 33/51] llvm: make value_to_pvalue() more flexible, Luc Van Oostenryck
- [PATCH v5 34/51] llvm: make value_to_ivalue() more flexible, Luc Van Oostenryck
- [PATCH v5 35/51] llvm: add test case pointer compare with cast, Luc Van Oostenryck
- [PATCH v5 36/51] llvm: let pseudo_to_value() directly use the type, Luc Van Oostenryck
- [PATCH v5 37/51] llvm: remove unneeded pseudo_to_value() unneeded argument, Luc Van Oostenryck
- [PATCH v5 38/51] llvm: introduce get_ioperand(), Luc Van Oostenryck
- [PATCH v5 39/51] llvm: fix mutating function pointer, Luc Van Oostenryck
- [PATCH v5 40/51] llvm: fix mutated OP_RET, Luc Van Oostenryck
- [PATCH v5 41/51] llvm: fix mutated OP_SEL, Luc Van Oostenryck
- [PATCH v5 42/51] llvm: fix mutated OP_SWITCH, Luc Van Oostenryck
- [PATCH v5 43/51] llvm: fix mutated OP_PHISOURCE, Luc Van Oostenryck
- [PATCH v5 44/51] llvm: fix mutated OP_[PTR]CAST, Luc Van Oostenryck
- [PATCH v5 45/51] llvm: add support for restricted types, Luc Van Oostenryck
- [PATCH v5 46/51] llvm: fix get value from initialized symbol, Luc Van Oostenryck
- [PATCH v5 47/51] llvm: fix get value from non-anonymous symbol, Luc Van Oostenryck
- [PATCH v5 48/51] llvm: fix type of bitfields, Luc Van Oostenryck
- [PATCH v5 49/51] llvm: add support for OP_FPCAST, Luc Van Oostenryck
- [PATCH v5 50/51] llvm: add support for cast from floats, Luc Van Oostenryck
- [PATCH v5 51/51] llvm: cleanup of output_[ptr]cast(), Luc Van Oostenryck
[PATCH 00/14] prepare LLVM fixes,
Luc Van Oostenryck
- [PATCH v5 02/14] canonicalize binops before simplification, Luc Van Oostenryck
- [PATCH v5 01/14] don't output value of anonymous symbol's pointer, Luc Van Oostenryck
- [PATCH v5 03/14] canonicalize compare instructions, Luc Van Oostenryck
- [PATCH v5 04/14] rewrite compare_opcode() like swap_compare_opcode(), Luc Van Oostenryck
- [PATCH v5 05/14] add is_signed_type(), Luc Van Oostenryck
- [PATCH v5 06/14] fix usage of inlined calls, Luc Van Oostenryck
- [PATCH v5 07/14] inlined calls should not block BB packing, Luc Van Oostenryck
- [PATCH v5 08/14] give function's arguments a type via OP_PUSH, Luc Van Oostenryck
- [PATCH v5 09/14] insure that all OP_PUSHs are just before their OP_CALL, Luc Van Oostenryck
- [PATCH v5 10/14] give a type to OP_PHISOURCEs, Luc Van Oostenryck
- [PATCH v5 11/14] give a type to OP_SELs, always, Luc Van Oostenryck
- [PATCH v5 12/14] give a type to OP_SWITCHs, Luc Van Oostenryck
- [PATCH v5 13/14] add doc about sparse's instructions/IR, Luc Van Oostenryck
- [PATCH v5 14/14] add support for wider type in switch-case, Luc Van Oostenryck
Sparse IR documentation, Dibyendu Majumdar
Adding an option to sparse to disable the IR simplifications,
Dibyendu Majumdar
[PATCH 0/7] fix function or array address in conditionals,
Luc Van Oostenryck
sparse-llvm issue with handling of phisrc instruction,
Dibyendu Majumdar
[PATCH] show OP_PHI without VOID, Luc Van Oostenryck
[PATCH] Add more declarations for more builtin functions, Luc Van Oostenryck
Another potential issue with linearized output,
Dibyendu Majumdar
Reverting OP_SYMADDR in sparse-llvm,
Dibyendu Majumdar
[Index of Archives]
[Trinity Fuzzer Tool]
[Linux Kernel]
[Netdev]
[IETF Annouce]
[Security]
[Bugtraq]