r369397 - [clang] Use the new Regex::isValid() with no parameter

2019-08-20 Thread Jan Kratochvil via cfe-commits
Author: jankratochvil Date: Tue Aug 20 09:07:31 2019 New Revision: 369397 URL: http://llvm.org/viewvc/llvm-project?rev=369397&view=rev Log: [clang] Use the new Regex::isValid() with no parameter Differential Revision: https://reviews.llvm.org/D66463 Modified: cfe/trunk/lib/Analysis/CloneDete

r347152 - cmake: z3: Remove EXACT from 4.7.1 after being compatible with 4.8.1

2018-11-18 Thread Jan Kratochvil via cfe-commits
Author: jankratochvil Date: Sun Nov 18 01:36:36 2018 New Revision: 347152 URL: http://llvm.org/viewvc/llvm-project?rev=347152&view=rev Log: cmake: z3: Remove EXACT from 4.7.1 after being compatible with 4.8.1 After check-in of D54391 a comment there by @mikhail.ramalho says: Since we're supportin

r346635 - Fix compatibility with z3-4.8.1

2018-11-12 Thread Jan Kratochvil via cfe-commits
Author: jankratochvil Date: Sun Nov 11 22:48:02 2018 New Revision: 346635 URL: http://llvm.org/viewvc/llvm-project?rev=346635&view=rev Log: Fix compatibility with z3-4.8.1 With z3-4.8.1: ../tools/clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp:49:40: error: 'Z3_get_error_msg_ex' was not dec