r214962 - Fix modelling of non-lifetime-extended temporary destructors in the analyzer.

[Rui Ueyama]

After this changelist, the following program does not compile with
-Wreturn-type -Werror because it says control may reach the end of non-void
function. Let me revert this change.

#include <cstdlib>

class NoReturn {
public:
  ~NoReturn() __attribute__((noreturn)) { exit(1); }
};

int check() {
  true ? NoReturn() : NoReturn();
}


On Wed, Aug 6, 2014 at 7:31 AM, Manuel Klimek <klimek at google.com> wrote:

> On Wed, Aug 6, 2014 at 4:24 PM, Amara Emerson <amara.emerson at gmail.com>
> wrote:
>
>> Hi Manuel,
>>
>> FYI there's compiler warning due to an extra ';' here:
>>
>
> Thanks, fixed in  r214970. No idea why my compile didn't catch this...
>
>
>> > +REGISTER_TRAIT_WITH_PROGRAMSTATE(InitializedTemporariesSet,
>> > +
>> llvm::ImmutableSet<CXXBindTemporaryContext>);
>>
>> Amara
>>
>
>
> _______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140806/8392feeb/attachment.html>