aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/engine.cc
AgeCommit message (Expand)AuthorFilesLines
2020-11-30Add analyzer plugin support and CPython GIL exampleDavid Malcolm1-0/+31
2020-11-11analyzer: precision-of-wording for -Wanalyzer-stale-setjmp-bufferDavid Malcolm1-3/+52
2020-10-27analyzer: eliminate non-deterministic behaviorDavid Malcolm1-10/+29
2020-10-27analyzer: eliminate non-determinism in logsDavid Malcolm1-5/+59
2020-10-27analyzer: fix param "analyzer-max-enodes-per-program-point"David Malcolm1-1/+1
2020-10-22analyzer: fix ICE when handling callback exceeds enode limit [PR97514]David Malcolm1-2/+3
2020-10-22analyzer: fix ICE on dtor [PR97489]David Malcolm1-0/+5
2020-10-12analyzer: handle static callbacks [PR97258]David Malcolm1-0/+70
2020-09-29analyzer: fix signal-handler registration location [PR95188]David Malcolm1-6/+16
2020-09-29analyzer: silence -Wsign-compare warningsDavid Malcolm1-1/+1
2020-09-28analyzer: fix ICE on non-pointer longjmp [PR97233]David Malcolm1-0/+1
2020-09-23analyzer: add -fno-analyzer-feasibilityDavid Malcolm1-3/+22
2020-09-23analyzer: fix member call on null seen with ubsan [PR97178]David Malcolm1-1/+1
2020-09-22analyzer: use switch in exploded_node::on_stmtDavid Malcolm1-54/+80
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+146
2020-09-16analyzer: fix state explosions due to SCC bugDavid Malcolm1-6/+16
2020-09-16analyzer: show SCC ids in .dot dumpsDavid Malcolm1-2/+4
2020-09-16analyzer: bulk merger/processing of runs of nodes at CFG join pointsDavid Malcolm1-0/+207
2020-09-16analyzer: add program_point::get_nextDavid Malcolm1-20/+4
2020-09-16analyzer: show program point in -Wanalyzer-too-complexDavid Malcolm1-0/+1
2020-09-09analyzer: eliminate sm_context::warn_for_state in favor of a new 'warn' vfuncDavid Malcolm1-23/+11
2020-09-09analyzer: reimplement on_transition in terms of get_state/set_next_stateDavid Malcolm1-17/+28
2020-09-09analyzer: use objects for state_machine::state_tDavid Malcolm1-4/+4
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-356/+434
2020-04-28analyzer: fix ICE copying struct [PR 94816]David Malcolm1-1/+1
2020-04-01analyzer: handle compound assignments [PR94378]David Malcolm1-1/+3
2020-03-27analyzer: add new supergraph visualizationDavid Malcolm1-14/+256
2020-03-18analyzer: tweaks to exploded_node ctorDavid Malcolm1-0/+11
2020-03-18Fix up duplicated duplicated words in commentsJakub Jelinek1-1/+1
2020-03-06analyzer: improvements to state dumpingDavid Malcolm1-1/+1
2020-03-04analyzer: remove unused private fieldsDavid Malcolm1-13/+5
2020-02-26analyzer: improvements to logging/dumpingDavid Malcolm1-6/+119
2020-02-24analyzer: fix -fdump-analyzerDavid Malcolm1-1/+1
2020-02-24analyzer: fix ICE with OFFSET_TYPE [PR 93899]David Malcolm1-5/+15
2020-02-18analyzer: fix ICE on COMPONENT_REF of ARRAY_TYPE [PR 93778]David Malcolm1-5/+6
2020-02-17analyzer: fix ICEs in region_model::get_lvalue_1 [PR 93388]David Malcolm1-0/+28
2020-02-17analyzer: add diagnostics to output of -fdump-analyzer-exploded-graphDavid Malcolm1-0/+14
2020-02-11analyzer: use ultimate alias target at calls (PR 93288)David Malcolm1-6/+6
2020-02-11analyzer: fix ICE due to missing state_change purging (PR 93374)David Malcolm1-10/+11
2020-02-11analyzer: fix ICE in "__analyzer_dump_exploded_nodes" on non-empty worklist (...David Malcolm1-4/+13
2020-02-05analyzer: add enode status and revamp __analyzer_dump_exploded_nodesDavid Malcolm1-13/+56
2020-02-04analyzer: fix build error with clang (PR 93543)David Malcolm1-2/+2
2020-02-03analyzer: detect zero-assignment in phis (PR 93544)David Malcolm1-0/+21
2020-02-03analyzer: show BBs in .dot dumpsDavid Malcolm1-1/+2
2020-01-28analyzer: fix ICE when longjmp isn't marked 'noreturn' (PR 93316)David Malcolm1-10/+2
2020-01-27analyzer: restore input_location (PR 93349)David Malcolm1-0/+8
2020-01-27analyzer: fixes to tree_cmp and other comparatorsDavid Malcolm1-28/+7
2020-01-27analyzer: fix setjmp-detection and support sigsetjmpDavid Malcolm1-10/+11
2020-01-27analyzer: fix build with gcc 4.4 (PR 93276)David Malcolm1-5/+5
2020-01-22analyzer: fix setjmp handling with -g (PR 93378)David Malcolm1-9/+9
generated by cgit v1.1 at 2025-02-15 02:19:10 +0000