[swift-dev] [Swift CI] Build Failure: 1. OSS - Swift ASAN - OS X (master) #576

Pavel Yaskevich pyaskevich at apple.com
Thu Nov 9 20:26:51 CST 2017


This is caused by LLVM changes, should be resolved in next build when clang pull relevant pieces.

> On Nov 9, 2017, at 6:23 PM, no-reply at swift.org wrote:
> 
> [FAILURE] oss-swift-incremental-ASAN-RA-osx [#576]
> 
> Build URL:	https://ci.swift.org/job/oss-swift-incremental-ASAN-RA-osx/576/ <https://ci.swift.org/job/oss-swift-incremental-ASAN-RA-osx/576/>
> Project:	oss-swift-incremental-ASAN-RA-osx
> Date of build:	Thu, 09 Nov 2017 19:25:25 -0600
> Build duration:	55 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-incremental-ASAN-RA-osx/576/consoleFull#6240757833122a513-f36a-4c87-8ed7-cbc36a1ec144>
> Changes
> 
> Commit 27acad21599018e89d7a8f0420a07a8730c02898 by eeckstein:
> ConstantPropagation: fix dynamic cast from AnyHashable to a protocol.
> 
> add: test/SILOptimizer/anyhashable_to_protocol.swift
> edit: lib/SIL/DynamicCasts.cpp
> 
> Commit f69bc0eb14694e550a2a716d2d5a2ea134202031 by github:
> libSyntax: various non-functional enhancements. NFC (#12842)
> 
> edit: lib/Parse/ParseExpr.cpp
> edit: include/swift/Syntax/SyntaxParsingContext.h
> edit: lib/Syntax/SyntaxParsingContext.cpp
> edit: lib/Parse/Parser.cpp
> 
> Commit dd8f0aa111eb19c8ac1b0f563d30e9b4f53b4eaa by ekarpenkov:
> This feature allows the analyzer to consider loops to completely unroll.
> 
> edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
> edit: test/Analysis/analyzer-config.c
> edit: test/Analysis/analyzer-config.cpp
> delete: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h
> edit: lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
> edit: lib/StaticAnalyzer/Core/CMakeLists.txt
> delete: test/Analysis/loop-unrolling.cpp
> delete: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
> edit: lib/StaticAnalyzer/Core/AnalyzerOptions.cpp
> edit: include/clang/StaticAnalyzer/Core/AnalyzerOptions.h
> 
> Commit e64d19ed9c236cf07e5c0b3d04bcf3508e1b178f by ekarpenkov:
> [clang] Fix handling of "%zd" in scanf
> 
> edit: test/Sema/format-strings-scanf.c
> edit: lib/Analysis/ScanfFormatString.cpp
> edit: test/Sema/format-strings-fixit-ssize_t.c
> 
> 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: lib/StaticAnalyzer/Core/ExprEngine.cpp
> add: test/Analysis/loop-unrolling.cpp
> add: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h
> edit: lib/StaticAnalyzer/Core/CMakeLists.txt
> edit: test/Analysis/analyzer-config.c
> edit: test/Analysis/analyzer-config.cpp
> edit: lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
> edit: include/clang/StaticAnalyzer/Core/AnalyzerOptions.h
> edit: lib/StaticAnalyzer/Core/AnalyzerOptions.cpp
> add: lib/StaticAnalyzer/Core/LoopUnrolling.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: include/clang/Basic/Attr.td
> edit: lib/Sema/SemaDeclAttr.cpp
> edit: test/Sema/attr-capabilities.c
> edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
> edit: lib/Analysis/ThreadSafety.cpp
> edit: test/SemaCXX/warn-thread-safety-analysis.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/ExprEngine.cpp
> edit: lib/StaticAnalyzer/Core/LoopUnrolling.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: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h
> edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
> 
> 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/AnalysisManager.cpp
> edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
> edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
> edit: test/Analysis/loop-unrolling.cpp
> 
> Commit f2b5d82096f2955d1f547f616ce4fb0bb58c8a5e by ekarpenkov:
> [StaticAnalyzer] LoopUnrolling: Excluding loops which splits the state
> 
> edit: test/Analysis/loop-unrolling.cpp
> edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
> 
> Commit f298eb4879a6b58c9a49cf79e3d2a5587a749bb9 by ekarpenkov:
> [StaticAnalyzer] LoopUnrolling: Keep track the maximum number of steps
> 
> edit: include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h
> edit: lib/StaticAnalyzer/Core/ExprEngine.cpp
> edit: test/Analysis/loop-unrolling.cpp
> edit: lib/StaticAnalyzer/Core/LoopUnrolling.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: include/clang/Analysis/CloneDetection.h
> edit: lib/Analysis/CloneDetection.cpp
> edit: lib/Parse/ParseExpr.cpp
> edit: include/clang/Parse/Parser.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: lib/AST/NSAPI.cpp
> edit: lib/Serialization/ASTReader.cpp
> edit: include/clang/Lex/LiteralSupport.h
> edit: lib/Sema/DeclSpec.cpp
> edit: lib/Sema/SemaType.cpp
> edit: lib/CodeGen/ItaniumCXXABI.cpp
> edit: lib/Sema/SemaTemplateVariadic.cpp
> edit: include/clang-c/Index.h
> add: test/CodeGenCXX/float16-declarations.cpp
> edit: test/Lexer/half-literal.cpp
> edit: include/clang/Basic/TokenKinds.def
> edit: tools/libclang/CXType.cpp
> edit: lib/Parse/ParseExpr.cpp
> edit: include/clang/AST/ASTContext.h
> edit: lib/Lex/LiteralSupport.cpp
> edit: lib/Format/FormatToken.cpp
> edit: include/clang/Sema/DeclSpec.h
> edit: lib/AST/Type.cpp
> edit: lib/Index/USRGeneration.cpp
> edit: lib/Parse/ParseExprCXX.cpp
> edit: lib/CodeGen/CGDebugInfo.cpp
> edit: lib/Parse/ParseTentative.cpp
> edit: lib/AST/StmtPrinter.cpp
> edit: lib/Serialization/ASTCommon.cpp
> edit: include/clang/AST/BuiltinTypes.def
> edit: lib/CodeGen/CodeGenTypes.cpp
> edit: lib/Sema/SemaDecl.cpp
> edit: lib/AST/ItaniumMangle.cpp
> edit: lib/Parse/ParseDecl.cpp
> edit: lib/CodeGen/CGExprScalar.cpp
> edit: lib/Analysis/PrintfFormatString.cpp
> add: test/Frontend/float16.cpp
> edit: lib/AST/MicrosoftMangle.cpp
> edit: lib/Sema/SemaExpr.cpp
> edit: include/clang/Basic/Specifiers.h
> edit: lib/AST/TypeLoc.cpp
> edit: lib/AST/ASTContext.cpp
> 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: lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
> edit: test/Analysis/null-deref-path-notes.c
> 
> 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/Consumed.cpp
> edit: lib/Sema/SemaChecking.cpp
> edit: lib/Sema/SemaDeclCXX.cpp
> edit: lib/Sema/SemaDecl.cpp
> edit: include/clang/AST/Expr.h
> edit: lib/Analysis/UninitializedValues.cpp
> 
> Commit 59ce53dd573be60543518df843b65654af2c7a86 by ekarpenkov:
> [Analyzer] Synthesize function body for std::call_once
> 
> edit: test/Analysis/call_once.cpp
> edit: lib/Analysis/BodyFarm.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: lib/Analysis/BodyFarm.cpp
> edit: test/Analysis/call_once.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/Checkers/ConversionChecker.cpp
> edit: include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
> edit: lib/StaticAnalyzer/Core/CheckerContext.cpp
> edit: lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp
> edit: test/Analysis/bitwise-ops.c
> 
> Commit db1137dd24933af1118b230d1c37a3f2bf4e25eb by ekarpenkov:
> [Analyzer] Assume that string-like const globals are non-nil.
> 
> edit: lib/StaticAnalyzer/Checkers/CMakeLists.txt
> add: lib/StaticAnalyzer/Checkers/NonnullStringConstantsChecker.cpp
> edit: include/clang/StaticAnalyzer/Checkers/Checkers.td
> add: test/Analysis/nonnull-string-constants.mm
> 
> 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: lib/StaticAnalyzer/Checkers/CMakeLists.txt
> delete: lib/StaticAnalyzer/Checkers/NonnullStringConstantsChecker.cpp
> delete: test/Analysis/nonnull-string-constants.mm
> edit: include/clang/StaticAnalyzer/Checkers/Checkers.td
> 
> 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: lib/StaticAnalyzer/Checkers/CStringChecker.cpp
> edit: test/Analysis/bstring.cpp
> edit: test/Analysis/casts.c
> 
> Commit d16d91e437949f85c4a9b474fa09a10c5fc61084 by ekarpenkov:
> [analyzer] pr28449: Fix support for various array initializers.
> 
> add: test/Analysis/compound-literals.c
> edit: lib/StaticAnalyzer/Core/RegionStore.cpp
> add: test/Analysis/objc-encode.m
> 
> 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: test/Analysis/expr-inspection.c
> edit: lib/StaticAnalyzer/Core/SymbolManager.cpp
> 
> Commit acd52cca7377bbca1065d4c5be930feab603347e by ekarpenkov:
> [Analyzer] Correctly handle parameters passed by reference when
> 
> edit: test/Analysis/call_once.cpp
> edit: lib/Analysis/BodyFarm.cpp
> 
> Commit b780292e981346db8f2e8ddcf6d0ab06b4a723c0 by ekarpenkov:
> [analyzer] Fix handling of labels in getLValueElement
> 
> edit: test/Analysis/ptr-arith.c
> edit: lib/StaticAnalyzer/Core/Store.cpp
> 
> Commit 28d7d919a277125f336680e55117663a2028e909 by ekarpenkov:
> [Analyzer] Do not use static storage to for implementations created in
> 
> edit: lib/StaticAnalyzer/Core/AnalysisManager.cpp
> edit: lib/Analysis/AnalysisDeclContext.cpp
> edit: include/clang/Analysis/AnalysisDeclContext.h
> edit: lib/Analysis/BodyFarm.cpp
> add: include/clang/Analysis/BodyFarm.h
> delete: lib/Analysis/BodyFarm.h
> 
> 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: lib/Analysis/AnalysisDeclContext.cpp
> edit: include/clang/Analysis/AnalysisDeclContext.h
> 
> 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/SymExpr.h
> edit: include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h
> 
> Commit 6fb3e97efa15e187d7d65819b4f86ad8b79ecbeb by ekarpenkov:
> [analyzer] LoopUnrolling: check the bitwidth of the used numbers
> 
> edit: test/Analysis/loop-unrolling.cpp
> edit: lib/StaticAnalyzer/Core/LoopUnrolling.cpp
> 
> Commit 3051cf1284ff85b47cff0976733dc1a2e1418b98 by ekarpenkov:
> [analyzer] MisusedMovedObjectChecker: Fix false positive on
> 
> edit: test/Analysis/MisusedMovedObject.cpp
> edit: lib/StaticAnalyzer/Checkers/MisusedMovedObjectChecker.cpp
> 
> Commit bac61e62e1d452a744a630a15d921b2b05aad0ac by ekarpenkov:
> [analyzer] MisusedMovedObjectChecker: More precise warning message
> 
> edit: test/Analysis/MisusedMovedObject.cpp
> edit: lib/StaticAnalyzer/Checkers/MisusedMovedObjectChecker.cpp
> 
> Commit de4e17bd12d9ed46bb86bf2f4d1d751ebde9d8e2 by ekarpenkov:
> [analyzer] Handle ObjC messages conservatively in CallDescription
> 
> edit: lib/StaticAnalyzer/Core/CallEvent.cpp
> add: test/Analysis/block-in-critical-section.m
> 
> 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: lib/StaticAnalyzer/Checkers/BlockInCriticalSectionChecker.cpp
> edit: test/Analysis/block-in-critical-section.cpp
> 
> Commit d3362a17b8e1562bd5d08c4964dd819811c5fafc by ekarpenkov:
> [analyzer] Make issue hash related tests more concise
> 
> edit: include/clang/StaticAnalyzer/Checkers/Checkers.td
> edit: test/Analysis/bug_hash_test.m
> edit: lib/StaticAnalyzer/Checkers/DebugCheckers.cpp
> 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: lib/StaticAnalyzer/Core/IssueHash.cpp
> edit: test/Analysis/bug_hash_test.cpp
> edit: test/Analysis/edges-new.mm
> 
> Commit 049341613cf6c0d48ab1ad505bd4e7dc2fe99494 by ekarpenkov:
> [analyzer] Left shifting a negative value is undefined
> 
> edit: lib/StaticAnalyzer/Core/BasicValueFactory.cpp
> edit: lib/StaticAnalyzer/Checkers/UndefResultChecker.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
> delete: include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitor.h
> edit: lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
> 
> Commit b9aa29a12d87685d65c7d5b1156aacf9c1dbadaa by ekarpenkov:
> [Analyzer] Use value storage for BodyFarm
> 
> edit: include/clang/Analysis/BodyFarm.h
> edit: lib/Analysis/AnalysisDeclContext.cpp
> edit: include/clang/Analysis/AnalysisDeclContext.h
> 
> Commit 943d8175334accadeef6d18f5b50447b70029462 by ekarpenkov:
> [analyzer] Removing unused stored field.
> 
> edit: lib/Analysis/AnalysisDeclContext.cpp
> edit: include/clang/Analysis/AnalysisDeclContext.h
> 
> 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: test/Analysis/unix-fns.c
> edit: lib/Analysis/BodyFarm.cpp
> 
> 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: test/Analysis/constant-folding.c
> edit: lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
> 
> 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
> 
> Commit 031892702a0314ead57fd9e002909caf61205811 by ekarpenkov:
> Revert "Add _Float16 as a C/C++ source language type"
> 
> edit: include/clang/AST/BuiltinTypes.def
> edit: include/clang/AST/ASTContext.h
> edit: lib/Sema/SemaDecl.cpp
> edit: lib/Parse/ParseExprCXX.cpp
> edit: lib/Serialization/ASTCommon.cpp
> edit: lib/CodeGen/ItaniumCXXABI.cpp
> edit: lib/Lex/LiteralSupport.cpp
> edit: lib/Sema/SemaTemplateVariadic.cpp
> edit: lib/Sema/SemaType.cpp
> delete: test/Frontend/float16.cpp
> edit: lib/Parse/ParseDecl.cpp
> edit: lib/Sema/DeclSpec.cpp
> edit: lib/AST/Type.cpp
> edit: include/clang-c/Index.h
> edit: lib/AST/NSAPI.cpp
> edit: lib/Parse/ParseTentative.cpp
> delete: test/CodeGenCXX/float16-declarations.cpp
> edit: lib/Sema/SemaExpr.cpp
> edit: lib/AST/ASTContext.cpp
> edit: lib/CodeGen/CGExprScalar.cpp
> edit: test/Lexer/half-literal.cpp
> edit: lib/Format/FormatToken.cpp
> edit: include/clang/Sema/DeclSpec.h
> edit: lib/AST/TypeLoc.cpp
> edit: include/clang/Basic/Specifiers.h
> edit: include/clang/Basic/TokenKinds.def
> edit: lib/CodeGen/CGDebugInfo.cpp
> edit: tools/libclang/CXType.cpp
> edit: lib/Serialization/ASTReader.cpp
> edit: lib/Analysis/PrintfFormatString.cpp
> edit: lib/AST/StmtPrinter.cpp
> edit: lib/Parse/ParseExpr.cpp
> edit: include/clang/Lex/LiteralSupport.h
> edit: include/clang/Serialization/ASTBitCodes.h
> edit: lib/CodeGen/CodeGenTypes.cpp
> edit: lib/Index/USRGeneration.cpp
> edit: lib/AST/MicrosoftMangle.cpp
> edit: lib/AST/ItaniumMangle.cpp
> 
> Commit 11f34cfdd31ec9552df7fb7679064c0375c7f34f by ahmed.bougacha:
> This patch fixes https://bugs.llvm.org/show_bug.cgi?id=32352 <https://bugs.llvm.org/show_bug.cgi?id=32352> LLVM code
> 
> edit: lib/CodeGen/CodeGenAction.cpp
> 
> Commit cae699c147cc75c5eeabf6d452384b4ee76fc3f8 by ahmed.bougacha:
> Fix ClangDiagnosticHandler::is*RemarkEnabled members
> 
> edit: lib/CodeGen/CodeGenAction.cpp
> add: test/Frontend/optimization-remark-extra-analysis.c

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-dev/attachments/20171109/af30aae9/attachment.html>


More information about the swift-dev mailing list