diff options
| -rw-r--r-- | docs/AdvancedGetElementPtr.html | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/docs/AdvancedGetElementPtr.html b/docs/AdvancedGetElementPtr.html index a6baa13219..191e30d818 100644 --- a/docs/AdvancedGetElementPtr.html +++ b/docs/AdvancedGetElementPtr.html @@ -281,10 +281,6 @@ not recommended. It leads to awkward special cases in the optimizers. In the future, it may be outright disallowed.</p> - <p>Instead, you should cast your pointer types and use arrays instead of - vectors for addressing. Arrays have the same in-memory representation - as vectors, so the addressing is interchangeable.</p> - </div> <!-- *********************************************************************** --> |