r284960 - [analyzer] Add StdLibraryFunctions checker.

[Artem Dergachev via cfe-commits]

Thanks! Should get better with r285000.

On 10/24/16 9:34 PM, Evgenii Stepanov wrote:
> This code also fails with UBSan:
>
> tools/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp:285:62:
> runtime error: signed integer overflow: 9223372036854775807 + 1 cannot
> be represented in type 'long'
>      #0 0x5e1642f in (anonymous
> namespace)::StdLibraryFunctionsChecker::ValueRange::applyAsWithinRange(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState
> const>, clang::ento::CallEvent const&, (anonymous
> namespace)::StdLibraryFunctionsChecker::FunctionSummaryTy const&)
> const /mnt/b/sanitizer-buildbot3/sanitizer-x86_64-linux-fast/build/llvm/tools/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp:285:62
>      #1 0x5e0f4c3 in (anonymous
> namespace)::StdLibraryFunctionsChecker::ValueRange::apply(llvm::IntrusiveRefCntPtr<clang::ento::ProgramState
> const>, clang::ento::CallEvent const&, (anonymous
> namespace)::StdLibraryFunctionsChecker::FunctionSummaryTy const&)
> const /mnt/b/sanitizer-buildbot3/sanitizer-x86_64-linux-fast/build/llvm/tools/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp:149:16
>      #2 0x5e0eb00 in (anonymous
> namespace)::StdLibraryFunctionsChecker::checkPostCall(clang::ento::CallEvent
> const&, clang::ento::CheckerContext&) const
> /mnt/b/sanitizer-buildbot3/sanitizer-x86_64-linux-fast/build/llvm/tools/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp:350:21
>
>
> http://lab.llvm.org:8011/builders/sanitizer-x86_64-linux-fast/builds/18/steps/check-clang%20ubsan/logs/stdio
>
>
> On Mon, Oct 24, 2016 at 6:23 AM, Renato Golin via cfe-commits
> <cfe-commits at lists.llvm.org> wrote:
>> On 24 October 2016 at 14:09, Artem Dergachev <noqnoqneo at gmail.com> wrote:
>>> Strange, i'm not receiving any buildbot emails again. Will look through bots
>>> manually next time, that doesn't sound too hard. Pushed a hotfix in r284969.
>> The buildmaster was restarted this weekend and got all old builds data wiped.
>>
>> I only know because I have a monitoring page.
>>
>> Galina,
>>
>> Any info on the server migration and the email configuration?
>>
>> Thanks!
>> --renato
>> _______________________________________________
>> cfe-commits mailing list
>> cfe-commits at lists.llvm.org
>> http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits