Commit Graph

23444 Commits

Author SHA1 Message Date
orbitcowboy d0e2fd240b wxwidgets.cfg: Added support for more interfaces. 2020-05-17 14:35:48 +02:00
orbitcowboy 652700ff64 wxwidgets.cfg: Added support for more interfaces. 2020-05-17 14:32:16 +02:00
orbitcowboy 2c3b79fe86 wxwidgets.cfg: Added support for more interfaces. 2020-05-17 14:28:12 +02:00
orbitcowboy cabd0ec146 wxwidgets.cfg: Added support for more interfaces. 2020-05-17 14:24:58 +02:00
orbitcowboy f37308c0fd wxwidgets.cfg: Added support for more interfaces. 2020-05-17 14:17:26 +02:00
orbitcowboy 5c12602596 wxwidgets.cfg: Added support for more interfaces. 2020-05-17 10:11:51 +02:00
orbitcowboy 9382ebf9d8 wxwidgets.cfg: Added support for more interfaces. 2020-05-17 10:04:50 +02:00
orbitcowboy ee30b7e9a2 wxwidgets.cfg: Added support for more interfaces. 2020-05-17 10:01:16 +02:00
orbitcowboy aa7f73709b wxwidgets.cfg: Added support for more interfaces. 2020-05-17 09:47:14 +02:00
orbitcowboy cfe674bbf7 wxwidgets.cfg: Added support for more interfaces. 2020-05-16 21:45:54 +02:00
orbitcowboy 8613c06ba9 wxwidgets.cfg: Added support for more interfaces. 2020-05-16 21:39:19 +02:00
orbitcowboy 6c9e3223e8 wxwidgets.cfg: Added support for more interfaces. 2020-05-16 21:33:36 +02:00
orbitcowboy bef8c20b05 wxwidgets.cfg: Cleanup wrong entry 2020-05-16 21:29:14 +02:00
orbitcowboy 10c07c6284 wxwidgets.cfg: Added support for more interfaces. 2020-05-16 21:27:52 +02:00
orbitcowboy 1d2c6176da wxwidgets.cfg: Added support for more interfaces. 2020-05-16 21:21:27 +02:00
orbitcowboy 6b6d3761e2 wxwidgets.cfg: Added support for more interfaces. 2020-05-16 21:06:41 +02:00
Rikard Falkeborn 041a476d14
travis: Test matchcompiler with both python2 and python3 (#2644) 2020-05-16 07:33:55 +02:00
Daniel Marjamäki 871cf379d5 ExprData: Better handling of ternary operator 2020-05-15 21:34:52 +02:00
Daniel Marjamäki 76f4fae806 Bug hunting; Started to activate some itc tests for uninitialized variables 2020-05-15 20:58:33 +02:00
Daniel Marjamäki 6fb014a07a Generate new Makefile by dmake without externals/z3_version.h 2020-05-15 18:28:18 +02:00
Daniel Marjamäki fd09c6e8a5 run dmake 2020-05-15 17:17:22 +02:00
Daniel Marjamäki d8d794c522 Fix validateXML 2020-05-15 17:05:55 +02:00
Daniel Marjamäki 57e9036186 Cppcheck --addon command should use python3 by default. It can be overridden if needed. 2020-05-15 14:33:35 +02:00
Daniel Marjamäki e508950f4f ExprEngine; Activate bug hunting analysis for uninitialized variables/data. This analysis is pretty experimental right now. 2020-05-15 11:25:56 +02:00
Daniel Marjamäki 275c8e84d2 Set development version 2.0.99 2020-05-15 11:15:34 +02:00
Rikard Falkeborn 1d80cd23ca
test-my-pr: Add timing info (#2642) 2020-05-14 19:45:53 +02:00
versat 2fd2edd3f9 astyle formatting
[ci skip]
2020-05-14 18:18:14 +02:00
Oliver Stöneberg a0317477c9
utils.h: avoid unnecessary string creation in isStringCharLiteral() (#2638)
* utils.h: avoid unnecessary string creation in isStringCharLiteral()

reduces Ir from 541 to 63 in a test

* dmake
2020-05-14 14:45:35 +02:00
Paul Fultz II d123279fc1
Fix issue 9709: ValueFlow: variable value is not known (#2643) 2020-05-14 14:10:32 +02:00
Daniel Marjamäki 4afaff059b Fix replacement in TestExprEngine 2020-05-13 09:56:21 +02:00
Daniel Marjamäki 0c97625aa0 github actions: Fix TestExprEngine 2020-05-13 09:50:25 +02:00
Daniel Marjamäki e2aec95fc9 Try to make github actions happy 2020-05-13 05:03:32 +02:00
Daniel Marjamäki 2acfd2bcd4 Try to make Travis happy 2020-05-13 04:45:45 +02:00
Oliver Stöneberg 4f7d162555
matchcompiler.py: only add additional includes if necessary (#2636) 2020-05-12 21:49:39 +02:00
Daniel Marjamäki 0799d74071 Tweak Z3 version checks 2020-05-12 17:01:16 +02:00
Daniel Marjamäki 3e650c311b Remove NEW_Z3 macro 2020-05-12 16:57:07 +02:00
orbitcowboy dab0180aef wxwidgets.cfg: Added support for more interfaces 2020-05-12 12:24:35 +02:00
orbitcowboy 57f491dcdb wxwidgets.cfg: Added support for more interfaces 2020-05-12 12:17:22 +02:00
orbitcowboy f4bf36c385 windows.cfg: Removed not needed '<use-retval/>'-tag 2020-05-11 18:01:22 +02:00
orbitcowboy 19105661c5 windows.cfg: Added missing argument 2020-05-11 17:17:30 +02:00
orbitcowboy 90d7ad2c10 windows.cfg: Added support for more interfaces 2020-05-11 17:15:45 +02:00
Daniel Marjamäki 046f8eb6c6 ExprEngine: improved handling when lhs/rhs for && has unknown value 2020-05-10 22:50:23 +02:00
Oliver Stöneberg e0e50139cb
cleaned up includes based on include-what-you-use (#2632)
* cleaned up includes based on include-what-you-use

* token.cpp: fixed -Wextra-semi-stmt warning
2020-05-10 16:45:45 +02:00
Oliver Stöneberg e066300f95
added dmake targets to CMake (#2634) 2020-05-10 16:41:50 +02:00
Daniel Marjamäki 809a769c69 Try to make Travis happy 2020-05-10 15:38:01 +02:00
Daniel Marjamäki 8d25901a96 daca@home: update OLD_VERSION 2020-05-10 14:30:53 +02:00
Daniel Marjamäki db6135dd13 Makefile: DEBUG 2020-05-10 14:15:03 +02:00
Daniel Marjamäki 9e5ff38707 make clean to ensure all objects are updated 2020-05-10 14:14:50 +02:00
Daniel Marjamäki aad6dc4367 2.0: Updated Makefile 2020-05-10 11:31:19 +02:00
Daniel Marjamäki dc32f428ff Set Cppcheck version 2020-05-10 11:28:31 +02:00