git.ipfire.org Git - thirdparty/gcc.git/history - gcc/analyzer/program-state.cc

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

projects / thirdparty / gcc.git / history

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

2021-06-30	David Malcolm	analyzer: eliminate enum binding_key [PR95006]	blob \| commitdiff \| raw
2021-06-15	David Malcolm	analyzer: track dynamic extents of regions	blob \| commitdiff \| raw \| diff to current
2021-06-13	Trevor Saunders	use range based for loops to iterate over vec<>	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-02-17	David Malcolm	analyzer: fix false leak involving params [PR98969]	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-29	David Malcolm	analyzer: more non-determinism fixes	blob \| commitdiff \| raw \| diff to current
2020-10-29	David Malcolm	analyzer: fix more pointer-printing in logs	blob \| commitdiff \| raw \| diff to current
2020-10-27	David Malcolm	analyzer: eliminate non-deterministic behavior	blob \| commitdiff \| raw \| diff to current
2020-10-27	David Malcolm	analyzer: eliminate non-determinism in logs	blob \| commitdiff \| raw \| diff to current
2020-09-28	David Malcolm	analyzer: fix sm_state_map::print	blob \| commitdiff \| raw \| diff to current
2020-09-24	David Malcolm	analyzer: add -fno-analyzer-feasibility	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-09-09	David Malcolm	analyzer: use objects for state_machine::state_t	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-04-28	David Malcolm	analyzer: remove -Wanalyzer-use-of-uninitialized-value...	blob \| commitdiff \| raw \| diff to current
2020-04-01	David Malcolm	analyzer: handle compound assignments [PR94378]	blob \| commitdiff \| raw \| diff to current
2020-03-27	David Malcolm	analyzer: fix malloc pointer NULL-ness	blob \| commitdiff \| raw \| diff to current
2020-03-06	David Malcolm	analyzer: improvements to region_model::get_representat...	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-23	David Malcolm	analyzer: fix ICE due to sm-state origin being purged...	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-15	David Malcolm	analyzer: fix global-sm-state issue affecting sm-signal	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