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

[Manuel Klimek]

Thx for taking care of this! Added several regression tests, fixed, and
reapplied in r215096.


On Wed, Aug 6, 2014 at 11:53 PM, Rui Ueyama <ruiu at google.com> wrote:

> 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/20140807/73dfda94/attachment.html>