aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/region.cc
AgeCommit message (Expand)AuthorFilesLines
2023-08-03analyzer: fix ICE on zero-sized arrays [PR110882]David Malcolm1-1/+5
2023-07-26analyzer: add symbol base class, moving region id to there [PR104940]David Malcolm1-13/+6
2023-06-21analyzer: add text-art visualizations of out-of-bounds accesses [PR106626]David Malcolm1-7/+362
2023-06-09analyzer: add caching to globals with initializers [PR110112]David Malcolm1-6/+65
2023-05-18analyzer: use _P() defines from tree.hBernhard Reutner-Fischer1-1/+1
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2022-12-14analyzer: don't call binding_key::make on empty regions [PR108065]David Malcolm1-0/+3
2022-12-06analyzer: don't create bindings or binding keys for empty regions [PR107882]David Malcolm1-0/+12
2022-11-07analyzer: start adding support for errnoDavid Malcolm1-0/+22
2022-11-03analyzer: use std::unique_ptr for pending_diagnostic/noteDavid Malcolm1-0/+1
2022-10-05analyzer: simplify some includesDavid Malcolm1-4/+0
2022-09-08analyzer: support for symbolic values in the out-of-bounds checker [PR106625]Tim Lange1-14/+117
2022-09-05analyzer: return a concrete offset for cast_regionsTim Lange1-0/+10
2022-08-12analyzer: out-of-bounds checker [PR106000]Tim Lange1-0/+32
2022-07-20analyzer: fix ICE on untracked decl_regions [PR106374]David Malcolm1-0/+5
2022-07-15libcpp: Improve encapsulation of label_textJonathan Wakely1-1/+1
2022-07-07Convert label_text to C++11 move semanticsDavid Malcolm1-1/+0
2022-05-16analyzer: implement four new warnings for <stdarg.h> misuses [PR105103]David Malcolm1-2/+30
2022-04-09analyzer: fix folding of regions involving unknown ptrs [PR103892]David Malcolm1-3/+8
2022-03-28analyzer: fix ICE with incorrect lookup of cgraph node [PR105074]David Malcolm1-6/+7
2022-03-24analyzer: add region::tracked_p to optimize state objects [PR104954]David Malcolm1-0/+88
2022-03-23analyzer: fix accessing wrong stack frame on interprocedural return [PR104979]David Malcolm1-6/+44
2022-02-10analyzer: handle more casts of string literals [PR98797]David Malcolm1-0/+28
2022-02-02analyzer: fix missing check for uninit of return valuesDavid Malcolm1-15/+0
2022-02-02analyzer: consolidate duplicate code in region::calc_offsetDavid Malcolm1-43/+5
2022-02-02analyzer: implement bit_range_regionDavid Malcolm1-0/+84
2022-01-17Change references of .c files to .cc filesMartin Liska1-1/+1
2022-01-07analyzer: add region::is_named_decl_pDavid Malcolm1-0/+14
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-07-16analyzer: add region_model::check_region_accessDavid Malcolm1-1/+1
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm1-0/+117
2021-06-30analyzer: eliminate enum binding_key [PR95006]David Malcolm1-50/+180
2021-06-08analyzer: fix region::get_bit_size for bitfieldsDavid Malcolm1-4/+29
2021-01-07analyzer: fix ICE when DECL_INITIAL is error_mark_node [PR98580]David Malcolm1-0/+5
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-10-28analyzer: move svalue and region decls to their own header filesDavid Malcolm1-0/+11
2020-10-28analyzer: fix more pointer-printing in logsDavid Malcolm1-3/+6
2020-10-27analyzer: don't assume extern const vars are zero-initialized [PR97568]David Malcolm1-0/+5
2020-10-27analyzer: eliminate non-determinism in logsDavid Malcolm1-2/+3
2020-10-14analyzer: fix ICE on globals with unknown size [PR93388]David Malcolm1-3/+13
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+12
2020-08-31analyzer: fix ICE on unknown index in CONSTRUCTOR [PR96860]David Malcolm1-1/+2
2020-08-20analyzer: fix infinite recursion ICE on unions [PR96723]David Malcolm1-0/+2
2020-08-18analyzer: consider initializers for globals [PR96651]David Malcolm1-12/+45
2020-08-18analyzer: fix ICE with negative bit offsets [PR96648]David Malcolm1-1/+2
2020-08-17analyzer: fix ICE due to NULL type [PR96639]David Malcolm1-1/+1
2020-08-14analyzer: fix initialization from constant pool [PR96609,PR96616]David Malcolm1-0/+27
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-0/+1064
generated by cgit v1.1 at 2025-01-30 06:45:03 +0000