aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/region.cc
AgeCommit message (Expand)AuthorFilesLines
2024-06-18analyzer: Fix g++ 4.8 bootstrap without using std::move to return std::unique...Jonathan Wakely1-2/+2
2024-06-12pretty_printer: make all fields privateDavid Malcolm1-2/+2
2024-06-08analyzer: Restore g++ 4.8 bootstrap; use std::move to return std::unique_ptr.Roger Sayle1-1/+1
2024-06-07analyzer: eliminate cast_region::m_original_regionDavid Malcolm1-43/+7
2024-05-30Add new text_art::tree_widget and use it in analyzerDavid Malcolm1-0/+251
2024-04-10analyzer: fix ICE on negative values for size_t [PR114472]David Malcolm1-1/+1
2024-03-18analyzer: fix ICEs due to sloppy types in bounds-checking [PR110902,PR110928,...David Malcolm1-19/+48
2024-02-29analyzer: fix ICE in call summarization [PR114159]David Malcolm1-5/+5
2024-02-15analyzer: remove offset_region size overloads [PR111266]David Malcolm1-48/+0
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-12-16analyzer: use bit-level granularity for concrete bounds-checking [PR112792]David Malcolm1-0/+71
2023-12-01diagnostics, analyzer: add optional per-diagnostic property bags to SARIFDavid Malcolm1-1/+0
2023-11-18analyzer: new warning: -Wanalyzer-undefined-behavior-strtok [PR107573]David Malcolm1-0/+14
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
generated by cgit v1.1 at 2024-08-18 04:18:26 +0000