From: Gerald Pfeifer <gerald@pfeifer.com>
Date: Sun, 28 Mar 2021 21:34:35 +0000 (+0200)
Subject: doc: Update link to "Memory Model" paper
X-Git-Tag: upstream/12.2.0~9071
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=d15db0c5f5d81e9057df07c9568ee81873860a44;p=platform%2Fupstream%2Fgcc.git

doc: Update link to "Memory Model" paper

gcc/ChangeLog:
	* doc/analyzer.texi (Analyzer Internals): Update link to
	"A Memory Model for Static Analysis of C Programs".
---

diff --git a/gcc/doc/analyzer.texi b/gcc/doc/analyzer.texi
index 3f7bcf3..26808ff 100644
--- a/gcc/doc/analyzer.texi
+++ b/gcc/doc/analyzer.texi
@@ -245,7 +245,7 @@ Merging can be disabled via @option{-fno-analyzer-state-merge}.
 
 Part of the state stored at a @code{exploded_node} is a @code{region_model}.
 This is an implementation of the region-based ternary model described in
-@url{http://lcs.ios.ac.cn/~xzx/memmodel.pdf,
+@url{https://www.researchgate.net/publication/221430855_A_Memory_Model_for_Static_Analysis_of_C_Programs,
 "A Memory Model for Static Analysis of C Programs"}
 (Zhongxing Xu, Ted Kremenek, and Jian Zhang).