Show patches with: Submitter = David Malcolm       |    State = Action Required       |    Archived = No       |   2664 patches
« 1 2 3 426 27 »
Patch Series A/F/R/T S/W/F Date Submitter Delegate State
[committed] analyzer: fix false leak due to overeager state merging [PR103217] [committed] analyzer: fix false leak due to overeager state merging [PR103217] - - - - --- 2021-11-19 David Malcolm New
[2/2] libcpp: capture and underline ranges in -Wbidi-chars= [PR103026] [committed] libcpp: escape non-ASCII source bytes in -Wbidi-chars= [PR103026] - - - - --- 2021-11-17 David Malcolm New
[committed] libcpp: escape non-ASCII source bytes in -Wbidi-chars= [PR103026] [committed] libcpp: escape non-ASCII source bytes in -Wbidi-chars= [PR103026] - - - - --- 2021-11-17 David Malcolm New
[committed] analyzer: fix missing -Wanalyzer-write-to-const [PR102695] [committed] analyzer: fix missing -Wanalyzer-write-to-const [PR102695] - - - - --- 2021-11-17 David Malcolm New
[committed] analyzer: don't assume target has alloca [PR102779] [committed] analyzer: don't assume target has alloca [PR102779] - - - - --- 2021-11-17 David Malcolm New
[committed] analyzer: fix overeager sharing of bounded_range instances [PR102662] [committed] analyzer: fix overeager sharing of bounded_range instances [PR102662] - - - - --- 2021-11-16 David Malcolm New
[6/6] Add __attribute__ ((tainted)) RFC: adding support to GCC for detecting trust boundaries - - - - --- 2021-11-13 David Malcolm New
[5/6] analyzer: use region::untrusted_p in taint detection RFC: adding support to GCC for detecting trust boundaries - - - - --- 2021-11-13 David Malcolm New
[4b/6] analyzer: implement region::untrusted_p in terms of __attribute__((untrusted)) [4b/6] analyzer: implement region::untrusted_p in terms of __attribute__((untrusted)) - - - - --- 2021-11-13 David Malcolm New
[4a/6] analyzer: implement region::untrusted_p in terms of custom address spaces [4a/6] analyzer: implement region::untrusted_p in terms of custom address spaces - - - - --- 2021-11-13 David Malcolm New
[3/6] analyzer: implement infoleak detection RFC: adding support to GCC for detecting trust boundaries - - - - --- 2021-11-13 David Malcolm New
[2/6] Add returns_zero_on_success/failure attributes RFC: adding support to GCC for detecting trust boundaries - - - - --- 2021-11-13 David Malcolm New
[1b/6] Add __attribute__((untrusted)) [1b/6] Add __attribute__((untrusted)) - - - - --- 2021-11-13 David Malcolm New
[1a/6] RFC: Implement "#pragma GCC custom_address_space" [1a/6] RFC: Implement "#pragma GCC custom_address_space" - - - - --- 2021-11-13 David Malcolm New
[committed] analyzer: add four new taint-based warnings [committed] analyzer: add four new taint-based warnings - - - - --- 2021-11-13 David Malcolm New
[committed] analyzer: "__analyzer_dump_state" has no side-effects [committed] analyzer: "__analyzer_dump_state" has no side-effects - - - - --- 2021-11-12 David Malcolm New
[committed] jit: fix -Werror=format-overflow= in testsuite [PR103199] [committed] jit: fix -Werror=format-overflow= in testsuite [PR103199] - - - - --- 2021-11-12 David Malcolm New
[committed] diagnostic: fix unused variable 'def_tabstop' [PR103129] [committed] diagnostic: fix unused variable 'def_tabstop' [PR103129] - - - - --- 2021-11-11 David Malcolm New
[committed] c: more precise locations for some -Wpragmas diagnostics [committed] c: more precise locations for some -Wpragmas diagnostics - - - - --- 2021-11-09 David Malcolm New
[committed] analyzer: fix ICE in sm_state_map::dump when dumping trees [committed] analyzer: fix ICE in sm_state_map::dump when dumping trees - - - - --- 2021-11-04 David Malcolm New
[2/2] Capture locations of bidi chars and underline ranges Re: [PATCH] libcpp: Implement -Wbidirectional for CVE-2021-42574 [PR103026] - - - - --- 2021-11-02 David Malcolm New
[1/2] Flag CPP_W_BIDIRECTIONAL so that source lines are escaped Re: [PATCH] libcpp: Implement -Wbidirectional for CVE-2021-42574 [PR103026] - - - - --- 2021-11-02 David Malcolm New
Initial implementation of -Whomoglyph [PR preprocessor/103027] Initial implementation of -Whomoglyph [PR preprocessor/103027] - - - - --- 2021-11-01 David Malcolm New
contrib: add unicode/utf8-dump.py contrib: add unicode/utf8-dump.py - - - - --- 2021-11-01 David Malcolm New
contrib: add unicode/utf8-dump.py contrib: add unicode/utf8-dump.py - - - - --- 2021-11-01 David Malcolm New
[committed] diagnostics: escape non-ASCII source bytes for certain diagnostics [committed] diagnostics: escape non-ASCII source bytes for certain diagnostics - - - - --- 2021-11-01 David Malcolm New
assert_streq: add newlines to failure message assert_streq: add newlines to failure message - - - - --- 2021-10-26 David Malcolm New
gcc/Makefile.in: fix bug in gengtype link rule gcc/Makefile.in: fix bug in gengtype link rule - - - - --- 2021-10-26 David Malcolm New
[committed] analyzer: fix ICE when discarding result of realloc [PR102225] [committed] analyzer: fix ICE when discarding result of realloc [PR102225] - - - - --- 2021-09-08 David Malcolm New
[committed] analyzer: support "bifurcation"; reimplement realloc [PR99260] [committed] analyzer: support "bifurcation"; reimplement realloc [PR99260] - - - - --- 2021-08-30 David Malcolm New
[committed] analyzer: rewrite of switch handling [committed] analyzer: rewrite of switch handling - - - - --- 2021-08-23 David Malcolm New
[committed] analyzer: fix ICE with NULL change.m_expr [PR101875] [committed] analyzer: fix ICE with NULL change.m_expr [PR101875] - - - - --- 2021-08-23 David Malcolm New
[committed] analyzer: fix ICE when failing to reconstruct a fn ptr [PR101837] [committed] analyzer: fix ICE when failing to reconstruct a fn ptr [PR101837] - - - - --- 2021-08-23 David Malcolm New
[committed] analyzer: assume that POINTER_PLUS_EXPR of non-NULL is non-NULL [PR101962] [committed] analyzer: assume that POINTER_PLUS_EXPR of non-NULL is non-NULL [PR101962] - - - - --- 2021-08-23 David Malcolm New
[committed] analyzer: fix uninit false positive on overlapping bindings [committed] analyzer: fix uninit false positive on overlapping bindings - - - - --- 2021-08-23 David Malcolm New
[committed] analyzer: initial implementation of asm support [PR101570] [committed] analyzer: initial implementation of asm support [PR101570] - - - - --- 2021-08-04 David Malcolm New
[committed] analyzer: play better with -fsanitize=bounds [committed] analyzer: play better with -fsanitize=bounds - - - - --- 2021-07-28 David Malcolm New
[committed] analyzer: remove redundant return value from various impl_call_* [committed] analyzer: remove redundant return value from various impl_call_* - - - - --- 2021-07-28 David Malcolm New
[committed] analyzer: fix uninit false +ve when returning structs [committed] analyzer: fix uninit false +ve when returning structs - - - - --- 2021-07-26 David Malcolm New
[committed] analyzer: fix feasibility false +ve with overly complex svalues [committed] analyzer: fix feasibility false +ve with overly complex svalues - - - - --- 2021-07-23 David Malcolm New
[committed] analyzer: bulletproof -Wanalyzer-file-leak [PR101547] [committed] analyzer: bulletproof -Wanalyzer-file-leak [PR101547] - - - - --- 2021-07-21 David Malcolm New
[committed] analyzer: fix ICE in binding_cluster::purge_state_involving [PR101522] [committed] analyzer: fix ICE in binding_cluster::purge_state_involving [PR101522] - - - - --- 2021-07-21 David Malcolm New
[committed] analyzer: fix issues with phi handling [committed] analyzer: fix issues with phi handling - - - - --- 2021-07-21 David Malcolm New
[committed] analyzer: fixes to -fdump-analyzer-state-purge for phi nodes [committed] analyzer: fixes to -fdump-analyzer-state-purge for phi nodes - - - - --- 2021-07-21 David Malcolm New
[committed] analyzer: show BB index in BEFORE_SUPERNODE's in-edge [committed] analyzer: show BB index in BEFORE_SUPERNODE's in-edge - - - - --- 2021-07-21 David Malcolm New
[committed] analyzer: tweak dumping of min_expr/max_expr [committed] analyzer: tweak dumping of min_expr/max_expr - - - - --- 2021-07-21 David Malcolm New
[committed] analyzer: add svalue::can_have_associated_state_p [PR101503] [committed] analyzer: add svalue::can_have_associated_state_p [PR101503] - - - - --- 2021-07-19 David Malcolm New
PING Re: [PATCH] gcc-changelog: show correct line when complaining about unclosed paren PING Re: [PATCH] gcc-changelog: show correct line when complaining about unclosed paren - - - - --- 2021-07-16 David Malcolm New
[committed] analyzer: add region_model::check_region_access [committed] analyzer: add region_model::check_region_access - - - - --- 2021-07-16 David Malcolm New
[committed] analyzer: add __analyzer_dump_state [committed] analyzer: add __analyzer_dump_state - - - - --- 2021-07-16 David Malcolm New
[committed] analyzer: add svalue::maybe_get_region [committed] analyzer: add svalue::maybe_get_region - - - - --- 2021-07-16 David Malcolm New
[committed] analyzer: fix const-correctness of various is_a_helper [committed] analyzer: fix const-correctness of various is_a_helper - - - - --- 2021-07-15 David Malcolm New
[committed] analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al] [committed] analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al] - - - - --- 2021-07-15 David Malcolm New
[committed] analyzer: add -fdump-analyzer-exploded-paths [committed] analyzer: add -fdump-analyzer-exploded-paths - - - - --- 2021-07-15 David Malcolm New
[committed] analyzer: use DECL_DEBUG_EXPR on SSA names for artificial vars [committed] analyzer: use DECL_DEBUG_EXPR on SSA names for artificial vars - - - - --- 2021-07-15 David Malcolm New
[committed] analyzer: handle self-referential phis [committed] analyzer: handle self-referential phis - - - - --- 2021-07-15 David Malcolm New
[committed] analyzer: remove add_any_constraints_from_ssa_def_stmt [committed] analyzer: remove add_any_constraints_from_ssa_def_stmt - - - - --- 2021-07-07 David Malcolm New
[committed] input.c: move file caching globals to a new file_cache class [committed] input.c: move file caching globals to a new file_cache class - - - - --- 2021-07-01 David Malcolm New
gcc-changelog: show correct line when complaining about unclosed paren gcc-changelog: show correct line when complaining about unclosed paren - - - - --- 2021-06-30 David Malcolm New
[committed] analyzer: eliminate enum binding_key [PR95006] [committed] analyzer: eliminate enum binding_key [PR95006] - - - - --- 2021-06-30 David Malcolm New
[committed] analyzer: introduce byte_range and use to simplify dumps [committed] analyzer: introduce byte_range and use to simplify dumps - - - - --- 2021-06-28 David Malcolm New
[committed] jit: fix test-vector-* failures [committed] jit: fix test-vector-* failures - - - - --- 2021-06-25 David Malcolm New
[committed] jit: fix test-asm failures on i?86 [committed] jit: fix test-asm failures on i?86 - - - - --- 2021-06-25 David Malcolm New
[committed] analyzer: fix ICE on malloc/alloca param type mismatch [PR101143] [committed] analyzer: fix ICE on malloc/alloca param type mismatch [PR101143] - - - - --- 2021-06-22 David Malcolm New
[committed] analyzer: fix issue with symbolic reads with concrete bindings [committed] analyzer: fix issue with symbolic reads with concrete bindings - - - - --- 2021-06-18 David Malcolm New
[committed] analyzer: add region_model_manager::get_or_create_int_cst [committed] analyzer: add region_model_manager::get_or_create_int_cst - - - - --- 2021-06-18 David Malcolm New
[committed] analyzer: refactor custom_event, introducing precanned_custom_event class [committed] analyzer: refactor custom_event, introducing precanned_custom_event class - - - - --- 2021-06-18 David Malcolm New
[committed] analyzer: fix bitfield endianness issues [PR99212, PR101082] [committed] analyzer: fix bitfield endianness issues [PR99212, PR101082] - - - - --- 2021-06-15 David Malcolm New
[committed] analyzer: track dynamic extents of regions [committed] analyzer: track dynamic extents of regions - - - - --- 2021-06-15 David Malcolm New
[committed] analyzer: add class region_to_value_map [committed] analyzer: add class region_to_value_map - - - - --- 2021-06-15 David Malcolm New
[committed] analyzer testsuite: add explode-2a.c [PR101068] [committed] analyzer testsuite: add explode-2a.c [PR101068] - - - - --- 2021-06-15 David Malcolm New
[committed] analyzer: tweak priority of callstrings in worklist::key_t::cmp [committed] analyzer: tweak priority of callstrings in worklist::key_t::cmp - - - - --- 2021-06-11 David Malcolm New
[committed] analyzer: make various region_model member functions const [committed] analyzer: make various region_model member functions const - - - - --- 2021-06-09 David Malcolm New
[committed] analyzer: bitfield fixes [PR99212] [committed] analyzer: bitfield fixes [PR99212] - - - - --- 2021-06-08 David Malcolm New
[committed] analyzer: fix region::get_bit_size for bitfields [committed] analyzer: fix region::get_bit_size for bitfields - - - - --- 2021-06-08 David Malcolm New
[committed] analyzer: split out struct bit_range from class concrete_binding [committed] analyzer: split out struct bit_range from class concrete_binding - - - - --- 2021-06-08 David Malcolm New
[committed] analyzer: remove redundant typedef [committed] analyzer: remove redundant typedef - - - - --- 2021-06-08 David Malcolm New
[committed] analyzer: remove unused prototypes [committed] analyzer: remove unused prototypes - - - - --- 2021-06-03 David Malcolm New
[committed] analyzer: show types for poisoned_svalue and compound_svalue [committed] analyzer: show types for poisoned_svalue and compound_svalue - - - - --- 2021-06-03 David Malcolm New
[committed] diagnostic-show-locus: tweak rejection logic [committed] diagnostic-show-locus: tweak rejection logic - - - - --- 2021-06-03 David Malcolm New
[committed] analyzer: fix missing leak after call to strsep [PR100615] [committed] analyzer: fix missing leak after call to strsep [PR100615] - - - - --- 2021-05-18 David Malcolm New
analyzer: fix ICE on NULL change.m_expr [PR100244] analyzer: fix ICE on NULL change.m_expr [PR100244] - - - - --- 2021-04-24 David Malcolm New
[committed] gimple UIDs, LTO and -fanalyzer [PR98599] [committed] gimple UIDs, LTO and -fanalyzer [PR98599] - - - - --- 2021-04-13 David Malcolm New
[committed] analyzer: fix ICE on assignment from STRING_CST when building path [PR100011] [committed] analyzer: fix ICE on assignment from STRING_CST when building path [PR100011] - - - - --- 2021-04-10 David Malcolm New
[committed] analyzer: fix leak false +ves due to maybe-clobbered regions [PR99042, PR99774] [committed] analyzer: fix leak false +ves due to maybe-clobbered regions [PR99042, PR99774] - - - - --- 2021-04-08 David Malcolm New
[committed] analyzer: fix ICE on zero-arg calls passed to __attribute__((nonnull)) [PR 99906] [committed] analyzer: fix ICE on zero-arg calls passed to __attribute__((nonnull)) [PR 99906] - - - - --- 2021-04-05 David Malcolm New
[committed] analyzer: fix apparent hang with -fanalyzer-verbosity=0 [PR analyzer/99886] [committed] analyzer: fix apparent hang with -fanalyzer-verbosity=0 [PR analyzer/99886] - - - - --- 2021-04-05 David Malcolm New
[committed] analyzer: record per-enode saved_diagnostics [committed] analyzer: record per-enode saved_diagnostics - - - - --- 2021-04-01 David Malcolm New
[committed] analyzer: avoid printing '<unknown>' for SSA names [PR99771] [committed] analyzer: avoid printing '<unknown>' for SSA names [PR99771] - - - - --- 2021-03-31 David Malcolm New
[committed] analyzer: remove old decl of region::dump_to_pp [committed] analyzer: remove old decl of region::dump_to_pp - - - - --- 2021-03-30 David Malcolm New
[committed] analyzer: only call get_diagnostic_tree when it's needed [committed] analyzer: only call get_diagnostic_tree when it's needed - - - - --- 2021-03-30 David Malcolm New
[committed] analyzer testsuite: fix typo [committed] analyzer testsuite: fix typo - - - - --- 2021-03-30 David Malcolm New
[committed] analyzer; reset sm-state for SSA names at def-stmts [PR93695,PR99044,PR99716] [committed] analyzer; reset sm-state for SSA names at def-stmts [PR93695,PR99044,PR99716] - - - - --- 2021-03-25 David Malcolm New
[committed] analyzer: mark epath_finder with DISABLE_COPY_AND_ASSIGN [PR99614] [committed] analyzer: mark epath_finder with DISABLE_COPY_AND_ASSIGN [PR99614] - - - - --- 2021-03-19 David Malcolm New
[committed] analyzer: new implementation of shortest feasible path [PR96374] [committed] analyzer: new implementation of shortest feasible path [PR96374] - - - - --- 2021-03-11 David Malcolm New
[committed] analyzer: support reverse direction in shortest-paths.h [committed] analyzer: support reverse direction in shortest-paths.h - - - - --- 2021-03-11 David Malcolm New
[committed] analyzer: gracefully handle impossible paths in shortest-paths.h [committed] analyzer: gracefully handle impossible paths in shortest-paths.h - - - - --- 2021-03-11 David Malcolm New
[committed] analyzer: factor out new class feasibility_state [committed] analyzer: factor out new class feasibility_state - - - - --- 2021-03-10 David Malcolm New
[committed] analyzer: remove duplicated vfuncs [committed] analyzer: remove duplicated vfuncs - - - - --- 2021-03-10 David Malcolm New
[committed] analyzer: remove some no-longer-needed -Wno-analyzer-too-complex [committed] analyzer: remove some no-longer-needed -Wno-analyzer-too-complex - - - - --- 2021-03-10 David Malcolm New
« 1 2 3 426 27 »