Update for LLVM 6.0.0

[jackanth]

Relevant LLVM changes for updating to v6.0.0 from v4.0.0:

• The IsPostDominators member of llvm::DominanceFrontierBase has become a template parameter (https://reviews.llvm.org/D35315).
• The method llvm::Function::getArgumentList has been dropped in favour of llvm::Function::arg_begin, llvm::Function::arg_end and llvm::Function::args (https://reviews.llvm.org/rL298010).
• tool_output_file has been renamed ToolOutputFile.
• FindAllocaDbgDeclare has been replaced with FindDbgAddrUses, which returns a list of zero or one llvm.dbg.declare intrinsics plus zero or more llvm.dbg.addr intrinsics (upcast as DbgInfoIntrinsic objects) (https://reviews.llvm.org/D37768).

I've run the test script for the mem_leak directory and it all looks fine – could you advise any further testing that needs to be done?

Many thanks!
Jack

[jackanth]

Re Travis: I'm not sure how much luck we'll have getting LLVM/clang 6 on Ubuntu Trusty – if necessary, we can make a docker container with everything we need and Travis can build SVF inside it.

[yuleisui]

Jack,

Very good! Thanks a lot for your contribution!

I will take a look at the patch next week. It seems no significant changes made compared to 5.0.

By the way, you can also try PTABen (https://github.com/SVF-tools/PTABen) to validate the correctness (e.g., basic_c_tests). Simply copy the benchmark suite under SVF and execute "runtest.sh".

@mbarbar
Mohamad,

Could you please help Jack to set up the travis?

Thanks,
Yulei

[yuleisui]

Jack,

The whole patch looks good to me. It has passed all micro-benchmarks.

I will merge it soon.

[jackanth]

Great, cheers Yulei!