index
:
riscv-gnu-toolchain/gcc.git
devel/analyzer
devel/autopar_devel
devel/autopar_europar_2021
devel/bypass-asm
devel/c++-contracts
devel/c++-coroutines
devel/c++-modules
devel/c++-name-lookup
devel/coarray_native
devel/fortran_unsigned
devel/gccgo
devel/gfortran-caf
devel/gimple-linterchange
devel/gomp-5_0-branch
devel/icpp2021
devel/ira-select
devel/ix86/evex512
devel/jlaw/crc
devel/loop-unswitch-support-switches
devel/lto-offload
devel/m2link
devel/modula-2
devel/mold-lto-plugin
devel/mold-lto-plugin-v2
devel/nothrow-detection
devel/omp/gcc-10
devel/omp/gcc-11
devel/omp/gcc-12
devel/omp/gcc-13
devel/omp/gcc-14
devel/omp/gcc-9
devel/omp/ompd
devel/power-ieee128
devel/range-gen3
devel/ranger
devel/rust/master
devel/sh-lra
devel/sphinx
devel/ssa-range
devel/subreg-coalesce
devel/unified-autovect
master
releases/egcs-1.0
releases/egcs-1.1
releases/gcc-10
releases/gcc-11
releases/gcc-12
releases/gcc-13
releases/gcc-14
releases/gcc-2.95
releases/gcc-2.95.2.1-branch
releases/gcc-3.0
releases/gcc-3.1
releases/gcc-3.2
releases/gcc-3.3
releases/gcc-3.4
releases/gcc-4.0
releases/gcc-4.1
releases/gcc-4.2
releases/gcc-4.3
releases/gcc-4.4
releases/gcc-4.5
releases/gcc-4.6
releases/gcc-4.7
releases/gcc-4.8
releases/gcc-4.9
releases/gcc-5
releases/gcc-6
releases/gcc-7
releases/gcc-8
releases/gcc-9
releases/libgcj-2.95
trunk
Unnamed repository; edit this file 'description' to name the repository.
root
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gcc
/
analyzer
/
region-model.cc
Age
Commit message (
Expand
)
Author
Files
Lines
2022-12-02
analyzer: introduce struct event_loc_info
David Malcolm
1
-4
/
+2
2022-12-02
analyzer: fixes to region creation messages [PR107851]
David Malcolm
1
-23
/
+24
2022-12-01
analyzer: handle comparisons against negated symbolic values [PR107948]
David Malcolm
1
-0
/
+13
2022-11-30
analyzer: move bounds checking to a new bounds-checking.cc
David Malcolm
1
-653
/
+0
2022-11-23
analyzer: revamp of heap-allocated regions [PR106473]
David Malcolm
1
-13
/
+53
2022-11-22
analyzer: eliminate region_model::impl_call_* special cases
David Malcolm
1
-218
/
+34
2022-11-21
analyzer: fix ICE on 'bind' that returns a struct [PR107788]
David Malcolm
1
-0
/
+4
2022-11-21
analyzer: fix ICE on writes to errno [PR107777]
David Malcolm
1
-0
/
+2
2022-11-18
analyzer: move more impl_* to known_function
David Malcolm
1
-122
/
+2
2022-11-16
analyzer: use known_function to simplify region_model::on_call_{pre,post}
David Malcolm
1
-32
/
+13
2022-11-15
analyzer: add warnings relating to sockets [PR106140]
David Malcolm
1
-0
/
+30
2022-11-15
c, analyzer: support named constants in analyzer [PR106302]
David Malcolm
1
-0
/
+4
2022-11-10
analyzer: new warning: -Wanalyzer-deref-before-check [PR99671]
David Malcolm
1
-2
/
+7
2022-11-08
analyzer: eliminate region_model::eval_condition_without_cm [PR101962]
David Malcolm
1
-49
/
+26
2022-11-07
analyzer: start adding support for errno
David Malcolm
1
-0
/
+22
2022-11-07
analyzer: fix "when 'strchr' returns non-NULL" message
David Malcolm
1
-2
/
+12
2022-11-03
analyzer: use std::unique_ptr during bifurcation
David Malcolm
1
-2
/
+1
2022-11-03
analyzer: use std::unique_ptr for pending_diagnostic/note
David Malcolm
1
-37
/
+50
2022-11-03
analyzer: fix ICE when pipe's arg isn't a pointer [PR107486]
David Malcolm
1
-4
/
+4
2022-10-24
analyzer: handle (NULL == &VAR) [PR107345]
David Malcolm
1
-3
/
+12
2022-10-24
analyzer: handle "pipe" and "pipe2" [PR106300]
David Malcolm
1
-4
/
+31
2022-10-07
analyzer: extract bits from integer constants [PR105783]
David Malcolm
1
-0
/
+52
2022-10-05
analyzer: simplify some includes
David Malcolm
1
-4
/
+0
2022-10-05
analyzer: fix ICEs seen with call summaries on PR 107060
David Malcolm
1
-0
/
+6
2022-10-04
analyzer: revamp side-effects of call summaries [PR107072]
David Malcolm
1
-21
/
+28
2022-10-04
analyzer: widening_svalues take a function_point rather than a program_point
David Malcolm
1
-1
/
+1
2022-09-12
analyzer: remove unused fields
Martin Liska
1
-9
/
+3
2022-09-11
analyzer: consider empty ranges and zero byte accesses [PR106845]
Tim Lange
1
-0
/
+3
2022-09-09
analyzer: implement trust boundaries via a plugin for Linux kernel
David Malcolm
1
-0
/
+568
2022-09-09
analyzer: add support for plugin-supplied known function behaviors
David Malcolm
1
-0
/
+109
2022-09-08
analyzer: support for symbolic values in the out-of-bounds checker [PR106625]
Tim Lange
1
-32
/
+437
2022-09-05
analyzer: strcpy semantics
Tim Lange
1
-0
/
+29
2022-08-22
analyzer: add missing final keyword
Martin Liska
1
-1
/
+1
2022-08-18
analyzer: warn on the use of floating-points operands in the size argument [P...
Tim Lange
1
-23
/
+156
2022-08-16
analyzer: add more final override keywords
Martin Liska
1
-2
/
+2
2022-08-15
analyzer: fix direction of -Wanalyzer-out-of-bounds note [PR106626]
David Malcolm
1
-2
/
+2
2022-08-15
analyzer: better fix for -Wanalyzer-use-of-uninitialized-value [PR106573]
David Malcolm
1
-3
/
+1
2022-08-12
analyzer: out-of-bounds checker [PR106000]
Tim Lange
1
-0
/
+422
2022-08-09
analyzer: fix missing -Wanalyzer-use-of-uninitialized-value on special-cased ...
David Malcolm
1
-0
/
+8
2022-07-28
analyzer: new warning: -Wanalyzer-putenv-of-auto-var [PR105893]
David Malcolm
1
-0
/
+6
2022-07-22
Fix handling of zero capacity regions in -Wanalyzer-allocation-size [PR106394]
Tim Lange
1
-1
/
+1
2022-07-19
analyzer: fix taint handling of switch statements [PR106321]
David Malcolm
1
-0
/
+2
2022-07-06
analyzer: fix uninit false positive with -ftrivial-auto-var-init= [PR106204]
David Malcolm
1
-13
/
+56
2022-07-02
analyzer: add allocation size checker [PR105900]
Tim Lange
1
-0
/
+370
2022-06-24
analyzer: consolidate call_string instances
David Malcolm
1
-8
/
+8
2022-05-23
analyzer: use 'final' and 'override' where appropriate
David Malcolm
1
-1
/
+1
2022-05-20
Use "final" and "override" directly, rather than via macros
David Malcolm
1
-27
/
+27
2022-05-16
analyzer: implement four new warnings for <stdarg.h> misuses [PR105103]
David Malcolm
1
-0
/
+26
2022-03-28
analyzer: ensure that we purge state when reusing a conjured_svalue [PR105087]
David Malcolm
1
-3
/
+5
2022-03-23
analyzer: fix accessing wrong stack frame on interprocedural return [PR104979]
David Malcolm
1
-22
/
+28
[next]