analyzer: start adding support for errno
[platform/upstream/gcc.git] / gcc / analyzer / region-model-manager.cc
2022-11-08 David Malcolmanalyzer: start adding support for errno
2022-11-03 David Malcolmanalyzer: use std::unique_ptr for pending_diagnostic...
2022-10-05 David Malcolmanalyzer: simplify some includes
2022-10-05 David Malcolmanalyzer: revamp side-effects of call summaries [PR107072]
2022-10-05 David Malcolmanalyzer: fold -(-(VAL)) to VAL
2022-10-05 David Malcolmanalyzer: widening_svalues take a function_point rather...
2022-09-09 David Malcolmanalyzer: add support for plugin-supplied known functio...
2022-06-24 David Malcolmanalyzer: consolidate call_string instances
2022-05-16 David Malcolmanalyzer: implement four new warnings for <stdarg.h...
2022-05-11 David Malcolmanalyzer: fix memory leaks
2022-04-09 David Malcolmanalyzer: fix folding of regions involving unknown...
2022-03-29 David Malcolmanalyzer: skip constant pool in -fdump-analyzer-untrack...
2022-03-29 David Malcolmanalyzer: ensure that we purge state when reusing a...
2022-03-25 David Malcolmanalyzer: add region::tracked_p to optimize state objec...
2022-02-23 David Malcolmanalyzer: handle __attribute__((const)) [PR104434]
2022-02-15 David Malcolmanalyzer: fix ICE on cast to NULL type [PR104524]
2022-02-10 David Malcolmanalyzer: handle more casts of string literals [PR98797]
2022-02-02 David Malcolmanalyzer: implement bit_range_region
2022-01-27 Martin Liskaanalyzer: fix -Wformat warnings on i686
2022-01-22 David Malcolmanalyzer: fix ICE on vector casts [PR104159]
2022-01-18 David Malcolmanalyzer: fix ICE on unary ops folding to casts of...
2022-01-18 David Malcolmanalyzer: fix ICE on realloc of zeroed memory [PR104062]
2022-01-11 David Malcolmanalyzer: fix false +ve on bitwise binops (PR analyzer...
2022-01-08 David Malcolmanalyzer: add logging of aliasing
2022-01-03 Jakub JelinekUpdate copyright years.
2021-11-17 David Malcolmanalyzer: fix missing -Wanalyzer-write-to-const [PR102695]
2021-08-23 David Malcolmanalyzer: rewrite of switch handling
2021-08-04 David Malcolmanalyzer: initial implementation of asm support [PR101570]
2021-07-23 David Malcolmanalyzer: fix feasibility false +ve with overly complex...
2021-07-19 David Malcolmanalyzer: add svalue::can_have_associated_state_p ...
2021-07-15 David Malcolmanalyzer: reimplement -Wanalyzer-use-of-uninitialized...
2021-06-30 David Malcolmanalyzer: eliminate enum binding_key [PR95006]
2021-06-18 David Malcolmanalyzer: add region_model_manager::get_or_create_int_cst
2021-06-15 David Malcolmanalyzer: fix bitfield endianness issues [PR99212,PR101082]
2021-06-08 David Malcolmanalyzer: bitfield fixes [PR99212]
2021-02-01 David Malcolmanalyzer: fix false positives with *UNKNOWN_PTR [PR98918]
2021-01-04 Jakub JelinekUpdate copyright years.
2020-10-27 David Malcolmanalyzer: eliminate non-determinism in logs
2020-09-22 David Malcolmanalyzer: add -fdump-analyzer-json
2020-08-31 David Malcolmanalyzer: fix ICE on casting float to pointer [PR96764]
2020-08-26 David Malcolmanalyzer: fix leak false positive/widening on pointer...
2020-08-22 David Malcolmanalyzer: fix NULL deref false positives [PR94851]
2020-08-20 David Malcolmanalyzer: fix infinite recursion ICE on unions [PR96723]
2020-08-19 David Malcolmanalyzer: fix ICE on folding vector 0 [PR96705]
2020-08-19 David Malcolmanalyzer: fix ICE converting float to int [PR96699]
2020-08-17 David Malcolmanalyzer: fix ICE on NULL dereference [PR96644]
2020-08-13 David Malcolmanalyzer: rewrite of region and value-handling