[swift-dev] [Swift CI] Build Failure: 0. OSS - Swift Incremental RA - Ubuntu 16.10 (swift 4.1) #136
Pavel Yaskevich
pyaskevich at apple.com
Thu Nov 9 19:42:13 CST 2017
Sounds good, thanks!
> On Nov 9, 2017, at 5:40 PM, George Karpenkov <ekarpenkov at 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 at apple.com <mailto:pyaskevich at 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 at swift.org <mailto:no-reply at 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/ <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
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-dev/attachments/20171109/e9f8f49d/attachment.html>
More information about the swift-dev
mailing list