tree d7b7b2764288d9e116abe7fb5671fca09b08daad
parent da8eda1ab1ae97115f9ed170216ed89b69662578
author Gabor Marton <gabor.marton@ericsson.com> 1585839542 +0200
committer Gabor Marton <gabor.marton@ericsson.com> 1585839611 +0200

[analyzer] StdLibraryFunctionsChecker: fix bug with arg constraints

Summary:
Previously we induced a state split if there were multiple argument
constraints given for a function. This was because we called
`addTransition` inside the for loop.
The fix is to is to store the state and apply the next argument
constraint on that. And once the loop is finished we call `addTransition`.

Reviewers: NoQ, Szelethus, baloghadamsoftware

Subscribers: whisperity, xazax.hun, szepet, rnkovacs, a.sidorin, mikhail.ramalho, donat.nagy, dkrupp, gamesh411, C

Tags: #clang

Differential Revision: https://reviews.llvm.org/D76790