maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/lib
History
Jan Kratochvil ca71cc9c5a 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 declared in this scope
../tools/clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp:49:40: note:
suggested alternative: 'Z3_get_error_msg'

Formerly used Z3_get_error_msg_ex() as one could find in z3-4.7.1 states:
	"Retained function name for backwards compatibility within v4.1"
And it is implemented only as a forwarding call:
	return Z3_get_error_msg(c, err);

Differential Revision: https://reviews.llvm.org/D54391

llvm-svn: 346635
 		2018-11-12 06:48:02 +00:00
..
ARCMigrate Fix clang -Wimplicit-fallthrough warnings across llvm, NFC 2018-11-01 19:54:45 +00:00
AST Pass the function type instead of the return type to FunctionDecl::Create 2018-11-11 00:56:15 +00:00
ASTMatchers [ASTMatchers] overload ignoringParens for Expr 2018-11-09 20:54:06 +00:00
Analysis Compound literals, enums, et al require const expr 2018-11-09 00:41:36 +00:00
Basic Introduce the _Clang scoped attribute token. 2018-11-09 17:19:45 +00:00
CodeGen [CodeGen][CXX]: Fix no_destroy CG bug under specific circumstances 2018-11-12 01:19:16 +00:00
CrossTU [CrossTU] Fix handling of Cross Translation Unit directory path 2017-10-27 12:53:37 +00:00
Driver [HIP] Remove useless sections in linked files 2018-11-09 18:52:05 +00:00
Edit [Fixed Point Arithmetic] Fixed Point to Boolean Cast 2018-10-23 17:55:35 +00:00
Format Fix ClangFormat issue of recognizing ObjC subscript as C++ attributes when message target is a result of a C-style method. 2018-11-09 23:19:14 +00:00
Frontend Pass the function type instead of the return type to FunctionDecl::Create 2018-11-11 00:56:15 +00:00
FrontendTool [analyzer] New flag to print all -analyzer-config options 2018-11-02 15:59:37 +00:00
Headers [PowerPC] [Clang] [AltiVec] The second parameter of vec_sr function should be modulo the number of bits in the element 2018-11-09 03:35:32 +00:00
Index [OpenCL] Add support of cl_intel_device_side_avc_motion_estimation extension 2018-11-08 11:25:41 +00:00
Lex Reapply "Fix regression in behavior of clang -x c++-header -fmodule-name=XXX" 2018-11-05 12:46:02 +00:00
Parse Support Swift in platform availability attribute 2018-11-12 02:44:33 +00:00
Rewrite Fix clang -Wimplicit-fallthrough warnings across llvm, NFC 2018-11-01 19:54:45 +00:00
Sema Support Swift in platform availability attribute 2018-11-12 02:44:33 +00:00
Serialization [OpenCL] Add support of cl_intel_device_side_avc_motion_estimation extension 2018-11-08 11:25:41 +00:00
StaticAnalyzer Fix compatibility with z3-4.8.1 2018-11-12 06:48:02 +00:00
Tooling [Tooling] Avoid diagnosing missing input files in an edge-case where it's incorrect. 2018-11-09 11:49:22 +00:00
CMakeLists.txt Add Cross Translation Unit support library 2017-09-22 11:11:01 +00:00