tree abd2ec9ba0168a9f0d4197ca1e55725e4b6d6270
parent 6e24726524c2b51b31bb4b622aa678a46b024f42
author Sebastian Redl <sebastian.redl@getdesigned.at> 1255176250 +0000
committer Sebastian Redl <sebastian.redl@getdesigned.at> 1255176250 +0000

Implement the core checking for compatible exception specifications in assignment and initialization.

The exception specification of the assignee must be the same or a subset of the target. In addition, exception specifications on arguments and return types must be equivalent, but this is not implemented yet.
This currently produces two diagnostics for every invalid assignment/initialization, due to the diagnostic produced outside PerformImplicitConversion, e.g. in CheckSingleInitializer. I don't know how to suppress this; in any case I think it is the wrong place for a diagnostic, since there are other diagnostics produced inside the function. So I'm leaving it as it is for the moment.

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