Thanks very much for the example!
I committed it together with the design correction in r338918.
Alexander Kornienko ezt írta (időpont: 2018. aug. 3.,
P, 5:36):
> Thanks for the prompt fix, it solved the problem.
>
> In case you want to add a regression test, this is what I came up with:
> $ cat
Thanks for the prompt fix, it solved the problem.
In case you want to add a regression test, this is what I came up with:
$ cat test-isCalledOnStringObject.cc
char *c();
class B {};
void d() {
B g, *h;
*(void **)&h = c() + 1;
*h = g;
}
$ ./clang-tidy -checks=-*,clang-analyzer* test-isCalledO
Thanks for the notice. Have you managed to get the repro? I haven't
succeeded in constructing one yet, but I've committed a check for the
CXXRecordDecl. I hope that fixes the crashes.
Alexander Kornienko ezt írta (időpont: 2018. aug. 2.,
Cs, 11:07):
>
>
> On Mon, Jul 30, 2018 at 5:44 PM Reka Kov
On Mon, Jul 30, 2018 at 5:44 PM Reka Kovacs via cfe-commits <
cfe-commits@lists.llvm.org> wrote:
> Author: rkovacs
> Date: Mon Jul 30 08:43:45 2018
> New Revision: 338259
>
> URL: http://llvm.org/viewvc/llvm-project?rev=338259&view=rev
> Log:
> [analyzer] Add support for more invalidating function
Author: rkovacs
Date: Mon Jul 30 08:43:45 2018
New Revision: 338259
URL: http://llvm.org/viewvc/llvm-project?rev=338259&view=rev
Log:
[analyzer] Add support for more invalidating functions in InnerPointerChecker.
According to the standard, pointers referring to the elements of a
`basic_string` ma