Paul Fultz II
|
e12a733ee9
|
Fix issue 10053: False positive: Same value on both branches of ternary operator (#2962)
|
2020-12-23 13:37:28 +01:00 |
Daniel Marjamäki
|
d1139db960
|
astyle formatting
[ci skip]
|
2020-12-22 21:30:15 +01:00 |
|
Daniel Marjamäki
|
e4766c73dc
|
ExprEngine; Use 60s as default maxtime processing a function, the analysis time will be somewhat reasonable
|
2020-12-22 21:09:24 +01:00 |
Georgy Komarov
|
259f562e73
|
ExprEngine: Add condition branches for the while loops (#2970)
|
2020-12-22 20:21:57 +01:00 |
|
Daniel Marjamäki
|
a9e7974963
|
ExprEngine: use 'real' instead of 'fpa' values in latest Z3 for floats
|
2020-12-22 18:05:21 +01:00 |
|
Daniel Marjamäki
|
315892d991
|
ExprEngine; add a 'stupid' handling of floating point promotions for integers
|
2020-12-22 17:15:11 +01:00 |
|
Daniel Marjamäki
|
1812951640
|
ExprEngine; Fix problem when float suffix is used
|
2020-12-22 15:17:36 +01:00 |
|
Daniel Marjamäki
|
347fccb207
|
ExprEngine; Avoid overspecified constraints
|
2020-12-22 11:10:01 +01:00 |
orbitcowboy
|
f4f3b1bc77
|
wxwidgets.cfg: Added support for more interfaces, found by daca@home
|
2020-12-22 10:29:57 +01:00 |
|
orbitcowboy
|
0475504728
|
wxwidgets.cfg: Added support for more interfaces, found by daca@home
|
2020-12-22 10:27:23 +01:00 |
amai2012
|
f0da9098b9
|
Set language compatibility to C++14 in Visual Studio (#2967)
There is no C++11 flag
|
2020-12-22 10:24:25 +01:00 |
|
orbitcowboy
|
27f394e52c
|
wxwidgets.cfg: Added support for more interfaces, found by daca@home
|
2020-12-22 10:20:44 +01:00 |
|
orbitcowboy
|
208fdee1f3
|
wxwidgets.cfg: Added support for more interfaces, found by daca@home
|
2020-12-22 10:17:29 +01:00 |
|
orbitcowboy
|
6e9adc65d6
|
wxwidgets.cfg: Added support for more interfaces, found by daca@home
|
2020-12-22 10:12:47 +01:00 |
|
orbitcowboy
|
280dcedfa4
|
wxwidgets.cfg: Added support for more interfaces, found by daca@home
|
2020-12-22 10:09:04 +01:00 |
|
orbitcowboy
|
178c5dd402
|
gtk.cfg: Added support for unknownMacros, found by daca@home
|
2020-12-22 09:44:52 +01:00 |
|
Georgy Komarov
|
0731df7d2d
|
ExprEngine: Add FP and String literals in determining that condition can (#2969)
|
2020-12-22 09:25:54 +01:00 |
|
Daniel Marjamäki
|
fcb496fb40
|
Fixed compiler error
|
2020-12-22 08:17:14 +01:00 |
|
Daniel Marjamäki
|
f6447cc546
|
ExprEngine; Wrap z3 interface that is not the same in different z3 versions
|
2020-12-22 08:13:40 +01:00 |
|
Daniel Marjamäki
|
13ed2effa1
|
astyle formatting
[ci skip]
|
2020-12-22 08:09:51 +01:00 |
IOBYTE
|
2ecab32fbe
|
fix debug printing of valuetype name with namespaces (#2968)
|
2020-12-21 19:47:54 +01:00 |
|
Daniel Marjamäki
|
01ac4073c8
|
TestExprEngine: Fix for ubuntu 18.04. Replace '(/ 123.0 10.0)' with '12.3'
|
2020-12-21 15:29:05 +01:00 |
|
Daniel Marjamäki
|
c3e798968c
|
ExprEngine; Fix floating point comparison
|
2020-12-21 13:28:10 +01:00 |
kskjerve
|
c22290f5a3
|
Fix #10043 unexpected designator (#2966)
|
2020-12-21 13:25:41 +01:00 |
|
Georgy Komarov
|
86f1ee5267
|
ExprEngine: Add workarounds for z3 bugs with FP comparisson (#2965)
|
2020-12-21 12:32:26 +01:00 |
abhijit-sawant
|
7d6fc23022
|
Checking in fix for issue 9957 - - False negative: duplInheritedMember (#2964)
|
2020-12-21 07:14:52 +01:00 |
|
orbitcowboy
|
69f5a0df72
|
wxsvg: Added missing args
|
2020-12-20 22:04:36 +01:00 |
|
orbitcowboy
|
eff8ed8b7d
|
Added wxSVG configuration
|
2020-12-20 22:01:02 +01:00 |
|
Daniel Marjamäki
|
47bb487c95
|
Visual Studio; Try to fix compilation
|
2020-12-20 21:01:45 +01:00 |
|
Daniel Marjamäki
|
37a5ec8cd5
|
Summaries: Moved to its own files
|
2020-12-20 19:53:58 +01:00 |
|
Daniel Marjamäki
|
5701f6d368
|
ExprEngine: Added ifIntRangeAlwaysFalse and ifIntRangeAlwaysTrue tests
|
2020-12-20 19:04:46 +01:00 |
|
Daniel Marjamäki
|
229e39e7de
|
Revert "ExprEngine: Fixed float value"
This reverts commit 1f9edc6a66.
|
2020-12-20 16:36:22 +01:00 |
|
Daniel Marjamäki
|
40e24cf417
|
Revert "ExprEngine; Try to fix assertion failure for floats"
This reverts commit aaabc74b9f.
|
2020-12-20 16:36:11 +01:00 |
|
Daniel Marjamäki
|
aaabc74b9f
|
ExprEngine; Try to fix assertion failure for floats
|
2020-12-20 16:31:53 +01:00 |
|
orbitcowboy
|
734a4145e7
|
wxwidgets.cfg: Added support for more interfaces, found by daca@home
|
2020-12-20 16:01:33 +01:00 |
|
orbitcowboy
|
d785ff9e50
|
wxwidgets.cfg: Added support for more interfaces, found by daca@home
|
2020-12-20 15:50:40 +01:00 |
|
orbitcowboy
|
1513dd06b2
|
wxwidgets.cfg: Added support for more interfaces, found by daca@home
|
2020-12-20 15:44:32 +01:00 |
|
Daniel Marjamäki
|
1f9edc6a66
|
ExprEngine: Fixed float value
|
2020-12-20 15:22:11 +01:00 |
|
orbitcowboy
|
96bb7913d5
|
wxwidgets.cfg: Added support for more interfaces, found by daca@home
|
2020-12-20 15:14:11 +01:00 |
|
orbitcowboy
|
8d00505cfc
|
wxwidgets.cfg: Added support for more interfaces, found by daca@home
|
2020-12-20 15:10:16 +01:00 |
|
orbitcowboy
|
e6f9636757
|
wxwidgets.cfg: Added support for more interfaces, found by daca@home
|
2020-12-20 15:07:02 +01:00 |
|
orbitcowboy
|
2ac3f17413
|
wxwidgets.cfg: Added support for more interfaces, found by daca@home
|
2020-12-20 15:00:38 +01:00 |
|
Daniel Marjamäki
|
1ce5beb45f
|
ExprEngine; refactoring if()
|
2020-12-20 14:51:03 +01:00 |
|
Daniel Marjamäki
|
1bf6a2f62b
|
Summaries: Enhanced merge of noreturn info
|
2020-12-20 14:49:43 +01:00 |
|
orbitcowboy
|
bf825ea14f
|
wxwidgets.cfg: Added support for more interfaces, found by daca@home
|
2020-12-20 14:47:47 +01:00 |
|
orbitcowboy
|
84ab91c8b9
|
wxwidgets.cfg: Added support for more interfaces, found by daca@home
|
2020-12-20 14:43:42 +01:00 |
|
orbitcowboy
|
9b161a8dd6
|
wxwidgets.cfg: Added support for more interfaces, found by daca@home
|
2020-12-20 14:39:44 +01:00 |
|
orbitcowboy
|
98371f95f8
|
wxwidgets.cfg: Added support for more interfaces, found by daca@home
|
2020-12-20 14:36:21 +01:00 |
|
orbitcowboy
|
9b3ff8271c
|
wxwidgets.cfg: Added support for more interfaces, found by daca@home
|
2020-12-20 14:34:01 +01:00 |
|
orbitcowboy
|
0950a2671f
|
wxwidgets.cfg: Added support for more interfaces, found by daca@home
|
2020-12-20 14:28:31 +01:00 |