Commit Graph

22525 Commits

Author SHA1 Message Date
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
Daniel Marjamäki 9c3eeb530e createrelease: only set copyright year for cpp and h files
[ci skip]
2020-05-10 11:17:33 +02:00
Daniel Marjamäki 08ddd84780 Update copyright year 2020-05-10 11:16:32 +02:00
Daniel Marjamäki 3e0218299b Revert "Update copyright year"
This reverts commit 6eec6c4bd5.
2020-05-10 11:13:05 +02:00
Daniel Marjamäki 6eec6c4bd5 Update copyright year 2020-05-10 11:11:34 +02:00
Daniel Marjamäki 6b00fe8a22 GUI: Run lupdate 2020-05-10 11:10:07 +02:00
Daniel Marjamäki 9f76fcf5f1 Fixed Cppcheck warning 2020-05-09 14:45:47 +02:00
Daniel Marjamäki 137f262300 Fix Token::isImpossibleIntValue 2020-05-09 10:30:19 +02:00
Daniel Marjamäki 296a0adc97 man/reference-cfg-format.md: Update text about <not-uninit/>. When 'indirect' the indirection will be implicit according to our old rules. 2020-05-09 09:24:44 +02:00
Daniel Marjamäki 2c23a81470 Manual: Improved information about bug hunting 2020-05-08 22:47:27 +02:00
Daniel Marjamäki 32cbbb09ed cli: publish the --clang option 2020-05-08 20:52:42 +02:00
Daniel Marjamäki e329169ce5 documentation 2020-05-08 20:15:54 +02:00
Daniel Marjamäki d4169f04d5 Bug hunting; Avoid false warnings for impossible values 2020-05-08 17:42:56 +02:00
Daniel Marjamäki ab8bf81f03 ValueFlow: Try to clarify debug output for impossible values 2020-05-08 16:13:55 +02:00
Daniel Marjamäki 02d88cb191 Travis: Run TestExprEngine tests 2020-05-08 12:21:22 +02:00
orbitcowboy 93d9f38dc8 wxwidgets.cfg: Added support for wxDialog::ShowModal() and derived functions. 2020-05-08 09:53:31 +02:00
Gabor Marton 9960d2ee29
[posix.cfg] Fix fstat family (#2629)
* [posix.cfg] Fix fstat family
* Move fstatat64 and __fxstatat64 to gnu.cfg
2020-05-08 09:16:59 +02:00
Gabor Marton 36bacc5917
[posix.cfg] Fix file descriptor params to have proper range value (#2628)
* [posix.cfg] Fix file descriptor params to have proper range value
2020-05-08 09:14:00 +02:00
Gabor Marton d21c7dab28
[posix.cfg] Fix ttyname_r typo (#2630) 2020-05-08 09:13:38 +02:00
Daniel Marjamäki 4779cb124e Fixed #9649 (False positive: uninitialized struct member) 2020-05-07 22:27:18 +02:00