add reddit link
authorRalf Jung <post@ralfj.de>
Mon, 11 Apr 2022 16:15:29 +0000 (12:15 -0400)
committerRalf Jung <post@ralfj.de>
Mon, 11 Apr 2022 16:15:29 +0000 (12:15 -0400)
personal/_posts/2022-04-11-provenance-exposed.md

index 7f8367c1be7346874fc1314bfee66279253e2d35..47160faf2e784cd33b94332c14f2b39770580513 100644 (file)
@@ -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/
 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:
 ---
 
 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: