+2020-08-22 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/94851
+ * region-model-manager.cc
+ (region_model_manager::maybe_fold_binop): Fold bitwise "& 0" to 0.
+
+2020-08-22 David Malcolm <dmalcolm@redhat.com>
+
+ * store.cc (store::eval_alias): Make const. Split out 2nd half
+ into store::eval_alias_1 and call it twice for symmetry, avoiding
+ test duplication.
+ (store::eval_alias_1): New function, split out from the above.
+ * store.h (store::eval_alias): Make const.
+ (store::eval_alias_1): New decl.
+
+2020-08-22 David Malcolm <dmalcolm@redhat.com>
+
+ * region-model.cc (region_model::push_frame): Bind the default
+ SSA name for each parm if it exists, falling back to the parm
+ itself otherwise, rather than doing both.
+
2020-08-20 David Malcolm <dmalcolm@redhat.com>
PR analyzer/96723
+2020-08-22 Andrea Corallo <andrea.corallo@arm.com>
+
+ * libgccjit.c:
+ (gcc_jit_context_new_rvalue_from_int)
+ (gcc_jit_context_new_rvalue_from_long)
+ (gcc_jit_context_new_rvalue_from_double)
+ (gcc_jit_context_new_rvalue_from_ptr): Update function heading
+ comments.
+
2020-06-16 Nicolas Bértolo <nicolasbertolo@gmail.com>
* Make-lang.in: Always define version, minor and release
+2020-08-22 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/94851
+ * gcc.dg/analyzer/pr94851-1.c: New test.
+ * gcc.dg/analyzer/pr94851-3.c: New test.
+ * gcc.dg/analyzer/pr94851-4.c: New test.
+
+2020-08-22 David Malcolm <dmalcolm@redhat.com>
+
+ * gcc.dg/analyzer/malloc-ipa-8-double-free.c: Drop
+ -fanalyzer-verbose-state-changes.
+
2020-08-21 Hongtao Liu <hongtao.liu@intel.com>
* gcc.target/i386/pr96262-1.c: New test.