[llvm-testresults] buildbot failure in lab.llvm.org on phase1 - sanity

[llvmlab-buildmaster at lab.llvm.org]

The Buildbot has detected a new failure on builder phase1 - sanity while building cfe.
Full details are available at:
 http://lab.llvm.org:8013/builders/phase1%20-%20sanity/builds/10399

Buildbot URL: http://lab.llvm.org:8013/

Buildslave for this Build: macpro1

Build Reason: scheduler
Build Source Stamp: 188681
Blamelist: jrose

BUILD FAILED: failed

sincerely,
 -The Buildbot


================================================================================

CHANGES:
Files:
 lib/Analysis/CFG.cpp
 lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp
 test/Analysis/builtin-functions.cpp
 test/Analysis/cfg.cpp
On: http://10.1.1.2/svn/llvm-project
For: cfe
At: Mon 19 Aug 2013 09:30:28
Changed By: jrose
Comments: Omit arguments of __builtin_object_size from the CFG.

This builtin does not actually evaluate its arguments for side effects,
so we shouldn't include them in the CFG. In the analyzer, rely on the
constant expression evaluator to get the proper semantics, at least for
now. (In the future, we could get ambitious and try to provide path-
sensitive size values.)

In theory, this does pose a problem for liveness analysis: a variable can
be used within the __builtin_object_size argument expression but not show
up as live. However, it is very unlikely that such a value would be used
to compute the object size and not used to access the object in some way.

<rdar://problem/14760817>Properties: 




Files:
 lib/StaticAnalyzer/Checkers/CStringChecker.cpp
 test/Analysis/malloc.c
 test/Analysis/string.c
 www/analyzer/open_projects.html
On: http://10.1.1.2/svn/llvm-project
For: cfe
At: Mon 19 Aug 2013 09:30:28
Changed By: jrose
Comments: [analyzer] Assume that strings are no longer than SIZE_MAX/4.

This keeps the analyzer from making silly assumptions, like thinking
strlen(foo)+1 could wrap around to 0. This fixes PR16558.

Patch by Karthik Bhat!Properties: 




File: www/analyzer/potential_checkers.html
On: http://10.1.1.2/svn/llvm-project
For: cfe
At: Mon 19 Aug 2013 09:30:28
Changed By: jrose
Comments: [analyzer] Add "unmodified variable" checker to the Potential Checkers.

This is PR16890.Properties: 




LOGS: