Both Pantazis and I have recently upgraded to OSX Mavericks, and subsequently have independently been running into problems with some of the regression tests. For example, pointers3.c fails during the opt stage, segfaulting while translating foo() (stacktrace at the bottom). We also get the same issue from both the opt plugin and the standalone executable tool (branch smack2tool).
The latest versions seem to still be just fine on an Ubuntu 13.04 machine running an otherwise identical set up.
Analyzing function: foo
Inst: store i32 0, i32* getelementptr inbounds (%struct.point* @p, i32 0, i32 1), align 4, !dbg !27
Inst name:
0 opt 0x000000010606bbd8 llvm::sys::PrintStackTrace(__sFILE*) + 40
1 opt 0x000000010606c134 SignalHandler(int) + 564
2 libsystem_platform.dylib 0x00007fff8a9015aa _sigtramp + 26
3 libsystem_platform.dylib 0x000000000000ffff _sigtramp + 1970334319
4 smack.dylib 0x000000010685373a std::__1::__deque_iterator<llvm::User const*, llvm::User const**, llvm::User const*&, llvm::User const***, long, 512l> std::__1::deque<llvm::User const*, std::__1::allocator<llvm::User const*> >::insert<llvm::value_use_iterator<llvm::User const> >(std::__1::__deque_iterator<llvm::User const*, llvm::User const* const*, llvm::User const* const&, llvm::User const** const*, long, 512l>, llvm::value_use_iterator<llvm::User const>, llvm::value_use_iterator<llvm::User const>, std::__1::enable_if<(__is_input_iterator<llvm::value_use_iterator<llvm::User const> >::value) && (!(__is_bidirectional_iterator<llvm::value_use_iterator<llvm::User const> >::value)), void>::type*) + 410
5 smack.dylib 0x0000000106852011 llvm::DSNodeEquivs::getMemberForValue(llvm::Value const*) + 993
6 smack.dylib 0x0000000106718490 smack::DSAAliasAnalysis::alias(llvm::AliasAnalysis::Location const&, llvm::AliasAnalysis::Location const&) + 80
7 smack.dylib 0x00000001067185b7 non-virtual thunk to smack::DSAAliasAnalysis::alias(llvm::AliasAnalysis::Location const&, llvm::AliasAnalysis::Location const&) + 55
8 smack.dylib 0x0000000106759392 llvm::AliasAnalysis::isNoAlias(llvm::AliasAnalysis::Location const&, llvm::AliasAnalysis::Location const&) + 66
9 smack.dylib 0x00000001067563d8 llvm::AliasAnalysis::isNoAlias(llvm::Value const*, llvm::Value const*) + 120
10 smack.dylib 0x000000010674de71 smack::SmackRep::getRegion(llvm::Value const*) + 161
11 smack.dylib 0x000000010674dd7f smack::SmackRep::mem(llvm::Value const*) + 47
12 smack.dylib 0x00000001067268b6 smack::SmackInstGenerator::visitStoreInst(llvm::StoreInst&) + 246
13 smack.dylib 0x0000000106740428 llvm::InstVisitor<smack::SmackInstGenerator, void>::visitStore(llvm::StoreInst&) + 40
14 smack.dylib 0x000000010673fb2b llvm::InstVisitor<smack::SmackInstGenerator, void>::visit(llvm::Instruction&) + 763
15 smack.dylib 0x000000010673f825 void llvm::InstVisitor<smack::SmackInstGenerator, void>::visit<llvm::ilist_iterator<llvm::Instruction> >(llvm::ilist_iterator<llvm::Instruction>, llvm::ilist_iterator<llvm::Instruction>) + 101
16 smack.dylib 0x000000010673f7a2 llvm::InstVisitor<smack::SmackInstGenerator, void>::visit(llvm::BasicBlock&) + 82
17 smack.dylib 0x000000010673eabd llvm::InstVisitor<smack::SmackInstGenerator, void>::visit(llvm::BasicBlock*) + 29
18 smack.dylib 0x000000010673c8e2 smack::SmackModuleGenerator::generateProgram(llvm::Module&, smack::SmackRep*) + 3378
19 smack.dylib 0x000000010674573d smack::SmackModuleGenerator::runOnModule(llvm::Module&) + 109
20 opt 0x0000000106008675 llvm::MPPassManager::runOnModule(llvm::Module&) + 517
21 opt 0x0000000106008d0c llvm::PassManagerImpl::run(llvm::Module&) + 540
22 opt 0x0000000106008efd llvm::PassManager::run(llvm::Module&) + 13
23 opt 0x000000010551f438 main + 7048
24 libdyld.dylib 0x00007fff88c485fd start + 1
25 libdyld.dylib 0x000000000000000b start + 2000386575
Stack dump:
0. Program arguments: opt -load=/Users/ethel/work/install/smock/install/lib/smack.dylib -internalize -mem2reg -source-loc-syms -die -lowerswitch -bpl_print -mem-mod=twodim -debug -o=tmp.bc
1. Running pass 'SMACK generator pass' on module '<stdin>'.