From: Chris Lattner <sabre@nondot.org>
Date: Tue, 3 Feb 2009 21:51:37 +0000 (+0000)
Subject: update a couple entries, add a new idea
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=d5ab36e48c1a325a4eea4444afee22bef1a6fd3f;p=clang

update a couple entries, add a new idea


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@63665 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/www/get_involved.html b/www/get_involved.html
index 8d0c685113..f18ebef48f 100644
--- a/www/get_involved.html
+++ b/www/get_involved.html
@@ -77,15 +77,16 @@ compile it.  If not, please let us know.  Again,
 <a href="get_started.html#ccc"><code>ccc</code></a> might help you.  Once it
 compiles it should run.  If not, that's a bug :)</li>
 
-<li><b>Work on code generation for Objective C</b>: -emit-llvm support for
-Objective C is basically nonexistent at the time of this writing, this is a
-nice open project that can be tackled incrementally (one language feature at a
-time).</li>
-
-<li><b>Debug Info Generation</b>: -emit-llvm doesn't currently support emission
+<li><b>Debug Info Generation</b>: -emit-llvm doesn't fully support emission
 of <a href="http://llvm.org/docs/SourceLevelDebugging.html">LLVM debug info</a>
-(which the code generator turns into DWARF).  Adding this should be
-straight-forward if you follow the example of what llvm-gcc generates.</li>
+(which the code generator turns into DWARF).  The missing pieces are pretty 
+minor at this point.</li>
+
+<li><b>Overflow detection</b>: an interesting project would be to add a 
+compilation mode that causes -emit-llvm to generate overflow tests for all
+signed integer arithmetic operators, and call abort if they overflow.  Overflow
+is undefined in C and hard for people to reason about.  LLVM IR also has
+intrinsics for generating arithmetic with overflow checks directly.</li>
 
 <li><b>Continue work on C++ support</b>: Implementing all of C++ is a very big
 job, but there are lots of little pieces that can be picked off and implemented.