NoQ added a comment.
Reverted in rC349233 <https://reviews.llvm.org/rC349233> - fails on a Windows
buildbot
(http://lab.llvm.org:8011/builders/clang-x64-windows-msvc/builds/2642/steps/annotate/logs/stdio).
Surprisingly, the next build is fine, and the build after it is broken again.
Probably some UB.
******************** TEST 'Clang :: Analysis/use-after-move.cpp' FAILED
********************
Script:
--
: 'RUN: at line 1';
c:\b\slave\clang-x64-windows-msvc\build\build\stage1\bin\clang.EXE -cc1
-internal-isystem
c:\b\slave\clang-x64-windows-msvc\build\build\stage1\lib\clang\8.0.0\include
-nostdsysteminc -analyze -analyzer-constraints=range
-analyzer-checker=alpha.cplusplus.Move -verify
C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp
-std=c++11 -analyzer-output=text -analyzer-config eagerly-assume=false
-analyzer-config exploration_strategy=unexplored_first_queue -analyzer-checker
debug.ExprInspection
: 'RUN: at line 5';
c:\b\slave\clang-x64-windows-msvc\build\build\stage1\bin\clang.EXE -cc1
-internal-isystem
c:\b\slave\clang-x64-windows-msvc\build\build\stage1\lib\clang\8.0.0\include
-nostdsysteminc -analyze -analyzer-constraints=range
-analyzer-checker=alpha.cplusplus.Move -verify
C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp
-std=c++11 -analyzer-output=text -analyzer-config eagerly-assume=false
-analyzer-config exploration_strategy=dfs -DDFS=1 -analyzer-checker
debug.ExprInspection
: 'RUN: at line 9';
c:\b\slave\clang-x64-windows-msvc\build\build\stage1\bin\clang.EXE -cc1
-internal-isystem
c:\b\slave\clang-x64-windows-msvc\build\build\stage1\lib\clang\8.0.0\include
-nostdsysteminc -analyze -analyzer-constraints=range
-analyzer-checker=alpha.cplusplus.Move -verify
C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp
-std=c++11 -analyzer-output=text -analyzer-config eagerly-assume=false
-analyzer-config exploration_strategy=unexplored_first_queue -analyzer-config
alpha.cplusplus.Move:Aggressive=true -DAGGRESSIVE -analyzer-checker
debug.ExprInspection
: 'RUN: at line 14';
c:\b\slave\clang-x64-windows-msvc\build\build\stage1\bin\clang.EXE -cc1
-internal-isystem
c:\b\slave\clang-x64-windows-msvc\build\build\stage1\lib\clang\8.0.0\include
-nostdsysteminc -analyze -analyzer-constraints=range
-analyzer-checker=alpha.cplusplus.Move -verify
C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp
-std=c++11 -analyzer-output=text -analyzer-config eagerly-assume=false
-analyzer-config exploration_strategy=dfs -DDFS=1 -analyzer-config
alpha.cplusplus.Move:Aggressive=true -DAGGRESSIVE -analyzer-checker
debug.ExprInspection
--
Exit Code: 1
Command Output (stdout):
--
$ ":" "RUN: at line 1"
$ "c:\b\slave\clang-x64-windows-msvc\build\build\stage1\bin\clang.EXE" "-cc1"
"-internal-isystem"
"c:\b\slave\clang-x64-windows-msvc\build\build\stage1\lib\clang\8.0.0\include"
"-nostdsysteminc" "-analyze" "-analyzer-constraints=range"
"-analyzer-checker=alpha.cplusplus.Move" "-verify"
"C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp"
"-std=c++11" "-analyzer-output=text" "-analyzer-config" "eagerly-assume=false"
"-analyzer-config" "exploration_strategy=unexplored_first_queue"
"-analyzer-checker" "debug.ExprInspection"
# command stderr:
error: 'warning' diagnostics expected but not seen:
File
C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp
Line 823 (directive at
C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp:825):
Dereference of null smart pointer 'P' of type 'std::unique_ptr'
File
C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp
Line 851: Dereference of null smart pointer 'P' of type 'std::unique_ptr'
error: 'warning' diagnostics seen but not expected:
File
C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp
Line 831: REACHABLE
File
C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp
Line 851: Method called on moved-from object 'P'
error: 'note' diagnostics expected but not seen:
File
C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp
Line 812 (directive at
C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp:826):
Smart pointer 'P' of type 'std::unique_ptr' is reset to null when moved from
File
C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp
Line 823 (directive at
C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp:827):
Dereference of null smart pointer 'P' of type 'std::unique_ptr'
File
C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp
Line 844: Object 'P' is moved
File
C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp
Line 850: Smart pointer 'P' of type 'std::unique_ptr' is reset to null when
moved from
File
C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp
Line 851 (directive at
C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp:852):
Dereference of null smart pointer 'P' of type 'std::unique_ptr'
error: 'note' diagnostics seen but not expected:
File
C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp
Line 831: REACHABLE
File
C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp
Line 844:
File
C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp
Line 850:
File
C:\b\slave\clang-x64-windows-msvc\build\llvm.src\tools\clang\test\Analysis\use-after-move.cpp
Line 851: Method called on moved-from object 'P'
13 errors generated.
error: command failed with exit status: 1
Repository:
rC Clang
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D55388/new/
https://reviews.llvm.org/D55388
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
