aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)Author
2023-05-08Update ChangeLog and version files for releasereleases/gcc-12.3.0Richard Biener
2023-03-30Daily bump.GCC Administrator
2023-03-29analyzer: fix ICE on certain longjmp calls [PR109094]David Malcolm
2023-03-29analyzer: fix uninit false +ves reading from DECL_HARD_REGISTER [PR108968]David Malcolm
2023-03-29analyzer: fix further overzealous state purging [PR108733]David Malcolm
2023-03-29analyzer: fix overzealous state purging with on-stack structs [PR108704]David Malcolm
2023-03-29analyzer: use __attribute__((nonnull)) at top level of analysis [PR106325]David Malcolm
2023-03-29analyzer: handle comparisons against negated symbolic values [PR107948]David Malcolm
2023-03-29analyzer: fix folding of '(PTR + 0) => PTR' [PR105784]David Malcolm
2023-03-29analyzer: fix feasibility false +ve on jumps through function ptrs [PR107582]David Malcolm
2023-03-29analyzer: handle (NULL == &VAR) [PR107345]David Malcolm
2023-03-29analyzer: fold -(-(VAL)) to VALDavid Malcolm
2023-03-29analyzer: better fix for -Wanalyzer-use-of-uninitialized-value [PR106573]David Malcolm
2023-03-29analyzer: fix missing -Wanalyzer-use-of-uninitialized-value on special-cased ...David Malcolm
2022-08-19Update ChangeLog and version files for releasereleases/gcc-12.2.0Richard Biener
2022-07-28Daily bump.GCC Administrator
2022-07-27analyzer: fix stray get_element declsDavid Malcolm
2022-07-27analyzer: fix false positives from -Wanalyzer-tainted-divisor [PR106225]David Malcolm
2022-07-27analyzer: fix uninit false positive with -ftrivial-auto-var-init= [PR106204]David Malcolm
2022-07-27analyzer: show saved diagnostics as nodes in .eg.dot dumpsDavid Malcolm
2022-07-27analyzer: fix memory leaksDavid Malcolm
2022-07-27analyzer: handle repeated accesses after init of unknown size [PR105285]David Malcolm
2022-07-27analyzer: add .fpath.txt dumps to -fdump-analyzer-feasibilityDavid Malcolm
2022-05-06Update ChangeLog and version files for releasereleases/gcc-12.1.0Jakub Jelinek
2022-04-26Daily bump.GCC Administrator
2022-04-25analyzer: fix ICEs on complex constants [PR105365,105366]David Malcolm
2022-04-15Daily bump.GCC Administrator
2022-04-14analyzer: fix escaping of pointer arithmetic [PR105264]David Malcolm
2022-04-14analyzer: fix ICE comparing VECTOR_CSTs [PR105252]David Malcolm
2022-04-10Daily bump.GCC Administrator
2022-04-09analyzer: fix folding of regions involving unknown ptrs [PR103892]David Malcolm
2022-04-08Daily bump.GCC Administrator
2022-04-07analyzer: fix leak false +ve with symbolic writes [PR102208]David Malcolm
2022-03-30Daily bump.GCC Administrator
2022-03-29analyzer: skip constant pool in -fdump-analyzer-untracked [PR testsuite/105085]David Malcolm
2022-03-28analyzer: ensure that we purge state when reusing a conjured_svalue [PR105087]David Malcolm
2022-03-28analyzer: fix ICE with incorrect lookup of cgraph node [PR105074]David Malcolm
2022-03-27Daily bump.GCC Administrator
2022-03-26analyzer: fix ICE on memset of untracked region [PR105057]David Malcolm
2022-03-26Daily bump.GCC Administrator
2022-03-24analyzer: add region::tracked_p to optimize state objects [PR104954]David Malcolm
2022-03-24Daily bump.GCC Administrator
2022-03-23analyzer: fix accessing wrong stack frame on interprocedural return [PR104979]David Malcolm
2022-03-23analyzer: use tainted_allocation_size::m_mem_space [PR105017]David Malcolm
2022-03-23analyzer: fix ICE adding note to disabled diagnostic [PR104997]David Malcolm
2022-03-19Daily bump.GCC Administrator
2022-03-18analyzer: extend state-purging to locals [PR104943]David Malcolm
2022-03-18Daily bump.GCC Administrator
2022-03-17analyzer: fixes to -fdump-analyzer-state-purgeDavid Malcolm
2022-03-17analyzer: fix program_point::get_next for PK_BEFORE_STMTDavid Malcolm
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-19 03:55:07 +0000