From 8927c19a5ed03bef55dac4b623688387bcc794dc Mon Sep 17 00:00:00 2001
From: ed
Date: Mon, 22 Jun 2009 08:08:35 +0000
Subject: Update Clang sources to r73879.
---
www/OpenProjects.html | 5 +++--
www/analyzer/index.html | 9 +++++----
www/analyzer/latest_checker.html.incl | 2 +-
www/cxx_status.html | 9 ++++++++-
4 files changed, 17 insertions(+), 8 deletions(-)
(limited to 'www')
diff --git a/www/OpenProjects.html b/www/OpenProjects.html
index 4ed6614..c0ee998 100644
--- a/www/OpenProjects.html
+++ b/www/OpenProjects.html
@@ -80,10 +80,11 @@ improve the quality of clang by self-testing. Some examples:
Continue work on C++ support: Implementing all of C++ is a very big
job, but there are lots of little pieces that can be picked off and implemented. Here are some small- to mid-sized C++ implementation projects:
+ - Fix bugs: there are a number of XFAIL'd test cases in Clang's repository (particularly in the CXX subdirectory). Pick a test case and fix Clang to make it work!
+ - Write tests: the CXX test subdirectory in Clang's repository has placeholders for tests of every paragraph in the C++ standard. Pick a paragraph, write a few tests, and see if they work! Even if they don't we'd still like the new tests (with XFAIL'd) so that we know what to fix.
- Type-checking for explicit conversions: currently follows C semantics, not C++ semantics.
- Qualified member references: C++ supports qualified member references such as
x->Base::foo
, but Clang has no parsing or semantic analysis for them.
- - Implicit definitions of special member functions: Clang implicitly declares the various special member functions (default constructor, copy constructor, copy assignment operator, destructor) when necessary, but is not yet able to provide definitions for these functions.
- - Parsing and AST representations of friend classes and functions
+ - Parsing and AST representations of friend classes and functions
- Explicit calls to destructors and pseudo-destructor expressions (
x.~X()
).
- AST representation for implicit C++ conversions: implicit conversions that involve non-trivial operations (e.g., invoking a user-defined conversion function, performing a base-to-derived or derived-to-base conversion) need explicit representation in Clang's AST.
- Improved diagnostics for overload resolution failures: after an overload resolution failure, we currently print out the overload resolution candidates. We should also print out the reason that each candidate failed, e.g., "too few arguments", "too many arguments", "cannot initialize parameter with an lvalue of type 'foo'", etc.
diff --git a/www/analyzer/index.html b/www/analyzer/index.html
index d180e83..2cb3186 100644
--- a/www/analyzer/index.html
+++ b/www/analyzer/index.html
@@ -175,10 +175,11 @@ them.
More Checks
-Static analysis not magic; a static analyzer can only find bugs that it has
-been specifically engineered to find. If there are specific kinds of bugs you
-would like the Clang Static Analyzer to find, please feel free to file feature requests or contribute your own patches.
+Static analysis is not magic; a static analyzer can only find bugs that it
+has been specifically engineered to find. If there are specific kinds of bugs
+you would like the Clang Static Analyzer to find, please feel free to
+file feature requests or contribute your own
+patches.