diff options
| author | Douglas Gregor <dgregor@apple.com> | 2009-02-11 00:19:33 +0000 |
|---|---|---|
| committer | Douglas Gregor <dgregor@apple.com> | 2009-02-11 00:19:33 +0000 |
| commit | 3a7796bccc3682d1d206d62f367ec409cdfd21f5 (patch) | |
| tree | e72469db2dd718c320fbfb8729bfc1e2406644a9 /clang/lib/Analysis/RegionStore.cpp | |
| parent | c8dcf4d72bec6eb1b0402941fe4e865eb7c39f83 (diff) | |
| download | bcm5719-llvm-3a7796bccc3682d1d206d62f367ec409cdfd21f5.tar.gz bcm5719-llvm-3a7796bccc3682d1d206d62f367ec409cdfd21f5.zip | |
Add partial semantic checking of template arguments that are meant for
non-type template parameters of pointer-to-object and
pointer-to-function type. The most fun part of this is the use of
overload resolution to pick a function from the set of overloaded
functions that comes in as a template argument.
Also, fixed two minor bugs in this area:
- We were allowing non-type template parameters of type pointer to
void.
- We weren't patching up an expression that refers to an overloaded
function set via "&f" properly.
We're still not performing complete checking of the expression to be
sure that it is referring to an object or function with external
linkage (C++ [temp.arg.nontype]p1).
llvm-svn: 64266
Diffstat (limited to 'clang/lib/Analysis/RegionStore.cpp')
0 files changed, 0 insertions, 0 deletions

