andrew
0 Followers · 0 Following
  • Joined on 2023-03-22
Repositories Projects Packages Public Activity Watched Repositories
andrew closed issue weaselab/conflict-set#39 2026-08-03 02:33:57 +00:00
arm64: valgrind false positives in checkMaxBetweenExclusiveImpl with clang 21+ (csel definedness pessimization)
andrew commented on issue weaselab/conflict-set#39 2026-08-03 02:33:57 +00:00
arm64: valgrind false positives in checkMaxBetweenExclusiveImpl with clang 21+ (csel definedness pessimization)

Closing since this isn't blocking us from running valgrind in arm anymore since 6fed1332121fe010f6ac88f6995589b1e47d23b5

andrew pushed to main at weaselab/conflict-set 2026-08-03 02:32:11 +00:00
5c16b8ee90 Add .note.gnu.property section for CET/CFI to simd_x86_64.S
andrew commented on issue weaselab/conflict-set#68 2026-08-03 02:26:44 +00:00
aarch64 Node16 SIMD helpers load uninitialized child slots

This was all written under the assumption that the rules were basically what valgrind tracks, but after reading https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/n4849.pdf#subsection.6.7.4…

andrew opened issue weaselab/conflict-set#71 2026-08-03 02:23:54 +00:00
We write it in assembly because it's not UB in assembly. Not because MSAN doesn't track it.
andrew created pull request weaselab/conflict-set#70 2026-08-03 01:58:08 +00:00
Run valgrind in arm64 release in CI
andrew pushed to valgrind-in-arm at weaselab/conflict-set 2026-08-03 01:57:54 +00:00
29ccae53c3 Run valgrind in arm64 release in CI
andrew created branch valgrind-in-arm in weaselab/conflict-set 2026-08-03 01:57:54 +00:00
andrew pushed to main at weaselab/conflict-set 2026-08-03 01:41:06 +00:00
b19981ee3c Only pass -stdlib=libc++ for c++
12650e2132 Update README.md
6fed133212 Remove UB from indeterminate value handling
Compare 3 commits »
andrew commented on issue weaselab/conflict-set#39 2026-08-03 01:20:39 +00:00
arm64: valgrind false positives in checkMaxBetweenExclusiveImpl with clang 21+ (csel definedness pessimization)

Turns out according to https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/n4849.pdf#subsection.6.7.4 the source is actually UB. Still potentially a good valgrind improvement though

andrew closed pull request weaselab/conflict-set#67 2026-07-23 19:48:05 +00:00
Add MemorySanitizer build to CI
andrew pushed to main at weaselab/conflict-set 2026-07-23 19:17:39 +00:00
9d15af772e Run msan in CI. Closes #66
andrew closed issue weaselab/conflict-set#66 2026-07-23 19:17:39 +00:00
Add a memory sanitizer build to CI
andrew pushed to main at weaselab/conflict-set 2026-07-23 18:16:50 +00:00
22159c38c5 Add Grafana dashboard for server bench metrics
andrew commented on issue weaselab/conflict-set#66 2026-07-22 22:39:09 +00:00
Add a memory sanitizer build to CI

Use the msan-ci branch as a starting point

andrew pushed to msan-ci at weaselab/conflict-set 2026-07-22 22:14:53 +00:00
671ac82860 ci: add MemorySanitizer CI job
andrew created branch msan-ci in weaselab/conflict-set 2026-07-22 22:14:53 +00:00
andrew pushed to main at weaselab/conflict-set 2026-07-22 21:38:38 +00:00
8afe5ec75b Add new coverage to corpus
andrew opened issue weaselab/conflict-set#66 2026-07-22 20:20:50 +00:00
Add a memory sanitizer build to CI
andrew deleted branch weaselbot/issue-55 from weaselbot/weaseljson 2026-07-20 18:06:57 +00:00