messages from 2012-06-23 04:00:41 to 2012-10-17 17:45:25 UTC [more...]
[PATCH 1/2] sparse, llvm: group PHI nodes at the top of each BB
2012-10-17 17:44 UTC (15+ messages)
` [PATCH 2/2] sparse, llvm: Fix type of loaded values
[PATCH] Inherit nocast modifier when referencing a variable
2012-10-17 17:12 UTC
[PATCH] linux/compiler.h: Add __must_hold macro for functions called with a lock held
2012-10-13 9:41 UTC (5+ messages)
[GIT PULL] Sparse/LLVM updates
2012-10-12 2:34 UTC (2+ messages)
[PATCH 0/10] Cleanup & new features for compiler*.h and bug.h
2012-10-11 20:54 UTC (89+ messages)
` [PATCH 1/10] compiler-gcc4.h: correct verion check for __compiletime_error
` [PATCH 2/10] compiler-gcc4.h: Reorder macros based upon gcc ver
` [PATCH 3/10] compiler-gcc.h: Add gcc-recommended GCC_VERSION macro
` [PATCH 4/10] compiler-gcc{3,4}.h: Use "
` [Bulk] "
` [PATCH 5/10] compiler{,-gcc4}.h: Remove duplicate macros
` [Bulk] "
` [PATCH 6/10] bug.h: Replace __linktime_error with __compiletime_error
` [PATCH 7/10] compiler{,-gcc4}.h: Introduce __flatten function attribute
` [PATCH 8/10] bug.h: Make BUILD_BUG_ON generate compile-time error
` [PATCH 9/10] bug.h: Add BUILD_BUG_ON_NON_CONST macro
` [PATCH 10/10] bug.h: Add gcc 4.2+ versions of BUILD_BUG_ON_* macros
` [PATCH v2 0/10] Cleanup & new features for compiler*.h and bug.h
` [PATCH v2 01/10] compiler-gcc4.h: Reorder macros based upon gcc ver
` [PATCH v2 02/10] compiler-gcc.h: Add gcc-recommended GCC_VERSION macro
` [PATCH v2 03/10] compiler-gcc{3,4}.h: Use "
` [PATCH v2 04/10] bug.h: directly include linux/compiler.h
` [PATCH v2 05/10] compiler{,-gcc4}.h, bug.h: Remove duplicate macros
` [PATCH v2 06/10] bug.h: Make BUILD_BUG_ON generate compile-time error
` [PATCH v2 07/10] compiler.h, bug.h: Prevent double error messages with BUILD_BUG{,_ON}
` [PATCH v2 08/10] bug.h: Fix BUILD_BUG_ON macro in __CHECKER__
` [PATCH v2 09/10] bug.h: Add BUILD_BUG_ON_MSG & BUILD_BUG_INTERNAL{,2}
` [PATCH v2 10/10] bug.h: Convert BUILD_BUG{,_ON} to use BUILD_BUG_ON_MSG
[GIT PULL] Sparse/LLVM updates
2012-10-09 6:34 UTC
[PATCH 1/2] lib: rename die_if_error to error_happened
2012-10-09 6:30 UTC (3+ messages)
` [PATCH 2/2] sparse, llvm: don't compile erroneous code
"unexpected unlock" when unlocking, conditional, lock in loop
2012-10-08 2:01 UTC (10+ messages)
[PATCH v6 0/25] Generic Red-Black Trees
2012-10-01 20:43 UTC (12+ messages)
` [PATCH v6 1/25] compiler-gcc4.h: Correct verion check for __compiletime_error
` [PATCH v6 2/25] compiler-gcc4.h: Reorder macros based upon gcc ver
` [PATCH v6 3/25] compiler-gcc.h: Add gcc-recommended GCC_VERSION macro
` [PATCH v6 4/25] compiler-gcc{3,4}.h: Use "
` [PATCH v6 5/25] compiler{,-gcc4}.h: Remove duplicate macros
` [PATCH v6 6/25] bug.h: Replace __linktime_error with __compiletime_error
` [PATCH v6 7/25] compiler{,-gcc4}.h: Introduce __flatten function attribute
[PATCH v5 5/25] compiler{,-gcc4}.h: Remove duplicate macros
2012-09-26 1:28 UTC (4+ messages)
` [PATCH v5 7/25] compiler{,-gcc4}.h: Introduce __flatten function attribute
` [PATCH v5 0/25] Generic Red-Black Trees (still WIP)
Fwd: [problem] sparse llvm loop conditions
2012-08-19 19:48 UTC (2+ messages)
[PATCH] sparse, llvm: convert the condition of branch/select to bool
2012-08-19 17:02 UTC (4+ messages)
[PATCH] sparse, llvm: Fix 'void' return type code generation
2012-08-19 16:47 UTC (2+ messages)
[PATCH] sparse, llvm: 'Verify' the LLVM module before writing it
2012-08-19 9:14 UTC (2+ messages)
[PATCH] sparse, llvm: Fix SIGSEGV for extern symbols
2012-08-19 0:41 UTC (2+ messages)
sparse-llvm: void return type compiles to i8
2012-08-19 0:32 UTC
[PATCH 1/2] FAQ: update the website address and call it Wiki
2012-08-02 14:56 UTC (6+ messages)
` [PATCH 2/2] ptrlist.c: fix a typo in a comment
[PATCH] Fix wrong array size expression
2012-08-01 16:35 UTC (2+ messages)
Adding default for m64/m32 handle
2012-07-26 16:57 UTC (4+ messages)
False warning from Sparse
2012-07-22 4:44 UTC (2+ messages)
sparse-llvm segfaults when passing a struct pointer
2012-07-20 20:12 UTC (3+ messages)
comparisons yield bool instead of int?
2012-07-13 21:49 UTC
Generic Red-Black Trees: preliminary performance results
2012-07-10 9:58 UTC
[PATCH][RFC] handle -I and -include combination
2012-06-30 7:38 UTC (5+ messages)
[PATCH v4 0/13] Generic Red-Black Trees
2012-06-27 13:00 UTC (23+ messages)
` [PATCH v4 6/13] bug.h: Replace __linktime_error with __compiletime_error
` [PATCH v4 7/13] compiler{,-gcc4}.h: Introduce __flatten function attribute
` [PATCH v4 8/13] bug.h: Make BUILD_BUG_ON generate compile-time error
` [PATCH v4 9/13] bug.h: Add BUILD_BUG_ON_NON_CONST macro
` [PATCH v4 10/13] bug.h: Add gcc 4.2+ versions of BUILD_BUG_ON_* macros
` [PATCH v4 11/13] rbtree.h: Generic Red-Black Trees
` [PATCH v4 12/13] fair.c: Use generic rbtree impl in fair scheduler
` [PATCH v4 13/13] documentation for rbtrees
[PATCH 0/2] Add some more ignored attributes for glibc
2012-06-25 9:47 UTC (5+ messages)
` [PATCH 1/2] sparse: Add '__vector_size__' to ignored attributes
` [PATCH 2/2] sparse: Add 'error' "
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).