From f77cdabb58eaf05dbec3f663c8b33d8ba1eed2db Mon Sep 17 00:00:00 2001
From: John Criswell <criswell@uiuc.edu>
Date: Tue, 6 Apr 2010 14:52:14 +0000
Subject: [PATCH] Adding SAFECode to the list of projects that work with LLVM
 2.7.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@100525 91177308-0d34-0410-b5e6-96231b3b80d8
---
 docs/ReleaseNotes.html | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html
index e1198bc8278..a66a51f957e 100644
--- a/docs/ReleaseNotes.html
+++ b/docs/ReleaseNotes.html
@@ -456,6 +456,22 @@ recompilation of larger parts of the compiler chain.</p>
 
 </div>
 
+<!--=========================================================================-->
+<div class="doc_subsection">
+<a name="safecode">SAFECode Compiler</a>
+</div>
+
+<div class="doc_text">
+<p>
+<a href="http://safecode.cs.illinois.edu">SAFECode</a> is a memory safe C
+compiler built using LLVM.  It takes standard, unannotated C code, analyzes the
+code to ensure that memory accesses and array indexing operations are safe, and
+instruments the code with run-time checks when safety cannot be proven
+statically.
+</p>
+</div>
+
+
 <!-- *********************************************************************** -->
 <div class="doc_section">
   <a name="whatsnew">What's New in LLVM 2.7?</a>
-- 
2.34.1