From: Dan Nicolaescu <dann@ics.uci.edu>
Subject: Problem report #18
Date: Mon, 10 Apr 2006 11:59:03 -0700 [thread overview]
Message-ID: <200604101859.k3AIx3In005649@scanner2.ics.uci.edu> (raw)
CID: 18
Checker: FORWARD_NULL (help)
File: emacs/src/xmenu.c
Function: digest_single_submenu
Description: Variable "save_wv" tracked as NULL was dereferenced.
Event assign_zero: Variable "prev_wv" assigned value 0.
Also see events: [alias_transfer][var_deref_op]
1815 prev_wv = 0;
1816 i += MENU_ITEMS_PANE_LENGTH;
1817 }
1818 else
1819 {
1820 /* Create a new item within current pane. */
1821 Lisp_Object item_name, enable, descrip, def, type, selected;
1822 Lisp_Object help;
1823
1824 item_name = AREF (menu_items, i + MENU_ITEMS_ITEM_NAME);
1825 enable = AREF (menu_items, i + MENU_ITEMS_ITEM_ENABLE);
1826 descrip = AREF (menu_items, i + MENU_ITEMS_ITEM_EQUIV_KEY);
1827 def = AREF (menu_items, i + MENU_ITEMS_ITEM_DEFINITION);
1828 type = AREF (menu_items, i + MENU_ITEMS_ITEM_TYPE);
1829 selected = AREF (menu_items, i + MENU_ITEMS_ITEM_SELECTED);
1830 help = AREF (menu_items, i + MENU_ITEMS_ITEM_HELP);
1831
1832 #ifndef HAVE_MULTILINGUAL_MENU
At conditional (9): "((0), (item_name & -8))->size_byte >= 0" taking true path
1833 if (STRING_MULTIBYTE (item_name))
1834 {
At conditional (10): "Vlocale_coding_system != Qnil" taking true path
At conditional (11): "Vlocale_coding_system != 0" taking true path
1835 item_name = ENCODE_MENU_STRING (item_name);
1836 AREF (menu_items, i + MENU_ITEMS_ITEM_NAME) = item_name;
1837 }
1838
At conditional (12): "descrip & 7 == 3" taking true path
At conditional (13): "((0), (descrip & -8))->size_byte >= 0" taking true path
1839 if (STRINGP (descrip) && STRING_MULTIBYTE (descrip))
1840 {
At conditional (14): "Vlocale_coding_system != Qnil" taking true path
At conditional (15): "Vlocale_coding_system != 0" taking true path
1841 descrip = ENCODE_MENU_STRING (descrip);
1842 AREF (menu_items, i + MENU_ITEMS_ITEM_EQUIV_KEY) = descrip;
1843 }
1844 #endif /* not HAVE_MULTILINGUAL_MENU */
1845
1846 wv = xmalloc_widget_value ();
At conditional (16): "prev_wv != 0" taking false path
1847 if (prev_wv)
1848 prev_wv->next = wv;
1849 else
Event var_deref_op: Variable "save_wv" tracked as NULL was dereferenced.
Also see events: [assign_zero][alias_transfer]
1850 save_wv->contents = wv;
1851
1852 wv->lname = item_name;
next reply other threads:[~2006-04-10 18:59 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-04-10 18:59 Dan Nicolaescu [this message]
2006-04-10 20:04 ` Problem report #18 Stuart D. Herring
2006-04-11 6:58 ` Problem report #18 PENDING Jan D.
2006-04-11 8:33 ` Sascha Wilde
2006-05-13 19:01 ` Dan Nicolaescu
2006-05-13 19:58 ` Jan D.
2006-05-13 20:21 ` Dan Nicolaescu
2006-05-14 11:20 ` Jan D.
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/emacs/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=200604101859.k3AIx3In005649@scanner2.ics.uci.edu \
--to=dann@ics.uci.edu \
--cc=emacs-devel@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/emacs.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).