From 3ba2a1fa1e76a80148b7a7e6fe03a7fc46a071da Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Mon, 11 Apr 2022 12:15:29 -0400 Subject: [PATCH 1/1] add reddit link --- personal/_posts/2022-04-11-provenance-exposed.md | 1 + 1 file changed, 1 insertion(+) diff --git a/personal/_posts/2022-04-11-provenance-exposed.md b/personal/_posts/2022-04-11-provenance-exposed.md index 7f8367c..47160fa 100644 --- a/personal/_posts/2022-04-11-provenance-exposed.md +++ b/personal/_posts/2022-04-11-provenance-exposed.md @@ -3,6 +3,7 @@ title: "Pointers Are Complicated III, or: Pointer-integer casts exposed" categories: rust research license: CC BY-SA 4.0 license-url: https://creativecommons.org/licenses/by-sa/4.0/ +reddit: /rust/comments/u1bbqn/pointers_are_complicated_iii_or_pointerinteger/ --- In my [previous blog post on pointer provenance]({% post_url 2020-12-14-provenance %}), I have shown that not thinking carefully about pointers can lead to a compiler that is internally inconsistent: -- 2.30.2