[cfe-dev] New test failures...
Ted Kremenek
kremenek at apple.com
Fri Jan 25 15:23:54 PST 2008
This is my fault. I thought I had run make test before this commit.
I've reverted r4636 (a change to CFG.cpp), and the failures go away.
I'm investigating.
On Jan 25, 2008, at 2:17 PM, Steve Naroff wrote:
> Are other folks seeing the test failures below?
>
> snaroff
>
> ******************** TEST 'Analysis/conditional-op-missing-lhs.c'
> FAILED! ********************
> Command:
> clang -warn-dead-stores -warn-uninit-values -verify Analysis/
> conditional-op-missing-lhs.c
> Output:
> 0 clang 0x0022e655
> _ZN40_GLOBAL__N_Signals.cpp_00000000_1A94971F15PrintStackTraceEv + 45
> 1 clang 0x0022e9fb
> _ZN40_GLOBAL__N_Signals.cpp_00000000_1A94971F13SignalHandlerEi + 323
> 2 libSystem.B.dylib 0x916fd97b _sigtramp + 43
> 3 ??? 0xffffffff 0x0 + 4294967295
> 4 clang 0x000e63f9
> _ZN5clang14BinaryOperator7classofEPKNS_4StmtE + 17
> 5 clang 0x000c96b9
> _ZN4llvm8isa_implIN5clang14BinaryOperatorENS1_4StmtEEEbRKT0_ + 17
> 6 clang 0x00077935
> _ZN4llvm13isa_impl_wrapIN5clang14BinaryOperatorEKNS1_4StmtES4_E4doitERS4_
> + 17
> 7 clang 0x000c96d1
> _ZN4llvm11isa_impl_clIN5clang4StmtEE3isaINS1_14BinaryOperatorEEEbRKS2_
> + 17
> 8 clang 0x0007794d
> _ZN4llvm11isa_impl_clIPN5clang4StmtEE3isaINS1_14BinaryOperatorEEEbS3_
> + 17
> 9 clang 0x000c96eb
> _ZN4llvm3isaIN5clang14BinaryOperatorEPNS1_4StmtEEEbRKT0_ + 19
> 10 clang 0x000c976d
> _ZN4llvm8dyn_castIN5clang14BinaryOperatorEPNS1_4StmtEEENS_10cast_rettyIT_T0_E8ret_typeES7_
> + 17
> 11 clang 0x000c059b
> _ZN36_GLOBAL__N_CFG
> .cpp_00000000_9BCA14CD10print_stmtERSoPNS_17StmtPrinterHelperEPN5clang4StmtE
> + 525
> 12 clang 0x000c06a7
> _ZN36_GLOBAL__N_CFG
> .cpp_00000000_9BCA14CD10print_stmtERSoPNS_17StmtPrinterHelperEPN5clang4StmtE
> + 793
> 13 clang 0x000c08f7
> _ZN5clang3CFG14getNumBlkExprsEv + 45
> 14 clang 0x0007535a
> _ZNK5clang23ExprDeclBitVector_Types14AnalysisDataTy11getNumExprsEv +
> 20
> 15 clang 0x0007dae8
> _ZN5clang23ExprDeclBitVector_Types5ValTy11resetValuesERNS0_14AnalysisDataTyE
> + 44
> 16 clang 0x0007db56
> _ZN5clang23ExprDeclBitVector_Types5ValTy11resetValuesERNS0_14AnalysisDataTyE
> + 154
> 17 clang 0x0007db70
> _ZN5clang23ExprDeclBitVector_Types5ValTy11resetValuesERNS0_14AnalysisDataTyE
> + 180
> 18 clang 0x0007dbae
> _ZN5clang14DataflowSolverINS_19UninitializedValuesEN52_GLOBAL__N_UninitializedValues
> .cpp_00000000_7535CE1A13TransferFuncsENS_23ExprDeclBitVector_Types5UnionESt8equal_toINS4_5ValTyEEEC2ERS1_
> + 60
> 19 clang 0x0007dbc8
> _ZN5clang14DataflowSolverINS_19UninitializedValuesEN52_GLOBAL__N_UninitializedValues
> .cpp_00000000_7535CE1A13TransferFuncsENS_23ExprDeclBitVector_Types5UnionESt8equal_toINS4_5ValTyEEEC1ERS1_
> + 24
> 20 clang 0x0007cdc0
> _ZN5clang24CheckUninitializedValuesERNS_3CFGERNS_10ASTContextERNS_10DiagnosticEb
> + 80
> 21 clang 0x0000424d
> _ZN45_GLOBAL__N_ASTConsumers
> .cpp_00000000_CC4C52DC17UninitValsVisitor8VisitCFGERN5clang3CFGE + 45
> 22 clang 0x00003145
> _ZN45_GLOBAL__N_ASTConsumers
> .cpp_00000000_CC4C52DC10CFGVisitor18HandleTopLevelDeclEPN5clang4DeclE
> + 195
> 23 clang 0x00086af0
> _ZN5clang8ParseASTERNS_12PreprocessorEPNS_11ASTConsumerEb + 244
> 24 clang 0x0000951d
> _ZN5clang16CheckASTConsumerERNS_12PreprocessorEPNS_11ASTConsumerE + 33
> 25 clang 0x00023166
> _ZNSsC1IN9__gnu_cxx17__normal_iteratorIPcSsEEEET_S4_RKSaIcE + 4816
> 26 clang 0x0002529d main + 1315
> 27 clang 0x000018be start + 54
> Output/Analysis/conditional-op-missing-lhs.c.out.script: line 1: 71591
> Bus error clang -warn-dead-stores -warn-uninit-values -
> verify Analysis/conditional-op-missing-lhs.c
> ******************** TEST 'Analysis/conditional-op-missing-lhs.c'
> FAILED! ********************
> Analysis/dead-stores.c
> Analysis/uninit-vals.c
> ******************** TEST 'Analysis/uninit-vals.c' FAILED!
> ********************
> Command:
> clang -warn-uninit-values -verify Analysis/uninit-vals.c
> Output:
> Assertion failed: (AD.isTracked(E)), function BlockStmt_VisitExpr,
> file UninitializedValues.cpp, line 204.
> 0 clang 0x0022e655
> _ZN40_GLOBAL__N_Signals.cpp_00000000_1A94971F15PrintStackTraceEv + 45
> 1 clang 0x0022e9fb
> _ZN40_GLOBAL__N_Signals.cpp_00000000_1A94971F13SignalHandlerEi + 323
> 2 libSystem.B.dylib 0x916fd97b _sigtramp + 43
> 3 ??? 0xffffffff 0x0 + 4294967295
> 4 libSystem.B.dylib 0x91776782 raise + 26
> 5 libSystem.B.dylib 0x91785d3f abort + 73
> 6 libSystem.B.dylib 0x91777923 __assert_rtn + 101
> 7 clang 0x0007c89a
> _ZN5clang30UninitializedValues_ValueTypes10ObserverTyD0Ev + 996
> 8 clang 0x000810b7
> _ZN5clang14CFGStmtVisitorIN52_GLOBAL__N_UninitializedValues
> .cpp_00000000_7535CE1A13TransferFuncsEbE15BlockStmt_VisitEPNS_4StmtE +
> 335
> 9 clang 0x0008114f
> _ZN5clang14DataflowSolverINS_19UninitializedValuesEN52_GLOBAL__N_UninitializedValues
> .cpp_00000000_7535CE1A13TransferFuncsENS_23ExprDeclBitVector_Types5UnionESt8equal_toINS4_5ValTyEEE11ProcessStmtEPKNS_4StmtEbNS_8dataflow20forward_analysis_tagE
> + 103
> 10 clang 0x000811ad
> _ZN5clang14DataflowSolverINS_19UninitializedValuesEN52_GLOBAL__N_UninitializedValues
> .cpp_00000000_7535CE1A13TransferFuncsENS_23ExprDeclBitVector_Types5UnionESt8equal_toINS4_5ValTyEEE12ProcessBlockEPKNS_8CFGBlockEb
> + 87
> 11 clang 0x00081240
> _ZN5clang14DataflowSolverINS_19UninitializedValuesEN52_GLOBAL__N_UninitializedValues
> .cpp_00000000_7535CE1A13TransferFuncsENS_23ExprDeclBitVector_Types5UnionESt8equal_toINS4_5ValTyEEE22SolveDataflowEquationsERNS_3CFGEb
> + 108
> 12 clang 0x00082786
> _ZN5clang14DataflowSolverINS_19UninitializedValuesEN52_GLOBAL__N_UninitializedValues
> .cpp_00000000_7535CE1A13TransferFuncsENS_23ExprDeclBitVector_Types5UnionESt8equal_toINS4_5ValTyEEE8runOnCFGERNS_3CFGEb
> + 58
> 13 clang 0x0007cddd
> _ZN5clang24CheckUninitializedValuesERNS_3CFGERNS_10ASTContextERNS_10DiagnosticEb
> + 109
> 14 clang 0x0000424d
> _ZN45_GLOBAL__N_ASTConsumers
> .cpp_00000000_CC4C52DC17UninitValsVisitor8VisitCFGERN5clang3CFGE + 45
> 15 clang 0x00003145
> _ZN45_GLOBAL__N_ASTConsumers
> .cpp_00000000_CC4C52DC10CFGVisitor18HandleTopLevelDeclEPN5clang4DeclE
> + 195
> 16 clang 0x00086af0
> _ZN5clang8ParseASTERNS_12PreprocessorEPNS_11ASTConsumerEb + 244
> 17 clang 0x0000951d
> _ZN5clang16CheckASTConsumerERNS_12PreprocessorEPNS_11ASTConsumerE + 33
> 18 clang 0x00023166
> _ZNSsC1IN9__gnu_cxx17__normal_iteratorIPcSsEEEET_S4_RKSaIcE + 4816
> 19 clang 0x0002529d main + 1315
> 20 clang 0x000018be start + 54
> Output/Analysis/uninit-vals.c.out.script: line 1: 71615 Abort
> trap clang -warn-uninit-values -verify Analysis/uninit-
> vals.c
> ******************** TEST 'Analysis/uninit-vals.c' FAILED!
> ********************
>
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
More information about the cfe-dev
mailing list