aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/region-model-manager.cc
AgeCommit message (Expand)AuthorFilesLines
2022-11-07analyzer: start adding support for errnoDavid Malcolm1-0/+2
2022-11-03analyzer: use std::unique_ptr for pending_diagnostic/noteDavid Malcolm1-0/+1
2022-10-05analyzer: simplify some includesDavid Malcolm1-7/+0
2022-10-04analyzer: revamp side-effects of call summaries [PR107072]David Malcolm1-0/+27
2022-10-04analyzer: fold -(-(VAL)) to VALDavid Malcolm1-0/+11
2022-10-04analyzer: widening_svalues take a function_point rather than a program_pointDavid Malcolm1-4/+5
2022-09-09analyzer: add support for plugin-supplied known function behaviorsDavid Malcolm1-1/+2
2022-06-24analyzer: consolidate call_string instancesDavid Malcolm1-0/+3
2022-05-16analyzer: implement four new warnings for <stdarg.h> misuses [PR105103]David Malcolm1-0/+20
2022-05-11analyzer: fix memory leaksDavid Malcolm1-3/+11
2022-04-09analyzer: fix folding of regions involving unknown ptrs [PR103892]David Malcolm1-6/+31
2022-03-29analyzer: skip constant pool in -fdump-analyzer-untracked [PR testsuite/105085]David Malcolm1-0/+7
2022-03-28analyzer: ensure that we purge state when reusing a conjured_svalue [PR105087]David Malcolm1-3/+24
2022-03-24analyzer: add region::tracked_p to optimize state objects [PR104954]David Malcolm1-0/+41
2022-02-23analyzer: handle __attribute__((const)) [PR104434]David Malcolm1-0/+28
2022-02-15analyzer: fix ICE on cast to NULL type [PR104524]David Malcolm1-2/+3
2022-02-10analyzer: handle more casts of string literals [PR98797]David Malcolm1-6/+13
2022-02-02analyzer: implement bit_range_regionDavid Malcolm1-0/+20
2022-01-27analyzer: fix -Wformat warnings on i686Martin Liska1-2/+2
2022-01-22analyzer: fix ICE on vector casts [PR104159]David Malcolm1-0/+11
2022-01-18analyzer: fix ICE on unary ops folding to casts of constants [PR104089]David Malcolm1-1/+18
2022-01-18analyzer: fix ICE on realloc of zeroed memory [PR104062]David Malcolm1-1/+2
2022-01-11analyzer: fix false +ve on bitwise binops (PR analyzer/102692)David Malcolm1-2/+53
2022-01-07analyzer: add logging of aliasingDavid Malcolm1-2/+3
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-11-16analyzer: fix missing -Wanalyzer-write-to-const [PR102695]David Malcolm1-0/+7
2021-08-23analyzer: rewrite of switch handlingDavid Malcolm1-1/+6
2021-08-04analyzer: initial implementation of asm support [PR101570]David Malcolm1-0/+48
2021-07-22analyzer: fix feasibility false +ve with overly complex svaluesDavid Malcolm1-0/+4
2021-07-19analyzer: add svalue::can_have_associated_state_p [PR101503]David Malcolm1-8/+20
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm1-0/+4
2021-06-30analyzer: eliminate enum binding_key [PR95006]David Malcolm1-6/+307
2021-06-18analyzer: add region_model_manager::get_or_create_int_cstDavid Malcolm1-2/+12
2021-06-15analyzer: fix bitfield endianness issues [PR99212,PR101082]David Malcolm1-35/+59
2021-06-08analyzer: bitfield fixes [PR99212]David Malcolm1-3/+43
2021-02-01analyzer: fix false positives with *UNKNOWN_PTR [PR98918]David Malcolm1-0/+13
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-10-27analyzer: eliminate non-determinism in logsDavid Malcolm1-14/+27
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+1
2020-08-31analyzer: fix ICE on casting float to pointer [PR96764]David Malcolm1-6/+29
2020-08-25analyzer: fix leak false positive/widening on pointer iteration [PR94858]David Malcolm1-0/+2
2020-08-22analyzer: fix NULL deref false positives [PR94851]David Malcolm1-0/+6
2020-08-20analyzer: fix infinite recursion ICE on unions [PR96723]David Malcolm1-0/+2
2020-08-19analyzer: fix ICE on folding vector 0 [PR96705]David Malcolm1-2/+2
2020-08-19analyzer: fix ICE converting float to int [PR96699]David Malcolm1-0/+5
2020-08-17analyzer: fix ICE on NULL dereference [PR96644]David Malcolm1-2/+2
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-0/+1088
generated by cgit v1.1 at 2024-09-27 20:48:03 +0000