PR36055: fix computation of *-dependence in nested initializer lists.
authorRichard Smith <richard-llvm@metafoo.co.uk>
Wed, 7 Feb 2018 22:25:16 +0000 (22:25 +0000)
committerRichard Smith <richard-llvm@metafoo.co.uk>
Wed, 7 Feb 2018 22:25:16 +0000 (22:25 +0000)
commitf3b4ca89e7ac55cfda8734630863e866a6da14cd
tree14d43e1456ec2bab2954c14c13d22eaf916ed38a
parent1db5ebc016c277ab55c25eec7e14dadb753eeb27
PR36055: fix computation of *-dependence in nested initializer lists.

When we synthesize an implicit inner initializer list when analyzing an outer
initializer list, we add it to the outer list immediately, and then fill in the
inner list. This gives the outer list no chance to update its *-dependence bits
with those of the completed inner list. To fix this, re-add the inner list to
the outer list once it's completed.

Note that we do not recompute the *-dependence bits from scratch when we
complete an outer list; this would give the wrong result for the case where a
designated initializer overwrites a dependent initializer with a non-dependent
one. The resulting list in that case should still be dependent, even though all
traces of the dependence were removed from the semantic form.

llvm-svn: 324537
clang/lib/Sema/SemaInit.cpp
clang/test/SemaCXX/init-expr-crash.cpp
clang/test/SemaTemplate/instantiate-init.cpp