aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/svalue.cc
AgeCommit message (Expand)AuthorFilesLines
2025-06-30analyzer: use nullptr rather than NULLDavid Malcolm1-24/+24
2025-04-28analyzer: initial implementation of exception handling [PR97111]David Malcolm1-0/+13
2025-04-28Eliminate make-unique.h and ::make_uniqueDavid Malcolm1-3/+1
2025-04-28analyzer: convert various enums to "enum class"David Malcolm1-6/+6
2025-04-28analyzer: use analyzer/common.h as a common headerDavid Malcolm1-25/+10
2025-03-14analyzer: Fix ICE in cmp_csts_same_type on RAW_DATA_CST [PR119278]Jakub Jelinek1-2/+15
2025-01-02Update copyright years.Jakub Jelinek1-1/+1
2024-11-22build: Remove INCLUDE_MEMORY [PR117737]Andrew Pinski1-1/+0
2024-11-01analyzer: use std::unique_ptr in "to_json" functionsDavid Malcolm1-2/+2
2024-09-20analyzer: simplify dumps using tree_dump_pretty_printer [PR116613]David Malcolm1-5/+1
2024-09-09diagnostics: rename dc.printer to m_printer [PR116613]David Malcolm1-1/+1
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-1/+1
2024-06-08analyzer: Restore g++ 4.8 bootstrap; use std::move to return std::unique_ptr.Roger Sayle1-1/+1
2024-05-30Add new text_art::tree_widget and use it in analyzerDavid Malcolm1-0/+421
2024-03-18analyzer: fix ICEs due to sloppy types in bounds-checking [PR110902,PR110928,...David Malcolm1-8/+148
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-11-17analyzer: new warning: -Wanalyzer-infinite-loop [PR106147]David Malcolm1-1/+9
2023-09-01analyzer: Add support of placement new and improved operator new [PR105948,PR...benjamin priour1-0/+2
2023-08-04analyzer: handle function attribute "alloc_size" [PR110426]David Malcolm1-0/+11
2023-08-04analyzer: fix some svalue::dump_to_pp implementationsDavid Malcolm1-7/+20
2023-07-26analyzer: add symbol base class, moving region id to there [PR104940]David Malcolm1-7/+13
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2022-11-03analyzer: use std::unique_ptr for pending_diagnostic/noteDavid Malcolm1-0/+1
2022-10-13analyzer: fix ICE introduced in r13-3168 [PR107210]David Malcolm1-1/+2
2022-10-07analyzer: extract bits from integer constants [PR105783]David Malcolm1-1/+16
2022-10-05analyzer: simplify some includesDavid Malcolm1-8/+2
2022-10-04analyzer: revamp side-effects of call summaries [PR107072]David Malcolm1-2/+6
2022-10-04analyzer: widening_svalues take a function_point rather than a program_pointDavid Malcolm1-2/+2
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-07-02analyzer: add allocation size checker [PR105900]Tim Lange1-13/+13
2022-05-23analyzer: use 'final' and 'override' where appropriateDavid Malcolm1-2/+2
2022-04-25analyzer: fix ICEs on complex constants [PR105365,105366]David Malcolm1-9/+21
2022-04-14analyzer: fix escaping of pointer arithmetic [PR105264]David Malcolm1-0/+42
2022-04-14analyzer: fix ICE comparing VECTOR_CSTs [PR105252]David Malcolm1-3/+10
2022-02-23analyzer: handle __attribute__((const)) [PR104434]David Malcolm1-0/+73
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-11-19analyzer: fix false leak due to overeager state merging [PR103217]David Malcolm1-0/+8
2021-08-30analyzer: support "bifurcation"; reimplement realloc [PR99260]David Malcolm1-1/+2
2021-08-04analyzer: initial implementation of asm support [PR101570]David Malcolm1-0/+89
2021-07-21analyzer: tweak dumping of min_expr/max_exprDavid Malcolm1-5/+34
2021-07-19analyzer: add svalue::can_have_associated_state_p [PR101503]David Malcolm1-0/+4
2021-07-16analyzer: add region_model::check_region_accessDavid Malcolm1-1/+1
2021-07-16analyzer: add svalue::maybe_get_regionDavid Malcolm1-0/+12
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm1-2/+30
2021-07-07analyzer: remove add_any_constraints_from_ssa_def_stmtDavid Malcolm1-5/+19
2021-06-30analyzer: eliminate enum binding_key [PR95006]David Malcolm1-0/+381
2021-06-03analyzer: show types for poisoned_svalue and compound_svalueDavid Malcolm1-6/+23
2021-03-24analyzer; reset sm-state for SSA names at def-stmts [PR93695,PR99044,PR99716]David Malcolm1-0/+34
generated by cgit v1.1 at 2025-08-09 12:49:22 +0000