git.ipfire.org Git - thirdparty/gcc.git/history

]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/analyzer/program-state.h

projects / thirdparty / gcc.git / history

[thirdparty/gcc.git] / gcc / analyzer / program-state.h

2023-01-16	Jakub Jelinek	Update copyright years.	blob \| commitdiff \| raw
2022-11-10	David Malcolm	analyzer: new warning: -Wanalyzer-deref-before-check...	blob \| commitdiff \| raw \| diff to current
2022-10-05	David Malcolm	analyzer: revamp side-effects of call summaries [PR107072]	blob \| commitdiff \| raw \| diff to current
2022-03-18	David Malcolm	analyzer: extend state-purging to locals [PR104943]	blob \| commitdiff \| raw \| diff to current
2022-01-03	Jakub Jelinek	Update copyright years.	blob \| commitdiff \| raw \| diff to current
2021-11-19	David Malcolm	analyzer: fix false leak due to overeager state merging...	blob \| commitdiff \| raw \| diff to current
2021-08-18	Ankur Saini	analyzer: detect and analyze calls via function pointer	blob \| commitdiff \| raw \| diff to current
2021-07-16	David Malcolm	analyzer: add __analyzer_dump_state	blob \| commitdiff \| raw \| diff to current
2021-05-10	Martin Liska	Remove __cplusplus >= 201103	blob \| commitdiff \| raw \| diff to current
2021-04-08	David Malcolm	analyzer: fix leak false +ves due to maybe-clobbered...	blob \| commitdiff \| raw \| diff to current
2021-04-01	David Malcolm	analyzer: record per-enode saved_diagnostics	blob \| commitdiff \| raw \| diff to current
2021-03-25	David Malcolm	analyzer; reset sm-state for SSA names at def-stmts...	blob \| commitdiff \| raw \| diff to current
2021-01-04	Jakub Jelinek	Update copyright years.	blob \| commitdiff \| raw \| diff to current
2020-11-10	Martin Liska	analyzer: remove dead code	blob \| commitdiff \| raw \| diff to current
2020-10-27	David Malcolm	analyzer: eliminate non-deterministic behavior	blob \| commitdiff \| raw \| diff to current
2020-09-23	David Malcolm	analyzer: fix member call on null seen with ubsan ...	blob \| commitdiff \| raw \| diff to current
2020-09-22	David Malcolm	analyzer: add -fdump-analyzer-json	blob \| commitdiff \| raw \| diff to current
2020-08-13	David Malcolm	analyzer: rewrite of region and value-handling	blob \| commitdiff \| raw \| diff to current
2020-03-06	David Malcolm	analyzer: improvements to state dumping	blob \| commitdiff \| raw \| diff to current
2020-02-18	David Malcolm	analyzer: fix ICE on COMPONENT_REF of ARRAY_TYPE [PR...	blob \| commitdiff \| raw \| diff to current
2020-02-17	David Malcolm	analyzer: fix ICEs in region_model::get_lvalue_1 [PR...	blob \| commitdiff \| raw \| diff to current
2020-02-11	David Malcolm	analyzer: fix ICE due to missing state_change purging...	blob \| commitdiff \| raw \| diff to current
2020-01-31	David Malcolm	analyzer: add extrinsic_state::dump	blob \| commitdiff \| raw \| diff to current
2020-01-31	David Malcolm	analyzer: make extrinsic_state field private	blob \| commitdiff \| raw \| diff to current
2020-01-30	David Malcolm	analyzer: avoid comparisons between uncomparable types...	blob \| commitdiff \| raw \| diff to current
2020-01-27	David Malcolm	analyzer: fix build with gcc 4.4 (PR 93276)	blob \| commitdiff \| raw \| diff to current
2020-01-22	David Malcolm	analyzer: introduce namespace to avoid ODR clashes...	blob \| commitdiff \| raw \| diff to current
2020-01-14	David Malcolm	analyzer: purge state for unknown function calls	blob \| commitdiff \| raw \| diff to current
2020-01-14	David Malcolm	Initial commit of analyzer	blob \| commitdiff \| raw \| diff to current

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom