aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
2023-06-11Daily bump.GCC Administrator1-0/+13
2023-06-10analyzer: Fix allocation size false positive on conjured svalue [PR109577]Tim Lange3-50/+162
2023-06-10Daily bump.GCC Administrator1-0/+19
2023-06-09analyzer: add caching to globals with initializers [PR110112]David Malcolm3-31/+79
2023-06-09Daily bump.GCC Administrator1-0/+11
2023-06-08analyzer: Standalone OOB-warning [PR109437, PR109439]Benjamin Priour3-21/+37
2023-06-03Daily bump.GCC Administrator1-0/+18
2023-06-02analyzer: implement various atomic builtins [PR109015]David Malcolm1-0/+355
2023-06-02analyzer: regions in different memory spaces can't aliasDavid Malcolm1-0/+12
2023-05-19Daily bump.GCC Administrator1-0/+9
2023-05-18analyzer: use _P() defines from tree.hBernhard Reutner-Fischer3-6/+6
2023-03-23Daily bump.GCC Administrator1-0/+11
2023-03-22analyzer: fix false +ves from -Wanalyzer-deref-before-check due to inlining [...David Malcolm3-4/+50
2023-03-19Daily bump.GCC Administrator1-0/+11
2023-03-18analyzer: fix ICE on certain longjmp calls [PR109094]David Malcolm2-4/+14
2023-03-11Daily bump.GCC Administrator1-0/+48
2023-03-10analyzer: fix leak false +ve seen in haproxy's cfgparse.c [PR109059]David Malcolm3-16/+69
2023-03-10analyzer: fix deref-before-check false +ves seen in haproxy [PR108475,PR109060]David Malcolm1-37/+44
2023-03-04Daily bump.GCC Administrator1-0/+5
2023-03-03analyzer: provide placeholder implementation of sprintfDavid Malcolm1-0/+29
2023-03-03Daily bump.GCC Administrator1-0/+10
2023-03-02analyzer: fix uninit false +ves reading from DECL_HARD_REGISTER [PR108968]David Malcolm1-1/+8
2023-03-02analyzer: Support errno for newlibHans-Peter Nilsson1-0/+2
2023-03-02Daily bump.GCC Administrator1-0/+21
2023-03-01analyzer: fixes to side-effects for built-in functions [PR107565]David Malcolm1-25/+19
2023-03-01analyzer: fix infinite recursion false +ves [PR108935]David Malcolm1-51/+100
2023-02-22Daily bump.GCC Administrator1-0/+17
2023-02-21analyzer: stop exploring the path after certain diagnostics [PR108830]David Malcolm6-7/+64
2023-02-17Daily bump.GCC Administrator1-0/+17
2023-02-16analyzer: respect some conditions from bit masks [PR108806]David Malcolm3-1/+175
2023-02-16Daily bump.GCC Administrator1-0/+35
2023-02-15analyzer: fix uninit false +ves [PR108664,PR108666,PR108725]David Malcolm8-24/+146
2023-02-11Daily bump.GCC Administrator1-0/+6
2023-02-10analyzer: don't warn for deref-before-check for checks in macros [PR108745]David Malcolm1-0/+37
2023-02-10Daily bump.GCC Administrator1-0/+6
2023-02-09analyzer: fix further overzealous state purging [PR108733]David Malcolm1-0/+2
2023-02-09Daily bump.GCC Administrator1-0/+7
2023-02-08analyzer: fix overzealous state purging with on-stack structs [PR108704]David Malcolm1-1/+14
2023-02-08Daily bump.GCC Administrator1-0/+7
2023-02-07analyzer: fix -Wanalyzer-use-of-uninitialized-value false +ve on "read" [PR10...David Malcolm2-1/+42
2023-02-03Daily bump.GCC Administrator1-0/+8
2023-02-02analyzer: fix -Wanalyzer-fd-type-mismatch false +ve on "listen" [PR108633]David Malcolm1-2/+6
2023-02-02Daily bump.GCC Administrator1-0/+6
2023-01-31analyzer: fix -Wanalyzer-allocation-size false -ve on alloca [PR108616]David Malcolm1-0/+6
2023-01-27Daily bump.GCC Administrator1-0/+20
2023-01-26analyzer: fix false positives from -Wanalyzer-infinite-recursion [PR108524]David Malcolm4-5/+132
2023-01-20Daily bump.GCC Administrator1-0/+42
2023-01-19analyzer: use dominator info in -Wanalyzer-deref-before-check [PR108455]David Malcolm8-13/+67
2023-01-16Update copyright years.Jakub Jelinek85-85/+85
2023-01-15Daily bump.GCC Administrator1-0/+19
generated by cgit v1.1 at 2024-11-03 23:14:32 +0000