[Swift CI] Build Failure: 0. OSS - Swift Incremental RA - Ubuntu 16.10 (swift 4.1) #136

/home/buildnode/jenkins/workspace/oss-swift-4.1-incremental-RA-linux-ubuntu-16_10/swift/lib/ClangImporter/ClangAdapter.cpp:288:13: error: enumeration value 'Float16' not handled in switch [-Werror,-Wswitch]
    switch (builtinTy->getKind()) {
            ^
1 error generated.

George, can you please take a look?

···

On Nov 9, 2017, at 4:48 PM, no-reply@swift.org wrote:

[FAILURE] oss-swift-4.1-incremental-RA-linux-ubuntu-16_10 [#136]

Build URL: https://ci.swift.org/job/oss-swift-4.1-incremental-RA-linux-ubuntu-16_10/136/
Project: oss-swift-4.1-incremental-RA-linux-ubuntu-16_10
Date of build: Thu, 09 Nov 2017 18:30:25 -0600
Build duration: 18 min
Identified problems:

Compile Error: This build failed because of a compile error. Below is a list of all errors in the build log:
Indication 1 <https://ci.swift.org//job/oss-swift-4.1-incremental-RA-linux-ubuntu-16_10/136/consoleFull#1055885013122a513-f36a-4c87-8ed7-cbc36a1ec144>
Changes

Commit dd8f0aa111eb19c8ac1b0f563d30e9b4f53b4eaa by ekarpenkov:
This feature allows the analyzer to consider loops to completely unroll.

delete: test/Analysis/loop-unrolling.cpp
edit: lib/StaticAnalyzer/Core/CMakeLists.txt
edit: test/Analysis/analyzer-config.cpp
edit: test/Analysis/analyzer-config.c
edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
edit: lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
delete: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: include/clang/StaticAnalyzer/Core/AnalyzerOptions.h
delete: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h
edit: lib/StaticAnalyzer/Core/AnalyzerOptions.cpp

Commit e64d19ed9c236cf07e5c0b3d04bcf3508e1b178f by ekarpenkov:
[clang] Fix handling of "%zd" in scanf

edit: test/Sema/format-strings-scanf.c
edit: test/Sema/format-strings-fixit-ssize_t.c
edit: lib/Analysis/ScanfFormatString.cpp

Commit afc3cde6ccd826e8448193c4eb7173cb6d3dd1f6 by ekarpenkov:
[analyzer] Further improve suppress-on-sink behavior in incomplete

edit: lib/StaticAnalyzer/Core/BugReporter.cpp

Commit f7993f62b78aeceb3c5a331f7583ee3c955f69d4 by ekarpenkov:
[analyzer] Treat throws as sinks for suppress-on-sink purposes.

edit: lib/StaticAnalyzer/Core/BugReporter.cpp

Commit 0bca31d259d956245ebc645c4303ec837e94e957 by ekarpenkov:
[StaticAnalyzer] Completely unrolling specific loops with known bound

edit: test/Analysis/analyzer-config.c
edit: test/Analysis/analyzer-config.cpp
add: test/Analysis/loop-unrolling.cpp
add: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h
edit: lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
edit: lib/StaticAnalyzer/Core/AnalyzerOptions.cpp
edit: lib/StaticAnalyzer/Core/CMakeLists.txt
add: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: include/clang/StaticAnalyzer/Core/AnalyzerOptions.h
edit: lib/StaticAnalyzer/Core/ExprEngine.cpp

Commit 7a0f37824a3fb141b05c27c6eac45fd58aeff7c1 by ekarpenkov:
[StaticAnalyzer] LoopUnrolling - Attempt to fix a crash in r309006.

edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp

Commit 906c47b1f8be37392661bf4d3fd2fe3e7caf58ae by ekarpenkov:
clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h: Add a forward

edit: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h

Commit 06517adc85762608b6ba0d5b8ffb41819d97e7f3 by ekarpenkov:
[StaticAnalyzer] LoopUnrolling - Attempt #2 to fix a crash in r309006.

edit: lib/Analysis/ThreadSafety.cpp
edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: include/clang/Basic/Attr.td
edit: test/SemaCXX/warn-thread-safety-analysis.cpp
edit: test/Sema/attr-capabilities.c
edit: lib/Sema/SemaDeclAttr.cpp

Commit d60337edb3996059a651936c4f3480bc0bd7c945 by ekarpenkov:
[analyzer] Rename functions responsible for CFG-based suppress-on-sink.

edit: lib/StaticAnalyzer/Core/BugReporter.cpp

Commit 7d69806d71716cf6f99c0976db621af82e7a130c by ekarpenkov:
[analyzer] Fix SimpleSValBuilder::simplifySVal

edit: test/Analysis/ptr-arith.cpp

Commit dc8a1bf5fc840a699529db761add2bdebd65899a by ekarpenkov:
[StaticAnalyzer] LoopUnrolling: Exclude cases where the counter is

edit: test/Analysis/loop-unrolling.cpp
edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
edit: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h

Commit b996a9b1a77808c83d5d2c26a02af3a945932f51 by ekarpenkov:
[CFG] Add LoopExit information to CFG

edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
edit: test/Analysis/analyzer-config.cpp
edit: lib/StaticAnalyzer/Core/AnalysisManager.cpp
edit: test/Analysis/analyzer-config.c

Commit 12eb9e29219c068fabbd024a6d3365779efd15db by ekarpenkov:
[StaticAnalyzer] Handle LoopExit CFGElement in the analyzer

edit: lib/StaticAnalyzer/Core/ExprEngine.cpp

Commit 124a8999c0a77d2dd50121a2f6459451a846f2d9 by ekarpenkov:
[StaticAnalyzer] LoopUnrolling: Track a LoopStack in order to completely

edit: test/Analysis/loop-unrolling.cpp
edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
edit: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h

Commit c0560b88bc912ea43c77a1571a80beba06359222 by ekarpenkov:
Test commit access.

edit: include/clang/Analysis/CloneDetection.h

Commit 4abe27128fd379e9a80ed58a2513064e7d3543ef by ekarpenkov:
[analyzer] Make StmtDataCollector customizable

edit: lib/Analysis/CloneDetection.cpp

Commit b06b9ce2205ab0858f3f1fb8f2fc0fa34fa47985 by ekarpenkov:
[StaticAnalyzer] LoopUnrolling fixes

edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
edit: test/Analysis/loop-unrolling.cpp
edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: lib/StaticAnalyzer/Core/AnalysisManager.cpp

Commit f2b5d82096f2955d1f547f616ce4fb0bb58c8a5e by ekarpenkov:
[StaticAnalyzer] LoopUnrolling: Excluding loops which splits the state

edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: test/Analysis/loop-unrolling.cpp

Commit f298eb4879a6b58c9a49cf79e3d2a5587a749bb9 by ekarpenkov:
[StaticAnalyzer] LoopUnrolling: Keep track the maximum number of steps

edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h
edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
edit: test/Analysis/loop-unrolling.cpp

Commit a31d1737e66fd54b80e29669f8ba9e44b2eff598 by ekarpenkov:
[analyzer] Fix crash in modeling arithmetic

edit: test/Analysis/ptr-arith.cpp

Commit cc82ca0d896c2a0855dbd72751eb34de1a987c72 by ekarpenkov:
Remove trailing space.

edit: lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp

Commit 5a4f1c8d15e1a410af98e377dca3c8d138274aa7 by ekarpenkov:
[analyzer] Adjust ptr arithmetic test

edit: test/Analysis/ptr-arith.cpp

Commit f3487ae9d842c56ddfa015114392188e7d4cc236 by ekarpenkov:
std::function -> llvm::function_ref. NFC.

edit: lib/Analysis/CloneDetection.cpp
edit: lib/Parse/ParseExpr.cpp
edit: include/clang/Parse/Parser.h
edit: include/clang/Analysis/CloneDetection.h

Commit 8d2492fffafcce8d60a101807024e11f8e68bf83 by ekarpenkov:
[analyzer] MinComplexityConstraint now early exits and only does one

edit: lib/Analysis/CloneDetection.cpp

Commit f7008c30798aabd5c59480734818adfbdba85ccc by ekarpenkov:
Removed dead code (PR34467). NFCI.

edit: lib/StaticAnalyzer/Core/CallEvent.cpp

Commit 26aceffb18e381d33b23834e645ceb29b548f121 by ekarpenkov:
[NFC] [CSA] Move AnyFunctionCall::getRuntimeDefinition implementation to

edit: lib/StaticAnalyzer/Core/CallEvent.cpp

Commit d5df1b7bf36cda849ae28049d37f02bf2f5b4dfd by ekarpenkov:
Add _Float16 as a C/C++ source language type

edit: include/clang/Sema/DeclSpec.h
edit: lib/Format/FormatToken.cpp
edit: lib/AST/MicrosoftMangle.cpp
edit: lib/Lex/LiteralSupport.cpp
edit: lib/CodeGen/CGExprScalar.cpp
edit: lib/CodeGen/CGDebugInfo.cpp
edit: lib/Serialization/ASTCommon.cpp
edit: lib/CodeGen/ItaniumCXXABI.cpp
edit: lib/Parse/ParseExprCXX.cpp
edit: lib/AST/StmtPrinter.cpp
edit: lib/Sema/SemaType.cpp
edit: lib/Analysis/PrintfFormatString.cpp
edit: lib/Parse/ParseDecl.cpp
edit: include/clang/AST/BuiltinTypes.def
edit: include/clang/Basic/TokenKinds.def
edit: lib/Sema/DeclSpec.cpp
edit: include/clang/Lex/LiteralSupport.h
edit: lib/AST/NSAPI.cpp
edit: lib/AST/ASTContext.cpp
edit: include/clang-c/Index.h
edit: lib/AST/Type.cpp
edit: lib/Sema/SemaTemplateVariadic.cpp
edit: lib/AST/TypeLoc.cpp
edit: lib/Sema/SemaExpr.cpp
edit: tools/libclang/CXType.cpp
add: test/Frontend/float16.cpp
edit: test/Lexer/half-literal.cpp
edit: lib/Serialization/ASTReader.cpp
edit: include/clang/Basic/Specifiers.h
edit: lib/AST/ItaniumMangle.cpp
edit: lib/CodeGen/CodeGenTypes.cpp
edit: lib/Parse/ParseTentative.cpp
edit: lib/Index/USRGeneration.cpp
edit: lib/Parse/ParseExpr.cpp
edit: lib/Sema/SemaDecl.cpp
add: test/CodeGenCXX/float16-declarations.cpp
edit: include/clang/AST/ASTContext.h
edit: include/clang/Serialization/ASTBitCodes.h

Commit 149ae512d098e560c7541ecee8057878eb7702f0 by ekarpenkov:
Updated two annotations for Store.h and CodeGenFunction.h.

edit: include/clang/StaticAnalyzer/Core/PathSensitive/Store.h
edit: lib/CodeGen/CodeGenFunction.h

Commit fbec1c93f9e7f1b7c2b618ed9411887f7b609638 by ekarpenkov:
[Analyzer] Check function name size before indexing.

edit: test/Analysis/retain-release.mm

Commit 1d144d87858b1d11b7b5aa448d52f07813df5872 by ekarpenkov:
[Analyzer] Log when auto-synthesized body is used.

edit: lib/StaticAnalyzer/Core/CallEvent.cpp

Commit cffab114b5a7af2c77cbd472fd0c12eb1563c083 by ekarpenkov:
[analyzer] Fix crash on modeling of pointer arithmetic

edit: test/Analysis/ptr-arith.cpp

Commit 060e80f1e5e6fd4ed8547b8da056dbc6eb70b9b5 by ekarpenkov:
[analyzer] Fix and refactor bugreporter::getDerefExpr() API.

edit: test/Analysis/null-deref-path-notes.c
edit: lib/StaticAnalyzer/Core/BugReporterVisitors.cpp

Commit 331748093f254a4d895f58221b51260ad60e9f59 by ekarpenkov:
[analyzer] Match more patterns in bugreporter::getDerefExpr() API.

edit: test/Analysis/null-deref-path-notes.c
edit: lib/StaticAnalyzer/Core/BugReporterVisitors.cpp

Commit 9a1a3f47cc175cb4588451e2c6bf2147407e16f0 by ekarpenkov:
[analyzer] Fix an outdated comment in a test. NFC.

edit: test/Analysis/null-deref-path-notes.c

Commit 38c7ee9527ef17795778d60bbcea3b9c6d3140db by ekarpenkov:
Consolidate std::move() detection code. No behavior change.

edit: lib/Analysis/UninitializedValues.cpp
edit: lib/Sema/SemaDecl.cpp
edit: lib/Sema/SemaChecking.cpp
edit: lib/Analysis/Consumed.cpp
edit: include/clang/AST/Expr.h
edit: lib/Sema/SemaDeclCXX.cpp

Commit 59ce53dd573be60543518df843b65654af2c7a86 by ekarpenkov:
[Analyzer] Synthesize function body for std::call_once

edit: lib/Analysis/BodyFarm.cpp
edit: test/Analysis/call_once.cpp

Commit 30d7f27b056f59a148ad94187215c42a25dd902b by ekarpenkov:
[Analyzer] Add dummy implementation to call_once to avoid linkage

edit: test/Analysis/call_once.cpp

Commit dcebbb469882a937029b06551e137bc83b181668 by ekarpenkov:
[Analysis] Remove unused makeLvalueToRValue variant.

edit: lib/Analysis/BodyFarm.cpp

Commit 873b993ebca1ee3e58a37a6e6ecf7bd21d12030f by ekarpenkov:
[Analyzer] Avoid copy and modifying passed reference in

edit: lib/Analysis/BodyFarm.cpp

Commit 8765059828a1068d64efb6d881e0ed0285e1084c by ekarpenkov:
[Analyzer] More granular special casing in RetainCountChecker

edit: test/Analysis/retain-release.mm

Commit 1b0dc86f9f78cba3c68b918eece93417e5be5769 by ekarpenkov:
Fix assertion failure in thread safety analysis (PR34800).

edit: test/SemaCXX/warn-thread-safety-analysis.cpp
edit: include/clang/Analysis/Analyses/ThreadSafetyTIL.h

Commit a69b19c1f90382009ab1e33bd09d6fbba488d416 by ekarpenkov:
[Analyzer] Do not segfault on unexpected call_once implementation

edit: test/Analysis/call_once.cpp
edit: lib/Analysis/BodyFarm.cpp

Commit 6f9007aa64c85e096758d8dfb74561e903c5b5bd by ekarpenkov:
[analyzer] PthreadLockChecker: Add printState() method for

edit: lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp

Commit a39d414b498acc08d9d35b10878f4eabb87c443e by ekarpenkov:
[analyzer] MisusedMovedObject: Add printState() method for

edit: lib/StaticAnalyzer/Checkers/MisusedMovedObjectChecker.cpp

Commit 143e4db9c87a25aac299e21097a165cae0987964 by ekarpenkov:
[analyzer] MisusedMovedObject: Fix state-resetting a base-class

edit: test/Analysis/MisusedMovedObject.cpp
edit: lib/StaticAnalyzer/Checkers/MisusedMovedObjectChecker.cpp

Commit db6dcd1defc3c6b7dfdad128fb0f104ed06786c2 by ekarpenkov:
[Analyzer] Clarify error messages for undefined result

edit: lib/StaticAnalyzer/Core/CheckerContext.cpp
edit: include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
edit: lib/StaticAnalyzer/Checkers/ConversionChecker.cpp
edit: test/Analysis/bitwise-ops.c
edit: lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp

Commit db1137dd24933af1118b230d1c37a3f2bf4e25eb by ekarpenkov:
[Analyzer] Assume that string-like const globals are non-nil.

add: lib/StaticAnalyzer/Checkers/NonnullStringConstantsChecker.cpp
add: test/Analysis/nonnull-string-constants.mm
edit: include/clang/StaticAnalyzer/Checkers/Checkers.td
edit: lib/StaticAnalyzer/Checkers/CMakeLists.txt

Commit 2c3ea8204856bea1500883d696a03d6b6c957cfe by ekarpenkov:
[Analyzer] Fix introduced regression: properly check for nullable

edit: lib/StaticAnalyzer/Checkers/NonnullStringConstantsChecker.cpp

Commit 27dd0433aa567898ee535eecbdda7ef2a796ccb4 by ekarpenkov:
[Analyzer] Support bodyfarming libstdc++ implementation of

edit: test/Analysis/call_once.cpp
edit: lib/Analysis/BodyFarm.cpp

Commit 214b8b4ffa5966e706860e67e8737ad198331949 by ekarpenkov:
SVal::getAsSymbol(bool IncludeBaseRegions): Follow

edit: lib/StaticAnalyzer/Core/SVals.cpp

Commit bffc50a17ec432bdbd1a5964b2121674e5deb9f5 by ekarpenkov:
[Analyzer] Assume that CFBooleanRef const globals are non-null

edit: include/clang/StaticAnalyzer/Checkers/Checkers.td
delete: lib/StaticAnalyzer/Checkers/NonnullStringConstantsChecker.cpp
delete: test/Analysis/nonnull-string-constants.mm
edit: lib/StaticAnalyzer/Checkers/CMakeLists.txt

Commit 7b1e725eced6558bd7afd921b36b88287d68ba0b by ekarpenkov:
[analyzer] RetainCount: Ignore annotations on user-made CFRetain

add: test/Analysis/retain-release-safe.c
edit: lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp

Commit b8a8ed1001088b6ac861f197b6456470279dbb42 by ekarpenkov:
[analyzer] CStringChecker: pr34460: Avoid a crash when a cast is not

edit: test/Analysis/casts.c
edit: test/Analysis/bstring.cpp
edit: lib/StaticAnalyzer/Checkers/CStringChecker.cpp

Commit d16d91e437949f85c4a9b474fa09a10c5fc61084 by ekarpenkov:
[analyzer] pr28449: Fix support for various array initializers.

add: test/Analysis/objc-encode.m
edit: lib/StaticAnalyzer/Core/RegionStore.cpp
add: test/Analysis/compound-literals.c

Commit 0ca415cf5d4ec3dafaa22b1ab81b1e33dc0fc3be by ekarpenkov:
[Analyzer] Always use non-reference types when creating expressions in

edit: test/Analysis/call_once.cpp
edit: lib/Analysis/BodyFarm.cpp

Commit 9a83db51eff6e887517afb6ece4ed2c380d4de77 by ekarpenkov:
[analyzer] Dump signed integers in SymIntExpr and IntSymExpr correctly

edit: lib/StaticAnalyzer/Core/SymbolManager.cpp
edit: test/Analysis/expr-inspection.c

Commit acd52cca7377bbca1065d4c5be930feab603347e by ekarpenkov:
[Analyzer] Correctly handle parameters passed by reference when

edit: lib/Analysis/BodyFarm.cpp
edit: test/Analysis/call_once.cpp

Commit b780292e981346db8f2e8ddcf6d0ab06b4a723c0 by ekarpenkov:
[analyzer] Fix handling of labels in getLValueElement

edit: lib/StaticAnalyzer/Core/Store.cpp
edit: test/Analysis/ptr-arith.c

Commit 28d7d919a277125f336680e55117663a2028e909 by ekarpenkov:
[Analyzer] Do not use static storage to for implementations created in

edit: include/clang/Analysis/AnalysisDeclContext.h
edit: lib/StaticAnalyzer/Core/AnalysisManager.cpp
delete: lib/Analysis/BodyFarm.h
edit: lib/Analysis/BodyFarm.cpp
add: include/clang/Analysis/BodyFarm.h
edit: lib/Analysis/AnalysisDeclContext.cpp

Commit cc9fd2884c6e7e8d20a55bccd41a6ab5661b345e by ekarpenkov:
[Analyzer] Handle implicit function reference in bodyfarming

edit: test/Analysis/call_once.cpp
edit: lib/Analysis/BodyFarm.cpp

Commit cb4c5d530d211f545c15d296f903520e64e950a2 by ekarpenkov:
[Analyzer] Fix for the memory leak: fix typo in if-statement.

edit: lib/Analysis/AnalysisDeclContext.cpp

Commit 3ddfc14398382412905fe35d0af10b16c14e5016 by ekarpenkov:
[Analyzer] Store BodyFarm in std::unique_ptr

edit: include/clang/Analysis/AnalysisDeclContext.h
edit: lib/Analysis/AnalysisDeclContext.cpp

Commit a0447d4b49a74c246c2c55f2dfd9fbda7979769d by ekarpenkov:
[Analyzer] Remove unnecessary semicolon in analyzer tests.

edit: test/Analysis/call_once.cpp

Commit b77e9f981e12492d644432db05da62957e9d1e3a by ekarpenkov:
[Analyzer] Remove spaces inside comments mentioning the parameter name,

edit: lib/Analysis/BodyFarm.cpp

Commit fed64e6c37d7d0df933909f8de38e587c3502b80 by ekarpenkov:
[Analyzer] Give more descriptive name to BdyFrm field.

edit: include/clang/Analysis/AnalysisDeclContext.h
edit: lib/Analysis/AnalysisDeclContext.cpp

Commit 18b340d6d1d6ac9f57b57c01e350adf8b70452c5 by ekarpenkov:
StaticAnalyzer: Modularize/fix ODR violations making functions inline

edit: include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h
edit: include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
edit: include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h
edit: include/clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h

Commit 6fb3e97efa15e187d7d65819b4f86ad8b79ecbeb by ekarpenkov:
[analyzer] LoopUnrolling: check the bitwidth of the used numbers

edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: test/Analysis/loop-unrolling.cpp

Commit 3051cf1284ff85b47cff0976733dc1a2e1418b98 by ekarpenkov:
[analyzer] MisusedMovedObjectChecker: Fix false positive on

edit: lib/StaticAnalyzer/Checkers/MisusedMovedObjectChecker.cpp
edit: test/Analysis/MisusedMovedObject.cpp

Commit bac61e62e1d452a744a630a15d921b2b05aad0ac by ekarpenkov:
[analyzer] MisusedMovedObjectChecker: More precise warning message

edit: lib/StaticAnalyzer/Checkers/MisusedMovedObjectChecker.cpp
edit: test/Analysis/MisusedMovedObject.cpp

Commit de4e17bd12d9ed46bb86bf2f4d1d751ebde9d8e2 by ekarpenkov:
[analyzer] Handle ObjC messages conservatively in CallDescription

add: test/Analysis/block-in-critical-section.m
edit: lib/StaticAnalyzer/Core/CallEvent.cpp

Commit c5b62bb9671dadb9a86639d9ec1377de0a711a24 by ekarpenkov:
Add missing expected-no-diagnostics comment to test.

edit: test/Analysis/block-in-critical-section.m

Commit ca1452809903276d28dd21d786d6d2b4e0f92a24 by ekarpenkov:
[analyzer] lock_guard and unique_lock extension for

edit: test/Analysis/block-in-critical-section.cpp
edit: lib/StaticAnalyzer/Checkers/BlockInCriticalSectionChecker.cpp

Commit d3362a17b8e1562bd5d08c4964dd819811c5fafc by ekarpenkov:
[analyzer] Make issue hash related tests more concise

edit: include/clang/StaticAnalyzer/Checkers/Checkers.td
edit: lib/StaticAnalyzer/Checkers/DebugCheckers.cpp
edit: test/Analysis/bug_hash_test.m
edit: test/Analysis/bug_hash_test.cpp
edit: lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp

Commit 24265f1164e4ed1d76bce841733f4d9f1b7ee771 by ekarpenkov:
[analyzer] Use the signature of the primary template for issue hash

edit: test/Analysis/bug_hash_test.cpp
edit: lib/StaticAnalyzer/Core/IssueHash.cpp
edit: test/Analysis/edges-new.mm

Commit 049341613cf6c0d48ab1ad505bd4e7dc2fe99494 by ekarpenkov:
[analyzer] Left shifting a negative value is undefined

edit: lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp
edit: lib/StaticAnalyzer/Core/BasicValueFactory.cpp
edit: test/Analysis/bitwise-ops.c

Commit 28c7833db6abf8477cb135cd5fc6cb266cf82728 by ekarpenkov:
[analyzer] Use the same filename for the header and the implementation

add: include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h
edit: include/clang/StaticAnalyzer/Core/BugReporter/BugReporter.h
edit: lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
delete: include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitor.h

Commit b9aa29a12d87685d65c7d5b1156aacf9c1dbadaa by ekarpenkov:
[Analyzer] Use value storage for BodyFarm

edit: include/clang/Analysis/BodyFarm.h
edit: include/clang/Analysis/AnalysisDeclContext.h
edit: lib/Analysis/AnalysisDeclContext.cpp

Commit 943d8175334accadeef6d18f5b50447b70029462 by ekarpenkov:
[analyzer] Removing unused stored field.

edit: include/clang/Analysis/AnalysisDeclContext.h
edit: lib/Analysis/AnalysisDeclContext.cpp

Commit fd223b4920078fbe4f78235d8e99ac4128668e05 by ekarpenkov:
[analyzer] do not crash on libcxx03 call_once implementation

edit: test/Analysis/call_once.cpp
edit: lib/Analysis/BodyFarm.cpp

Commit 2798345355463a41fe22ab3b0525123b0aa4bbc4 by ekarpenkov:
[analyzer] [NFC] very minor ExprEngineC refactoring

edit: lib/StaticAnalyzer/Core/ExprEngineC.cpp

Commit 2f1ac35e064e39e0b8748a616ff70ab8f999e241 by ekarpenkov:
[analyzer] Model correct dispatch_once() 'done' value in BodyFarm

edit: lib/Analysis/BodyFarm.cpp
edit: test/Analysis/unix-fns.c

Commit 7b165352372582489fcc7739e4d5a553a5ddc2fb by ekarpenkov:
[analyzer] [NFC] Remove unused typedef from SVals.h

edit: include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h

Commit bac8aa2c325b26a795abaa4de588af8fc3098eb3 by ekarpenkov:
[analyzer] pr34779: CStringChecker: Accept non-standard headers.

edit: lib/StaticAnalyzer/Checkers/CStringChecker.cpp
add: test/Analysis/string-with-signedness.c

Commit ad42e5d1b21c5913bc31e926768a40b0f8393620 by ekarpenkov:
[analyzer] Fix a crash on logical operators with vectors.

add: test/Analysis/vector.c
edit: lib/StaticAnalyzer/Core/ExprEngineC.cpp

Commit 1476d1c2e339a72c464cdf5967589c8da0d21431 by ekarpenkov:
[analyzer] assume bitwise arithmetic axioms

edit: lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
edit: test/Analysis/constant-folding.c

Commit c28cc79c192f34e3017879fb37ee9676bd471030 by ekarpenkov:
[analyzer] do not crash when trying to convert an APSInt to an

edit: test/Analysis/taint-tester.c
edit: lib/StaticAnalyzer/Core/ProgramState.cpp

yeah i’ve replied to the previous email: revert was already committed, should become green.

···

On Nov 9, 2017, at 5:37 PM, Pavel Yaskevich <pyaskevich@apple.com> wrote:

/home/buildnode/jenkins/workspace/oss-swift-4.1-incremental-RA-linux-ubuntu-16_10/swift/lib/ClangImporter/ClangAdapter.cpp:288:13: error: enumeration value 'Float16' not handled in switch [-Werror,-Wswitch]
    switch (builtinTy->getKind()) {
            ^
1 error generated.

George, can you please take a look?

On Nov 9, 2017, at 4:48 PM, no-reply@swift.org <mailto:no-reply@swift.org> wrote:

[FAILURE] oss-swift-4.1-incremental-RA-linux-ubuntu-16_10 [#136]

Build URL: https://ci.swift.org/job/oss-swift-4.1-incremental-RA-linux-ubuntu-16_10/136/
Project: oss-swift-4.1-incremental-RA-linux-ubuntu-16_10
Date of build: Thu, 09 Nov 2017 18:30:25 -0600
Build duration: 18 min
Identified problems:

Compile Error: This build failed because of a compile error. Below is a list of all errors in the build log:
Indication 1 <https://ci.swift.org//job/oss-swift-4.1-incremental-RA-linux-ubuntu-16_10/136/consoleFull#1055885013122a513-f36a-4c87-8ed7-cbc36a1ec144>
Changes

Commit dd8f0aa111eb19c8ac1b0f563d30e9b4f53b4eaa by ekarpenkov:
This feature allows the analyzer to consider loops to completely unroll.

delete: test/Analysis/loop-unrolling.cpp
edit: lib/StaticAnalyzer/Core/CMakeLists.txt
edit: test/Analysis/analyzer-config.cpp
edit: test/Analysis/analyzer-config.c
edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
edit: lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
delete: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: include/clang/StaticAnalyzer/Core/AnalyzerOptions.h
delete: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h
edit: lib/StaticAnalyzer/Core/AnalyzerOptions.cpp

Commit e64d19ed9c236cf07e5c0b3d04bcf3508e1b178f by ekarpenkov:
[clang] Fix handling of "%zd" in scanf

edit: test/Sema/format-strings-scanf.c
edit: test/Sema/format-strings-fixit-ssize_t.c
edit: lib/Analysis/ScanfFormatString.cpp

Commit afc3cde6ccd826e8448193c4eb7173cb6d3dd1f6 by ekarpenkov:
[analyzer] Further improve suppress-on-sink behavior in incomplete

edit: lib/StaticAnalyzer/Core/BugReporter.cpp

Commit f7993f62b78aeceb3c5a331f7583ee3c955f69d4 by ekarpenkov:
[analyzer] Treat throws as sinks for suppress-on-sink purposes.

edit: lib/StaticAnalyzer/Core/BugReporter.cpp

Commit 0bca31d259d956245ebc645c4303ec837e94e957 by ekarpenkov:
[StaticAnalyzer] Completely unrolling specific loops with known bound

edit: test/Analysis/analyzer-config.c
edit: test/Analysis/analyzer-config.cpp
add: test/Analysis/loop-unrolling.cpp
add: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h
edit: lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
edit: lib/StaticAnalyzer/Core/AnalyzerOptions.cpp
edit: lib/StaticAnalyzer/Core/CMakeLists.txt
add: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: include/clang/StaticAnalyzer/Core/AnalyzerOptions.h
edit: lib/StaticAnalyzer/Core/ExprEngine.cpp

Commit 7a0f37824a3fb141b05c27c6eac45fd58aeff7c1 by ekarpenkov:
[StaticAnalyzer] LoopUnrolling - Attempt to fix a crash in r309006.

edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp

Commit 906c47b1f8be37392661bf4d3fd2fe3e7caf58ae by ekarpenkov:
clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h: Add a forward

edit: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h

Commit 06517adc85762608b6ba0d5b8ffb41819d97e7f3 by ekarpenkov:
[StaticAnalyzer] LoopUnrolling - Attempt #2 to fix a crash in r309006.

edit: lib/Analysis/ThreadSafety.cpp
edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: include/clang/Basic/Attr.td
edit: test/SemaCXX/warn-thread-safety-analysis.cpp
edit: test/Sema/attr-capabilities.c
edit: lib/Sema/SemaDeclAttr.cpp

Commit d60337edb3996059a651936c4f3480bc0bd7c945 by ekarpenkov:
[analyzer] Rename functions responsible for CFG-based suppress-on-sink.

edit: lib/StaticAnalyzer/Core/BugReporter.cpp

Commit 7d69806d71716cf6f99c0976db621af82e7a130c by ekarpenkov:
[analyzer] Fix SimpleSValBuilder::simplifySVal

edit: test/Analysis/ptr-arith.cpp

Commit dc8a1bf5fc840a699529db761add2bdebd65899a by ekarpenkov:
[StaticAnalyzer] LoopUnrolling: Exclude cases where the counter is

edit: test/Analysis/loop-unrolling.cpp
edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
edit: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h

Commit b996a9b1a77808c83d5d2c26a02af3a945932f51 by ekarpenkov:
[CFG] Add LoopExit information to CFG

edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
edit: test/Analysis/analyzer-config.cpp
edit: lib/StaticAnalyzer/Core/AnalysisManager.cpp
edit: test/Analysis/analyzer-config.c

Commit 12eb9e29219c068fabbd024a6d3365779efd15db by ekarpenkov:
[StaticAnalyzer] Handle LoopExit CFGElement in the analyzer

edit: lib/StaticAnalyzer/Core/ExprEngine.cpp

Commit 124a8999c0a77d2dd50121a2f6459451a846f2d9 by ekarpenkov:
[StaticAnalyzer] LoopUnrolling: Track a LoopStack in order to completely

edit: test/Analysis/loop-unrolling.cpp
edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
edit: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h

Commit c0560b88bc912ea43c77a1571a80beba06359222 by ekarpenkov:
Test commit access.

edit: include/clang/Analysis/CloneDetection.h

Commit 4abe27128fd379e9a80ed58a2513064e7d3543ef by ekarpenkov:
[analyzer] Make StmtDataCollector customizable

edit: lib/Analysis/CloneDetection.cpp

Commit b06b9ce2205ab0858f3f1fb8f2fc0fa34fa47985 by ekarpenkov:
[StaticAnalyzer] LoopUnrolling fixes

edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
edit: test/Analysis/loop-unrolling.cpp
edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: lib/StaticAnalyzer/Core/AnalysisManager.cpp

Commit f2b5d82096f2955d1f547f616ce4fb0bb58c8a5e by ekarpenkov:
[StaticAnalyzer] LoopUnrolling: Excluding loops which splits the state

edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: test/Analysis/loop-unrolling.cpp

Commit f298eb4879a6b58c9a49cf79e3d2a5587a749bb9 by ekarpenkov:
[StaticAnalyzer] LoopUnrolling: Keep track the maximum number of steps

edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h
edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
edit: test/Analysis/loop-unrolling.cpp

Commit a31d1737e66fd54b80e29669f8ba9e44b2eff598 by ekarpenkov:
[analyzer] Fix crash in modeling arithmetic

edit: test/Analysis/ptr-arith.cpp

Commit cc82ca0d896c2a0855dbd72751eb34de1a987c72 by ekarpenkov:
Remove trailing space.

edit: lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp

Commit 5a4f1c8d15e1a410af98e377dca3c8d138274aa7 by ekarpenkov:
[analyzer] Adjust ptr arithmetic test

edit: test/Analysis/ptr-arith.cpp

Commit f3487ae9d842c56ddfa015114392188e7d4cc236 by ekarpenkov:
std::function -> llvm::function_ref. NFC.

edit: lib/Analysis/CloneDetection.cpp
edit: lib/Parse/ParseExpr.cpp
edit: include/clang/Parse/Parser.h
edit: include/clang/Analysis/CloneDetection.h

Commit 8d2492fffafcce8d60a101807024e11f8e68bf83 by ekarpenkov:
[analyzer] MinComplexityConstraint now early exits and only does one

edit: lib/Analysis/CloneDetection.cpp

Commit f7008c30798aabd5c59480734818adfbdba85ccc by ekarpenkov:
Removed dead code (PR34467). NFCI.

edit: lib/StaticAnalyzer/Core/CallEvent.cpp

Commit 26aceffb18e381d33b23834e645ceb29b548f121 by ekarpenkov:
[NFC] [CSA] Move AnyFunctionCall::getRuntimeDefinition implementation to

edit: lib/StaticAnalyzer/Core/CallEvent.cpp

Commit d5df1b7bf36cda849ae28049d37f02bf2f5b4dfd by ekarpenkov:
Add _Float16 as a C/C++ source language type

edit: include/clang/Sema/DeclSpec.h
edit: lib/Format/FormatToken.cpp
edit: lib/AST/MicrosoftMangle.cpp
edit: lib/Lex/LiteralSupport.cpp
edit: lib/CodeGen/CGExprScalar.cpp
edit: lib/CodeGen/CGDebugInfo.cpp
edit: lib/Serialization/ASTCommon.cpp
edit: lib/CodeGen/ItaniumCXXABI.cpp
edit: lib/Parse/ParseExprCXX.cpp
edit: lib/AST/StmtPrinter.cpp
edit: lib/Sema/SemaType.cpp
edit: lib/Analysis/PrintfFormatString.cpp
edit: lib/Parse/ParseDecl.cpp
edit: include/clang/AST/BuiltinTypes.def
edit: include/clang/Basic/TokenKinds.def
edit: lib/Sema/DeclSpec.cpp
edit: include/clang/Lex/LiteralSupport.h
edit: lib/AST/NSAPI.cpp
edit: lib/AST/ASTContext.cpp
edit: include/clang-c/Index.h
edit: lib/AST/Type.cpp
edit: lib/Sema/SemaTemplateVariadic.cpp
edit: lib/AST/TypeLoc.cpp
edit: lib/Sema/SemaExpr.cpp
edit: tools/libclang/CXType.cpp
add: test/Frontend/float16.cpp
edit: test/Lexer/half-literal.cpp
edit: lib/Serialization/ASTReader.cpp
edit: include/clang/Basic/Specifiers.h
edit: lib/AST/ItaniumMangle.cpp
edit: lib/CodeGen/CodeGenTypes.cpp
edit: lib/Parse/ParseTentative.cpp
edit: lib/Index/USRGeneration.cpp
edit: lib/Parse/ParseExpr.cpp
edit: lib/Sema/SemaDecl.cpp
add: test/CodeGenCXX/float16-declarations.cpp
edit: include/clang/AST/ASTContext.h
edit: include/clang/Serialization/ASTBitCodes.h

Commit 149ae512d098e560c7541ecee8057878eb7702f0 by ekarpenkov:
Updated two annotations for Store.h and CodeGenFunction.h.

edit: include/clang/StaticAnalyzer/Core/PathSensitive/Store.h
edit: lib/CodeGen/CodeGenFunction.h

Commit fbec1c93f9e7f1b7c2b618ed9411887f7b609638 by ekarpenkov:
[Analyzer] Check function name size before indexing.

edit: test/Analysis/retain-release.mm

Commit 1d144d87858b1d11b7b5aa448d52f07813df5872 by ekarpenkov:
[Analyzer] Log when auto-synthesized body is used.

edit: lib/StaticAnalyzer/Core/CallEvent.cpp

Commit cffab114b5a7af2c77cbd472fd0c12eb1563c083 by ekarpenkov:
[analyzer] Fix crash on modeling of pointer arithmetic

edit: test/Analysis/ptr-arith.cpp

Commit 060e80f1e5e6fd4ed8547b8da056dbc6eb70b9b5 by ekarpenkov:
[analyzer] Fix and refactor bugreporter::getDerefExpr() API.

edit: test/Analysis/null-deref-path-notes.c
edit: lib/StaticAnalyzer/Core/BugReporterVisitors.cpp

Commit 331748093f254a4d895f58221b51260ad60e9f59 by ekarpenkov:
[analyzer] Match more patterns in bugreporter::getDerefExpr() API.

edit: test/Analysis/null-deref-path-notes.c
edit: lib/StaticAnalyzer/Core/BugReporterVisitors.cpp

Commit 9a1a3f47cc175cb4588451e2c6bf2147407e16f0 by ekarpenkov:
[analyzer] Fix an outdated comment in a test. NFC.

edit: test/Analysis/null-deref-path-notes.c

Commit 38c7ee9527ef17795778d60bbcea3b9c6d3140db by ekarpenkov:
Consolidate std::move() detection code. No behavior change.

edit: lib/Analysis/UninitializedValues.cpp
edit: lib/Sema/SemaDecl.cpp
edit: lib/Sema/SemaChecking.cpp
edit: lib/Analysis/Consumed.cpp
edit: include/clang/AST/Expr.h
edit: lib/Sema/SemaDeclCXX.cpp

Commit 59ce53dd573be60543518df843b65654af2c7a86 by ekarpenkov:
[Analyzer] Synthesize function body for std::call_once

edit: lib/Analysis/BodyFarm.cpp
edit: test/Analysis/call_once.cpp

Commit 30d7f27b056f59a148ad94187215c42a25dd902b by ekarpenkov:
[Analyzer] Add dummy implementation to call_once to avoid linkage

edit: test/Analysis/call_once.cpp

Commit dcebbb469882a937029b06551e137bc83b181668 by ekarpenkov:
[Analysis] Remove unused makeLvalueToRValue variant.

edit: lib/Analysis/BodyFarm.cpp

Commit 873b993ebca1ee3e58a37a6e6ecf7bd21d12030f by ekarpenkov:
[Analyzer] Avoid copy and modifying passed reference in

edit: lib/Analysis/BodyFarm.cpp

Commit 8765059828a1068d64efb6d881e0ed0285e1084c by ekarpenkov:
[Analyzer] More granular special casing in RetainCountChecker

edit: test/Analysis/retain-release.mm

Commit 1b0dc86f9f78cba3c68b918eece93417e5be5769 by ekarpenkov:
Fix assertion failure in thread safety analysis (PR34800).

edit: test/SemaCXX/warn-thread-safety-analysis.cpp
edit: include/clang/Analysis/Analyses/ThreadSafetyTIL.h

Commit a69b19c1f90382009ab1e33bd09d6fbba488d416 by ekarpenkov:
[Analyzer] Do not segfault on unexpected call_once implementation

edit: test/Analysis/call_once.cpp
edit: lib/Analysis/BodyFarm.cpp

Commit 6f9007aa64c85e096758d8dfb74561e903c5b5bd by ekarpenkov:
[analyzer] PthreadLockChecker: Add printState() method for

edit: lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp

Commit a39d414b498acc08d9d35b10878f4eabb87c443e by ekarpenkov:
[analyzer] MisusedMovedObject: Add printState() method for

edit: lib/StaticAnalyzer/Checkers/MisusedMovedObjectChecker.cpp

Commit 143e4db9c87a25aac299e21097a165cae0987964 by ekarpenkov:
[analyzer] MisusedMovedObject: Fix state-resetting a base-class

edit: test/Analysis/MisusedMovedObject.cpp
edit: lib/StaticAnalyzer/Checkers/MisusedMovedObjectChecker.cpp

Commit db6dcd1defc3c6b7dfdad128fb0f104ed06786c2 by ekarpenkov:
[Analyzer] Clarify error messages for undefined result

edit: lib/StaticAnalyzer/Core/CheckerContext.cpp
edit: include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
edit: lib/StaticAnalyzer/Checkers/ConversionChecker.cpp
edit: test/Analysis/bitwise-ops.c
edit: lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp

Commit db1137dd24933af1118b230d1c37a3f2bf4e25eb by ekarpenkov:
[Analyzer] Assume that string-like const globals are non-nil.

add: lib/StaticAnalyzer/Checkers/NonnullStringConstantsChecker.cpp
add: test/Analysis/nonnull-string-constants.mm
edit: include/clang/StaticAnalyzer/Checkers/Checkers.td
edit: lib/StaticAnalyzer/Checkers/CMakeLists.txt

Commit 2c3ea8204856bea1500883d696a03d6b6c957cfe by ekarpenkov:
[Analyzer] Fix introduced regression: properly check for nullable

edit: lib/StaticAnalyzer/Checkers/NonnullStringConstantsChecker.cpp

Commit 27dd0433aa567898ee535eecbdda7ef2a796ccb4 by ekarpenkov:
[Analyzer] Support bodyfarming libstdc++ implementation of

edit: test/Analysis/call_once.cpp
edit: lib/Analysis/BodyFarm.cpp

Commit 214b8b4ffa5966e706860e67e8737ad198331949 by ekarpenkov:
SVal::getAsSymbol(bool IncludeBaseRegions): Follow

edit: lib/StaticAnalyzer/Core/SVals.cpp

Commit bffc50a17ec432bdbd1a5964b2121674e5deb9f5 by ekarpenkov:
[Analyzer] Assume that CFBooleanRef const globals are non-null

edit: include/clang/StaticAnalyzer/Checkers/Checkers.td
delete: lib/StaticAnalyzer/Checkers/NonnullStringConstantsChecker.cpp
delete: test/Analysis/nonnull-string-constants.mm
edit: lib/StaticAnalyzer/Checkers/CMakeLists.txt

Commit 7b1e725eced6558bd7afd921b36b88287d68ba0b by ekarpenkov:
[analyzer] RetainCount: Ignore annotations on user-made CFRetain

add: test/Analysis/retain-release-safe.c
edit: lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp

Commit b8a8ed1001088b6ac861f197b6456470279dbb42 by ekarpenkov:
[analyzer] CStringChecker: pr34460: Avoid a crash when a cast is not

edit: test/Analysis/casts.c
edit: test/Analysis/bstring.cpp
edit: lib/StaticAnalyzer/Checkers/CStringChecker.cpp

Commit d16d91e437949f85c4a9b474fa09a10c5fc61084 by ekarpenkov:
[analyzer] pr28449: Fix support for various array initializers.

add: test/Analysis/objc-encode.m
edit: lib/StaticAnalyzer/Core/RegionStore.cpp
add: test/Analysis/compound-literals.c

Commit 0ca415cf5d4ec3dafaa22b1ab81b1e33dc0fc3be by ekarpenkov:
[Analyzer] Always use non-reference types when creating expressions in

edit: test/Analysis/call_once.cpp
edit: lib/Analysis/BodyFarm.cpp

Commit 9a83db51eff6e887517afb6ece4ed2c380d4de77 by ekarpenkov:
[analyzer] Dump signed integers in SymIntExpr and IntSymExpr correctly

edit: lib/StaticAnalyzer/Core/SymbolManager.cpp
edit: test/Analysis/expr-inspection.c

Commit acd52cca7377bbca1065d4c5be930feab603347e by ekarpenkov:
[Analyzer] Correctly handle parameters passed by reference when

edit: lib/Analysis/BodyFarm.cpp
edit: test/Analysis/call_once.cpp

Commit b780292e981346db8f2e8ddcf6d0ab06b4a723c0 by ekarpenkov:
[analyzer] Fix handling of labels in getLValueElement

edit: lib/StaticAnalyzer/Core/Store.cpp
edit: test/Analysis/ptr-arith.c

Commit 28d7d919a277125f336680e55117663a2028e909 by ekarpenkov:
[Analyzer] Do not use static storage to for implementations created in

edit: include/clang/Analysis/AnalysisDeclContext.h
edit: lib/StaticAnalyzer/Core/AnalysisManager.cpp
delete: lib/Analysis/BodyFarm.h
edit: lib/Analysis/BodyFarm.cpp
add: include/clang/Analysis/BodyFarm.h
edit: lib/Analysis/AnalysisDeclContext.cpp

Commit cc9fd2884c6e7e8d20a55bccd41a6ab5661b345e by ekarpenkov:
[Analyzer] Handle implicit function reference in bodyfarming

edit: test/Analysis/call_once.cpp
edit: lib/Analysis/BodyFarm.cpp

Commit cb4c5d530d211f545c15d296f903520e64e950a2 by ekarpenkov:
[Analyzer] Fix for the memory leak: fix typo in if-statement.

edit: lib/Analysis/AnalysisDeclContext.cpp

Commit 3ddfc14398382412905fe35d0af10b16c14e5016 by ekarpenkov:
[Analyzer] Store BodyFarm in std::unique_ptr

edit: include/clang/Analysis/AnalysisDeclContext.h
edit: lib/Analysis/AnalysisDeclContext.cpp

Commit a0447d4b49a74c246c2c55f2dfd9fbda7979769d by ekarpenkov:
[Analyzer] Remove unnecessary semicolon in analyzer tests.

edit: test/Analysis/call_once.cpp

Commit b77e9f981e12492d644432db05da62957e9d1e3a by ekarpenkov:
[Analyzer] Remove spaces inside comments mentioning the parameter name,

edit: lib/Analysis/BodyFarm.cpp

Commit fed64e6c37d7d0df933909f8de38e587c3502b80 by ekarpenkov:
[Analyzer] Give more descriptive name to BdyFrm field.

edit: include/clang/Analysis/AnalysisDeclContext.h
edit: lib/Analysis/AnalysisDeclContext.cpp

Commit 18b340d6d1d6ac9f57b57c01e350adf8b70452c5 by ekarpenkov:
StaticAnalyzer: Modularize/fix ODR violations making functions inline

edit: include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h
edit: include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
edit: include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h
edit: include/clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h

Commit 6fb3e97efa15e187d7d65819b4f86ad8b79ecbeb by ekarpenkov:
[analyzer] LoopUnrolling: check the bitwidth of the used numbers

edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: test/Analysis/loop-unrolling.cpp

Commit 3051cf1284ff85b47cff0976733dc1a2e1418b98 by ekarpenkov:
[analyzer] MisusedMovedObjectChecker: Fix false positive on

edit: lib/StaticAnalyzer/Checkers/MisusedMovedObjectChecker.cpp
edit: test/Analysis/MisusedMovedObject.cpp

Commit bac61e62e1d452a744a630a15d921b2b05aad0ac by ekarpenkov:
[analyzer] MisusedMovedObjectChecker: More precise warning message

edit: lib/StaticAnalyzer/Checkers/MisusedMovedObjectChecker.cpp
edit: test/Analysis/MisusedMovedObject.cpp

Commit de4e17bd12d9ed46bb86bf2f4d1d751ebde9d8e2 by ekarpenkov:
[analyzer] Handle ObjC messages conservatively in CallDescription

add: test/Analysis/block-in-critical-section.m
edit: lib/StaticAnalyzer/Core/CallEvent.cpp

Commit c5b62bb9671dadb9a86639d9ec1377de0a711a24 by ekarpenkov:
Add missing expected-no-diagnostics comment to test.

edit: test/Analysis/block-in-critical-section.m

Commit ca1452809903276d28dd21d786d6d2b4e0f92a24 by ekarpenkov:
[analyzer] lock_guard and unique_lock extension for

edit: test/Analysis/block-in-critical-section.cpp
edit: lib/StaticAnalyzer/Checkers/BlockInCriticalSectionChecker.cpp

Commit d3362a17b8e1562bd5d08c4964dd819811c5fafc by ekarpenkov:
[analyzer] Make issue hash related tests more concise

edit: include/clang/StaticAnalyzer/Checkers/Checkers.td
edit: lib/StaticAnalyzer/Checkers/DebugCheckers.cpp
edit: test/Analysis/bug_hash_test.m
edit: test/Analysis/bug_hash_test.cpp
edit: lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp

Commit 24265f1164e4ed1d76bce841733f4d9f1b7ee771 by ekarpenkov:
[analyzer] Use the signature of the primary template for issue hash

edit: test/Analysis/bug_hash_test.cpp
edit: lib/StaticAnalyzer/Core/IssueHash.cpp
edit: test/Analysis/edges-new.mm

Commit 049341613cf6c0d48ab1ad505bd4e7dc2fe99494 by ekarpenkov:
[analyzer] Left shifting a negative value is undefined

edit: lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp
edit: lib/StaticAnalyzer/Core/BasicValueFactory.cpp
edit: test/Analysis/bitwise-ops.c

Commit 28c7833db6abf8477cb135cd5fc6cb266cf82728 by ekarpenkov:
[analyzer] Use the same filename for the header and the implementation

add: include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h
edit: include/clang/StaticAnalyzer/Core/BugReporter/BugReporter.h
edit: lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
delete: include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitor.h

Commit b9aa29a12d87685d65c7d5b1156aacf9c1dbadaa by ekarpenkov:
[Analyzer] Use value storage for BodyFarm

edit: include/clang/Analysis/BodyFarm.h
edit: include/clang/Analysis/AnalysisDeclContext.h
edit: lib/Analysis/AnalysisDeclContext.cpp

Commit 943d8175334accadeef6d18f5b50447b70029462 by ekarpenkov:
[analyzer] Removing unused stored field.

edit: include/clang/Analysis/AnalysisDeclContext.h
edit: lib/Analysis/AnalysisDeclContext.cpp

Commit fd223b4920078fbe4f78235d8e99ac4128668e05 by ekarpenkov:
[analyzer] do not crash on libcxx03 call_once implementation

edit: test/Analysis/call_once.cpp
edit: lib/Analysis/BodyFarm.cpp

Commit 2798345355463a41fe22ab3b0525123b0aa4bbc4 by ekarpenkov:
[analyzer] [NFC] very minor ExprEngineC refactoring

edit: lib/StaticAnalyzer/Core/ExprEngineC.cpp

Commit 2f1ac35e064e39e0b8748a616ff70ab8f999e241 by ekarpenkov:
[analyzer] Model correct dispatch_once() 'done' value in BodyFarm

edit: lib/Analysis/BodyFarm.cpp
edit: test/Analysis/unix-fns.c

Commit 7b165352372582489fcc7739e4d5a553a5ddc2fb by ekarpenkov:
[analyzer] [NFC] Remove unused typedef from SVals.h

edit: include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h

Commit bac8aa2c325b26a795abaa4de588af8fc3098eb3 by ekarpenkov:
[analyzer] pr34779: CStringChecker: Accept non-standard headers.

edit: lib/StaticAnalyzer/Checkers/CStringChecker.cpp
add: test/Analysis/string-with-signedness.c

Commit ad42e5d1b21c5913bc31e926768a40b0f8393620 by ekarpenkov:
[analyzer] Fix a crash on logical operators with vectors.

add: test/Analysis/vector.c
edit: lib/StaticAnalyzer/Core/ExprEngineC.cpp

Commit 1476d1c2e339a72c464cdf5967589c8da0d21431 by ekarpenkov:
[analyzer] assume bitwise arithmetic axioms

edit: lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
edit: test/Analysis/constant-folding.c

Commit c28cc79c192f34e3017879fb37ee9676bd471030 by ekarpenkov:
[analyzer] do not crash when trying to convert an APSInt to an

edit: test/Analysis/taint-tester.c
edit: lib/StaticAnalyzer/Core/ProgramState.cpp

Sounds good, thanks!

···

On Nov 9, 2017, at 5:40 PM, George Karpenkov <ekarpenkov@apple.com> wrote:

yeah i’ve replied to the previous email: revert was already committed, should become green.

On Nov 9, 2017, at 5:37 PM, Pavel Yaskevich <pyaskevich@apple.com <mailto:pyaskevich@apple.com>> wrote:

/home/buildnode/jenkins/workspace/oss-swift-4.1-incremental-RA-linux-ubuntu-16_10/swift/lib/ClangImporter/ClangAdapter.cpp:288:13: error: enumeration value 'Float16' not handled in switch [-Werror,-Wswitch]
    switch (builtinTy->getKind()) {
            ^
1 error generated.

George, can you please take a look?

On Nov 9, 2017, at 4:48 PM, no-reply@swift.org <mailto:no-reply@swift.org> wrote:

[FAILURE] oss-swift-4.1-incremental-RA-linux-ubuntu-16_10 [#136]

Build URL: https://ci.swift.org/job/oss-swift-4.1-incremental-RA-linux-ubuntu-16_10/136/
Project: oss-swift-4.1-incremental-RA-linux-ubuntu-16_10
Date of build: Thu, 09 Nov 2017 18:30:25 -0600
Build duration: 18 min
Identified problems:

Compile Error: This build failed because of a compile error. Below is a list of all errors in the build log:
Indication 1 <https://ci.swift.org//job/oss-swift-4.1-incremental-RA-linux-ubuntu-16_10/136/consoleFull#1055885013122a513-f36a-4c87-8ed7-cbc36a1ec144>
Changes

Commit dd8f0aa111eb19c8ac1b0f563d30e9b4f53b4eaa by ekarpenkov:
This feature allows the analyzer to consider loops to completely unroll.

delete: test/Analysis/loop-unrolling.cpp
edit: lib/StaticAnalyzer/Core/CMakeLists.txt
edit: test/Analysis/analyzer-config.cpp
edit: test/Analysis/analyzer-config.c
edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
edit: lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
delete: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: include/clang/StaticAnalyzer/Core/AnalyzerOptions.h
delete: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h
edit: lib/StaticAnalyzer/Core/AnalyzerOptions.cpp

Commit e64d19ed9c236cf07e5c0b3d04bcf3508e1b178f by ekarpenkov:
[clang] Fix handling of "%zd" in scanf

edit: test/Sema/format-strings-scanf.c
edit: test/Sema/format-strings-fixit-ssize_t.c
edit: lib/Analysis/ScanfFormatString.cpp

Commit afc3cde6ccd826e8448193c4eb7173cb6d3dd1f6 by ekarpenkov:
[analyzer] Further improve suppress-on-sink behavior in incomplete

edit: lib/StaticAnalyzer/Core/BugReporter.cpp

Commit f7993f62b78aeceb3c5a331f7583ee3c955f69d4 by ekarpenkov:
[analyzer] Treat throws as sinks for suppress-on-sink purposes.

edit: lib/StaticAnalyzer/Core/BugReporter.cpp

Commit 0bca31d259d956245ebc645c4303ec837e94e957 by ekarpenkov:
[StaticAnalyzer] Completely unrolling specific loops with known bound

edit: test/Analysis/analyzer-config.c
edit: test/Analysis/analyzer-config.cpp
add: test/Analysis/loop-unrolling.cpp
add: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h
edit: lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
edit: lib/StaticAnalyzer/Core/AnalyzerOptions.cpp
edit: lib/StaticAnalyzer/Core/CMakeLists.txt
add: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: include/clang/StaticAnalyzer/Core/AnalyzerOptions.h
edit: lib/StaticAnalyzer/Core/ExprEngine.cpp

Commit 7a0f37824a3fb141b05c27c6eac45fd58aeff7c1 by ekarpenkov:
[StaticAnalyzer] LoopUnrolling - Attempt to fix a crash in r309006.

edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp

Commit 906c47b1f8be37392661bf4d3fd2fe3e7caf58ae by ekarpenkov:
clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h: Add a forward

edit: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h

Commit 06517adc85762608b6ba0d5b8ffb41819d97e7f3 by ekarpenkov:
[StaticAnalyzer] LoopUnrolling - Attempt #2 to fix a crash in r309006.

edit: lib/Analysis/ThreadSafety.cpp
edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: include/clang/Basic/Attr.td
edit: test/SemaCXX/warn-thread-safety-analysis.cpp
edit: test/Sema/attr-capabilities.c
edit: lib/Sema/SemaDeclAttr.cpp

Commit d60337edb3996059a651936c4f3480bc0bd7c945 by ekarpenkov:
[analyzer] Rename functions responsible for CFG-based suppress-on-sink.

edit: lib/StaticAnalyzer/Core/BugReporter.cpp

Commit 7d69806d71716cf6f99c0976db621af82e7a130c by ekarpenkov:
[analyzer] Fix SimpleSValBuilder::simplifySVal

edit: test/Analysis/ptr-arith.cpp

Commit dc8a1bf5fc840a699529db761add2bdebd65899a by ekarpenkov:
[StaticAnalyzer] LoopUnrolling: Exclude cases where the counter is

edit: test/Analysis/loop-unrolling.cpp
edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
edit: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h

Commit b996a9b1a77808c83d5d2c26a02af3a945932f51 by ekarpenkov:
[CFG] Add LoopExit information to CFG

edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
edit: test/Analysis/analyzer-config.cpp
edit: lib/StaticAnalyzer/Core/AnalysisManager.cpp
edit: test/Analysis/analyzer-config.c

Commit 12eb9e29219c068fabbd024a6d3365779efd15db by ekarpenkov:
[StaticAnalyzer] Handle LoopExit CFGElement in the analyzer

edit: lib/StaticAnalyzer/Core/ExprEngine.cpp

Commit 124a8999c0a77d2dd50121a2f6459451a846f2d9 by ekarpenkov:
[StaticAnalyzer] LoopUnrolling: Track a LoopStack in order to completely

edit: test/Analysis/loop-unrolling.cpp
edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
edit: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h

Commit c0560b88bc912ea43c77a1571a80beba06359222 by ekarpenkov:
Test commit access.

edit: include/clang/Analysis/CloneDetection.h

Commit 4abe27128fd379e9a80ed58a2513064e7d3543ef by ekarpenkov:
[analyzer] Make StmtDataCollector customizable

edit: lib/Analysis/CloneDetection.cpp

Commit b06b9ce2205ab0858f3f1fb8f2fc0fa34fa47985 by ekarpenkov:
[StaticAnalyzer] LoopUnrolling fixes

edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
edit: test/Analysis/loop-unrolling.cpp
edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: lib/StaticAnalyzer/Core/AnalysisManager.cpp

Commit f2b5d82096f2955d1f547f616ce4fb0bb58c8a5e by ekarpenkov:
[StaticAnalyzer] LoopUnrolling: Excluding loops which splits the state

edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: test/Analysis/loop-unrolling.cpp

Commit f298eb4879a6b58c9a49cf79e3d2a5587a749bb9 by ekarpenkov:
[StaticAnalyzer] LoopUnrolling: Keep track the maximum number of steps

edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h
edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
edit: test/Analysis/loop-unrolling.cpp

Commit a31d1737e66fd54b80e29669f8ba9e44b2eff598 by ekarpenkov:
[analyzer] Fix crash in modeling arithmetic

edit: test/Analysis/ptr-arith.cpp

Commit cc82ca0d896c2a0855dbd72751eb34de1a987c72 by ekarpenkov:
Remove trailing space.

edit: lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp

Commit 5a4f1c8d15e1a410af98e377dca3c8d138274aa7 by ekarpenkov:
[analyzer] Adjust ptr arithmetic test

edit: test/Analysis/ptr-arith.cpp

Commit f3487ae9d842c56ddfa015114392188e7d4cc236 by ekarpenkov:
std::function -> llvm::function_ref. NFC.

edit: lib/Analysis/CloneDetection.cpp
edit: lib/Parse/ParseExpr.cpp
edit: include/clang/Parse/Parser.h
edit: include/clang/Analysis/CloneDetection.h

Commit 8d2492fffafcce8d60a101807024e11f8e68bf83 by ekarpenkov:
[analyzer] MinComplexityConstraint now early exits and only does one

edit: lib/Analysis/CloneDetection.cpp

Commit f7008c30798aabd5c59480734818adfbdba85ccc by ekarpenkov:
Removed dead code (PR34467). NFCI.

edit: lib/StaticAnalyzer/Core/CallEvent.cpp

Commit 26aceffb18e381d33b23834e645ceb29b548f121 by ekarpenkov:
[NFC] [CSA] Move AnyFunctionCall::getRuntimeDefinition implementation to

edit: lib/StaticAnalyzer/Core/CallEvent.cpp

Commit d5df1b7bf36cda849ae28049d37f02bf2f5b4dfd by ekarpenkov:
Add _Float16 as a C/C++ source language type

edit: include/clang/Sema/DeclSpec.h
edit: lib/Format/FormatToken.cpp
edit: lib/AST/MicrosoftMangle.cpp
edit: lib/Lex/LiteralSupport.cpp
edit: lib/CodeGen/CGExprScalar.cpp
edit: lib/CodeGen/CGDebugInfo.cpp
edit: lib/Serialization/ASTCommon.cpp
edit: lib/CodeGen/ItaniumCXXABI.cpp
edit: lib/Parse/ParseExprCXX.cpp
edit: lib/AST/StmtPrinter.cpp
edit: lib/Sema/SemaType.cpp
edit: lib/Analysis/PrintfFormatString.cpp
edit: lib/Parse/ParseDecl.cpp
edit: include/clang/AST/BuiltinTypes.def
edit: include/clang/Basic/TokenKinds.def
edit: lib/Sema/DeclSpec.cpp
edit: include/clang/Lex/LiteralSupport.h
edit: lib/AST/NSAPI.cpp
edit: lib/AST/ASTContext.cpp
edit: include/clang-c/Index.h
edit: lib/AST/Type.cpp
edit: lib/Sema/SemaTemplateVariadic.cpp
edit: lib/AST/TypeLoc.cpp
edit: lib/Sema/SemaExpr.cpp
edit: tools/libclang/CXType.cpp
add: test/Frontend/float16.cpp
edit: test/Lexer/half-literal.cpp
edit: lib/Serialization/ASTReader.cpp
edit: include/clang/Basic/Specifiers.h
edit: lib/AST/ItaniumMangle.cpp
edit: lib/CodeGen/CodeGenTypes.cpp
edit: lib/Parse/ParseTentative.cpp
edit: lib/Index/USRGeneration.cpp
edit: lib/Parse/ParseExpr.cpp
edit: lib/Sema/SemaDecl.cpp
add: test/CodeGenCXX/float16-declarations.cpp
edit: include/clang/AST/ASTContext.h
edit: include/clang/Serialization/ASTBitCodes.h

Commit 149ae512d098e560c7541ecee8057878eb7702f0 by ekarpenkov:
Updated two annotations for Store.h and CodeGenFunction.h.

edit: include/clang/StaticAnalyzer/Core/PathSensitive/Store.h
edit: lib/CodeGen/CodeGenFunction.h

Commit fbec1c93f9e7f1b7c2b618ed9411887f7b609638 by ekarpenkov:
[Analyzer] Check function name size before indexing.

edit: test/Analysis/retain-release.mm

Commit 1d144d87858b1d11b7b5aa448d52f07813df5872 by ekarpenkov:
[Analyzer] Log when auto-synthesized body is used.

edit: lib/StaticAnalyzer/Core/CallEvent.cpp

Commit cffab114b5a7af2c77cbd472fd0c12eb1563c083 by ekarpenkov:
[analyzer] Fix crash on modeling of pointer arithmetic

edit: test/Analysis/ptr-arith.cpp

Commit 060e80f1e5e6fd4ed8547b8da056dbc6eb70b9b5 by ekarpenkov:
[analyzer] Fix and refactor bugreporter::getDerefExpr() API.

edit: test/Analysis/null-deref-path-notes.c
edit: lib/StaticAnalyzer/Core/BugReporterVisitors.cpp

Commit 331748093f254a4d895f58221b51260ad60e9f59 by ekarpenkov:
[analyzer] Match more patterns in bugreporter::getDerefExpr() API.

edit: test/Analysis/null-deref-path-notes.c
edit: lib/StaticAnalyzer/Core/BugReporterVisitors.cpp

Commit 9a1a3f47cc175cb4588451e2c6bf2147407e16f0 by ekarpenkov:
[analyzer] Fix an outdated comment in a test. NFC.

edit: test/Analysis/null-deref-path-notes.c

Commit 38c7ee9527ef17795778d60bbcea3b9c6d3140db by ekarpenkov:
Consolidate std::move() detection code. No behavior change.

edit: lib/Analysis/UninitializedValues.cpp
edit: lib/Sema/SemaDecl.cpp
edit: lib/Sema/SemaChecking.cpp
edit: lib/Analysis/Consumed.cpp
edit: include/clang/AST/Expr.h
edit: lib/Sema/SemaDeclCXX.cpp

Commit 59ce53dd573be60543518df843b65654af2c7a86 by ekarpenkov:
[Analyzer] Synthesize function body for std::call_once

edit: lib/Analysis/BodyFarm.cpp
edit: test/Analysis/call_once.cpp

Commit 30d7f27b056f59a148ad94187215c42a25dd902b by ekarpenkov:
[Analyzer] Add dummy implementation to call_once to avoid linkage

edit: test/Analysis/call_once.cpp

Commit dcebbb469882a937029b06551e137bc83b181668 by ekarpenkov:
[Analysis] Remove unused makeLvalueToRValue variant.

edit: lib/Analysis/BodyFarm.cpp

Commit 873b993ebca1ee3e58a37a6e6ecf7bd21d12030f by ekarpenkov:
[Analyzer] Avoid copy and modifying passed reference in

edit: lib/Analysis/BodyFarm.cpp

Commit 8765059828a1068d64efb6d881e0ed0285e1084c by ekarpenkov:
[Analyzer] More granular special casing in RetainCountChecker

edit: test/Analysis/retain-release.mm

Commit 1b0dc86f9f78cba3c68b918eece93417e5be5769 by ekarpenkov:
Fix assertion failure in thread safety analysis (PR34800).

edit: test/SemaCXX/warn-thread-safety-analysis.cpp
edit: include/clang/Analysis/Analyses/ThreadSafetyTIL.h

Commit a69b19c1f90382009ab1e33bd09d6fbba488d416 by ekarpenkov:
[Analyzer] Do not segfault on unexpected call_once implementation

edit: test/Analysis/call_once.cpp
edit: lib/Analysis/BodyFarm.cpp

Commit 6f9007aa64c85e096758d8dfb74561e903c5b5bd by ekarpenkov:
[analyzer] PthreadLockChecker: Add printState() method for

edit: lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp

Commit a39d414b498acc08d9d35b10878f4eabb87c443e by ekarpenkov:
[analyzer] MisusedMovedObject: Add printState() method for

edit: lib/StaticAnalyzer/Checkers/MisusedMovedObjectChecker.cpp

Commit 143e4db9c87a25aac299e21097a165cae0987964 by ekarpenkov:
[analyzer] MisusedMovedObject: Fix state-resetting a base-class

edit: test/Analysis/MisusedMovedObject.cpp
edit: lib/StaticAnalyzer/Checkers/MisusedMovedObjectChecker.cpp

Commit db6dcd1defc3c6b7dfdad128fb0f104ed06786c2 by ekarpenkov:
[Analyzer] Clarify error messages for undefined result

edit: lib/StaticAnalyzer/Core/CheckerContext.cpp
edit: include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
edit: lib/StaticAnalyzer/Checkers/ConversionChecker.cpp
edit: test/Analysis/bitwise-ops.c
edit: lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp

Commit db1137dd24933af1118b230d1c37a3f2bf4e25eb by ekarpenkov:
[Analyzer] Assume that string-like const globals are non-nil.

add: lib/StaticAnalyzer/Checkers/NonnullStringConstantsChecker.cpp
add: test/Analysis/nonnull-string-constants.mm
edit: include/clang/StaticAnalyzer/Checkers/Checkers.td
edit: lib/StaticAnalyzer/Checkers/CMakeLists.txt

Commit 2c3ea8204856bea1500883d696a03d6b6c957cfe by ekarpenkov:
[Analyzer] Fix introduced regression: properly check for nullable

edit: lib/StaticAnalyzer/Checkers/NonnullStringConstantsChecker.cpp

Commit 27dd0433aa567898ee535eecbdda7ef2a796ccb4 by ekarpenkov:
[Analyzer] Support bodyfarming libstdc++ implementation of

edit: test/Analysis/call_once.cpp
edit: lib/Analysis/BodyFarm.cpp

Commit 214b8b4ffa5966e706860e67e8737ad198331949 by ekarpenkov:
SVal::getAsSymbol(bool IncludeBaseRegions): Follow

edit: lib/StaticAnalyzer/Core/SVals.cpp

Commit bffc50a17ec432bdbd1a5964b2121674e5deb9f5 by ekarpenkov:
[Analyzer] Assume that CFBooleanRef const globals are non-null

edit: include/clang/StaticAnalyzer/Checkers/Checkers.td
delete: lib/StaticAnalyzer/Checkers/NonnullStringConstantsChecker.cpp
delete: test/Analysis/nonnull-string-constants.mm
edit: lib/StaticAnalyzer/Checkers/CMakeLists.txt

Commit 7b1e725eced6558bd7afd921b36b88287d68ba0b by ekarpenkov:
[analyzer] RetainCount: Ignore annotations on user-made CFRetain

add: test/Analysis/retain-release-safe.c
edit: lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp

Commit b8a8ed1001088b6ac861f197b6456470279dbb42 by ekarpenkov:
[analyzer] CStringChecker: pr34460: Avoid a crash when a cast is not

edit: test/Analysis/casts.c
edit: test/Analysis/bstring.cpp
edit: lib/StaticAnalyzer/Checkers/CStringChecker.cpp

Commit d16d91e437949f85c4a9b474fa09a10c5fc61084 by ekarpenkov:
[analyzer] pr28449: Fix support for various array initializers.

add: test/Analysis/objc-encode.m
edit: lib/StaticAnalyzer/Core/RegionStore.cpp
add: test/Analysis/compound-literals.c

Commit 0ca415cf5d4ec3dafaa22b1ab81b1e33dc0fc3be by ekarpenkov:
[Analyzer] Always use non-reference types when creating expressions in

edit: test/Analysis/call_once.cpp
edit: lib/Analysis/BodyFarm.cpp

Commit 9a83db51eff6e887517afb6ece4ed2c380d4de77 by ekarpenkov:
[analyzer] Dump signed integers in SymIntExpr and IntSymExpr correctly

edit: lib/StaticAnalyzer/Core/SymbolManager.cpp
edit: test/Analysis/expr-inspection.c

Commit acd52cca7377bbca1065d4c5be930feab603347e by ekarpenkov:
[Analyzer] Correctly handle parameters passed by reference when

edit: lib/Analysis/BodyFarm.cpp
edit: test/Analysis/call_once.cpp

Commit b780292e981346db8f2e8ddcf6d0ab06b4a723c0 by ekarpenkov:
[analyzer] Fix handling of labels in getLValueElement

edit: lib/StaticAnalyzer/Core/Store.cpp
edit: test/Analysis/ptr-arith.c

Commit 28d7d919a277125f336680e55117663a2028e909 by ekarpenkov:
[Analyzer] Do not use static storage to for implementations created in

edit: include/clang/Analysis/AnalysisDeclContext.h
edit: lib/StaticAnalyzer/Core/AnalysisManager.cpp
delete: lib/Analysis/BodyFarm.h
edit: lib/Analysis/BodyFarm.cpp
add: include/clang/Analysis/BodyFarm.h
edit: lib/Analysis/AnalysisDeclContext.cpp

Commit cc9fd2884c6e7e8d20a55bccd41a6ab5661b345e by ekarpenkov:
[Analyzer] Handle implicit function reference in bodyfarming

edit: test/Analysis/call_once.cpp
edit: lib/Analysis/BodyFarm.cpp

Commit cb4c5d530d211f545c15d296f903520e64e950a2 by ekarpenkov:
[Analyzer] Fix for the memory leak: fix typo in if-statement.

edit: lib/Analysis/AnalysisDeclContext.cpp

Commit 3ddfc14398382412905fe35d0af10b16c14e5016 by ekarpenkov:
[Analyzer] Store BodyFarm in std::unique_ptr

edit: include/clang/Analysis/AnalysisDeclContext.h
edit: lib/Analysis/AnalysisDeclContext.cpp

Commit a0447d4b49a74c246c2c55f2dfd9fbda7979769d by ekarpenkov:
[Analyzer] Remove unnecessary semicolon in analyzer tests.

edit: test/Analysis/call_once.cpp

Commit b77e9f981e12492d644432db05da62957e9d1e3a by ekarpenkov:
[Analyzer] Remove spaces inside comments mentioning the parameter name,

edit: lib/Analysis/BodyFarm.cpp

Commit fed64e6c37d7d0df933909f8de38e587c3502b80 by ekarpenkov:
[Analyzer] Give more descriptive name to BdyFrm field.

edit: include/clang/Analysis/AnalysisDeclContext.h
edit: lib/Analysis/AnalysisDeclContext.cpp

Commit 18b340d6d1d6ac9f57b57c01e350adf8b70452c5 by ekarpenkov:
StaticAnalyzer: Modularize/fix ODR violations making functions inline

edit: include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h
edit: include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
edit: include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h
edit: include/clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h

Commit 6fb3e97efa15e187d7d65819b4f86ad8b79ecbeb by ekarpenkov:
[analyzer] LoopUnrolling: check the bitwidth of the used numbers

edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
edit: test/Analysis/loop-unrolling.cpp

Commit 3051cf1284ff85b47cff0976733dc1a2e1418b98 by ekarpenkov:
[analyzer] MisusedMovedObjectChecker: Fix false positive on

edit: lib/StaticAnalyzer/Checkers/MisusedMovedObjectChecker.cpp
edit: test/Analysis/MisusedMovedObject.cpp

Commit bac61e62e1d452a744a630a15d921b2b05aad0ac by ekarpenkov:
[analyzer] MisusedMovedObjectChecker: More precise warning message

edit: lib/StaticAnalyzer/Checkers/MisusedMovedObjectChecker.cpp
edit: test/Analysis/MisusedMovedObject.cpp

Commit de4e17bd12d9ed46bb86bf2f4d1d751ebde9d8e2 by ekarpenkov:
[analyzer] Handle ObjC messages conservatively in CallDescription

add: test/Analysis/block-in-critical-section.m
edit: lib/StaticAnalyzer/Core/CallEvent.cpp

Commit c5b62bb9671dadb9a86639d9ec1377de0a711a24 by ekarpenkov:
Add missing expected-no-diagnostics comment to test.

edit: test/Analysis/block-in-critical-section.m

Commit ca1452809903276d28dd21d786d6d2b4e0f92a24 by ekarpenkov:
[analyzer] lock_guard and unique_lock extension for

edit: test/Analysis/block-in-critical-section.cpp
edit: lib/StaticAnalyzer/Checkers/BlockInCriticalSectionChecker.cpp

Commit d3362a17b8e1562bd5d08c4964dd819811c5fafc by ekarpenkov:
[analyzer] Make issue hash related tests more concise

edit: include/clang/StaticAnalyzer/Checkers/Checkers.td
edit: lib/StaticAnalyzer/Checkers/DebugCheckers.cpp
edit: test/Analysis/bug_hash_test.m
edit: test/Analysis/bug_hash_test.cpp
edit: lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp

Commit 24265f1164e4ed1d76bce841733f4d9f1b7ee771 by ekarpenkov:
[analyzer] Use the signature of the primary template for issue hash

edit: test/Analysis/bug_hash_test.cpp
edit: lib/StaticAnalyzer/Core/IssueHash.cpp
edit: test/Analysis/edges-new.mm

Commit 049341613cf6c0d48ab1ad505bd4e7dc2fe99494 by ekarpenkov:
[analyzer] Left shifting a negative value is undefined

edit: lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp
edit: lib/StaticAnalyzer/Core/BasicValueFactory.cpp
edit: test/Analysis/bitwise-ops.c

Commit 28c7833db6abf8477cb135cd5fc6cb266cf82728 by ekarpenkov:
[analyzer] Use the same filename for the header and the implementation

add: include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h
edit: include/clang/StaticAnalyzer/Core/BugReporter/BugReporter.h
edit: lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
delete: include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitor.h

Commit b9aa29a12d87685d65c7d5b1156aacf9c1dbadaa by ekarpenkov:
[Analyzer] Use value storage for BodyFarm

edit: include/clang/Analysis/BodyFarm.h
edit: include/clang/Analysis/AnalysisDeclContext.h
edit: lib/Analysis/AnalysisDeclContext.cpp

Commit 943d8175334accadeef6d18f5b50447b70029462 by ekarpenkov:
[analyzer] Removing unused stored field.

edit: include/clang/Analysis/AnalysisDeclContext.h
edit: lib/Analysis/AnalysisDeclContext.cpp

Commit fd223b4920078fbe4f78235d8e99ac4128668e05 by ekarpenkov:
[analyzer] do not crash on libcxx03 call_once implementation

edit: test/Analysis/call_once.cpp
edit: lib/Analysis/BodyFarm.cpp

Commit 2798345355463a41fe22ab3b0525123b0aa4bbc4 by ekarpenkov:
[analyzer] [NFC] very minor ExprEngineC refactoring

edit: lib/StaticAnalyzer/Core/ExprEngineC.cpp

Commit 2f1ac35e064e39e0b8748a616ff70ab8f999e241 by ekarpenkov:
[analyzer] Model correct dispatch_once() 'done' value in BodyFarm

edit: lib/Analysis/BodyFarm.cpp
edit: test/Analysis/unix-fns.c

Commit 7b165352372582489fcc7739e4d5a553a5ddc2fb by ekarpenkov:
[analyzer] [NFC] Remove unused typedef from SVals.h

edit: include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h

Commit bac8aa2c325b26a795abaa4de588af8fc3098eb3 by ekarpenkov:
[analyzer] pr34779: CStringChecker: Accept non-standard headers.

edit: lib/StaticAnalyzer/Checkers/CStringChecker.cpp
add: test/Analysis/string-with-signedness.c

Commit ad42e5d1b21c5913bc31e926768a40b0f8393620 by ekarpenkov:
[analyzer] Fix a crash on logical operators with vectors.

add: test/Analysis/vector.c
edit: lib/StaticAnalyzer/Core/ExprEngineC.cpp

Commit 1476d1c2e339a72c464cdf5967589c8da0d21431 by ekarpenkov:
[analyzer] assume bitwise arithmetic axioms

edit: lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
edit: test/Analysis/constant-folding.c

Commit c28cc79c192f34e3017879fb37ee9676bd471030 by ekarpenkov:
[analyzer] do not crash when trying to convert an APSInt to an

edit: test/Analysis/taint-tester.c
edit: lib/StaticAnalyzer/Core/ProgramState.cpp