summaryrefslogtreecommitdiff
path: root/gcc/analyzer/region-model.h
Commit message (Expand)AuthorAgeFilesLines
* analyzer: implement four new warnings for <stdarg.h> misuses [PR105103]David Malcolm2022-05-161-0/+9
* analyzer: fix folding of regions involving unknown ptrs [PR103892]David Malcolm2022-04-091-0/+2
* analyzer: ensure that we purge state when reusing a conjured_svalue [PR105087]David Malcolm2022-03-281-1/+2
* analyzer: add region::tracked_p to optimize state objects [PR104954]David Malcolm2022-03-241-0/+2
* analyzer: fix accessing wrong stack frame on interprocedural return [PR104979]David Malcolm2022-03-231-3/+4
* analyzer: extend state-purging to locals [PR104943]David Malcolm2022-03-181-5/+4
* analyzer: add notes to write-to-const/string from access attr [PR104793]David Malcolm2022-03-101-0/+146
* analyzer: check for writes to consts via access attr [PR104793]David Malcolm2022-03-101-0/+3
* analyzer: handle __attribute__((const)) [PR104434]David Malcolm2022-02-231-0/+10
* analyzer: fix uninit false +ve due to optimized conditionals [PR102692]David Malcolm2022-02-151-0/+5
* analyzer: fix missing check for uninit of return valuesDavid Malcolm2022-02-021-2/+0
* analyzer: implement bit_range_regionDavid Malcolm2022-02-021-0/+4
* analyzer: show region creation events for uninit warningsDavid Malcolm2022-01-271-0/+1
* analyzer: fix missing uninit warning on args to stdio builtins [PR104224]David Malcolm2022-01-261-0/+2
* analyzer: fix false +ve on bitwise binops (PR analyzer/102692)David Malcolm2022-01-111-3/+13
* analyzer: add logging of aliasingDavid Malcolm2022-01-071-1/+6
* analyzer: implement __analyzer_dump_escapedDavid Malcolm2022-01-071-0/+1
* Update copyright years.Jakub Jelinek2022-01-031-1/+1
* analyzer: fix false leak due to overeager state merging [PR103217]David Malcolm2021-11-191-3/+17
* analyzer: fix missing -Wanalyzer-write-to-const [PR102695]David Malcolm2021-11-161-0/+1
* analyzer: add four new taint-based warningsDavid Malcolm2021-11-131-3/+24
* analyzer: support "bifurcation"; reimplement realloc [PR99260]David Malcolm2021-08-301-0/+36
* analyzer: rewrite of switch handlingDavid Malcolm2021-08-231-6/+48
* analyzer: Fix PR analyzer/101980Ankur Saini2021-08-211-1/+2
* analyzer: detect and analyze calls via function pointerAnkur Saini2021-08-181-0/+6
* analyzer: initial implementation of asm support [PR101570]David Malcolm2021-08-041-0/+13
* analyzer: remove redundant return value from various impl_call_*David Malcolm2021-07-281-8/+8
* analyzer: fix feasibility false +ve with overly complex svaluesDavid Malcolm2021-07-221-0/+5
* analyzer: fix issues with phi handlingDavid Malcolm2021-07-211-0/+1
* analyzer: add region_model::check_region_accessDavid Malcolm2021-07-161-2/+11
* analyzer: add __analyzer_dump_stateDavid Malcolm2021-07-161-0/+1
* analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm2021-07-151-3/+29
* analyzer: remove add_any_constraints_from_ssa_def_stmtDavid Malcolm2021-07-071-15/+14
* analyzer: eliminate enum binding_key [PR95006]David Malcolm2021-06-301-0/+27
* analyzer: add region_model_manager::get_or_create_int_cstDavid Malcolm2021-06-181-0/+1
* analyzer: fix bitfield endianness issues [PR99212,PR101082]David Malcolm2021-06-151-0/+3
* analyzer: track dynamic extents of regionsDavid Malcolm2021-06-151-5/+28
* analyzer: add class region_to_value_mapDavid Malcolm2021-06-151-0/+45
* analyzer: make various region_model member functions constDavid Malcolm2021-06-091-8/+8
* analyzer: bitfield fixes [PR99212]David Malcolm2021-06-081-0/+4
* Remove __cplusplus >= 201103Martin Liska2021-05-101-5/+0
* analyzer: fix leak false +ves due to maybe-clobbered regions [PR99042,PR99774]David Malcolm2021-04-081-2/+8
* analyzer: fix false positive on realloc [PR99193]David Malcolm2021-02-241-0/+1
* analyzer: handle error/error_at_line [PR99196]David Malcolm2021-02-221-1/+6
* analyzer: fix ICE in print_mem_ref [PR98969]David Malcolm2021-02-111-0/+7
* analyzer: use "malloc" attributeDavid Malcolm2021-01-181-0/+1
* Update copyright years.Jakub Jelinek2021-01-041-1/+1
* analyzer: move svalue and region decls to their own header filesDavid Malcolm2020-10-281-2132/+3
* analyzer: eliminate non-determinism in logsDavid Malcolm2020-10-271-1/+14
* analyzer: implement region_model::get_representative_path_var for labelsDavid Malcolm2020-10-271-0/+2
View Lorry Controller Status