stdcxx-issues mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Travis Vitek (JIRA)" <j...@apache.org>
Subject [jira] Updated: (STDCXX-955) infinite loop or out of bound access when slicing valarray
Date Wed, 04 Jun 2008 02:14:45 GMT

     [ https://issues.apache.org/jira/browse/STDCXX-955?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]

Travis Vitek updated STDCXX-955:
--------------------------------

    Attachment: stdcxx-955.patch

{noformat}
2008-06-03  Travis Vitek  <vitek@roguewave.com>

	STDCXX-955
	* include/valarray (gslice::ind_numb): Correctly calculate
	index count when the length array contains a zero.
	* src/valarray.cpp (next_ind): Correctly calculate next index
	when the length array contains a zero.
	* tests/numerics/26.class.gslice.cpp (make_array): Update to
	handle empty strings or other poorly formatted input.
	(get_array_size): Correctly calculate index count when the
	slice has a size array that contains a zero.
	(next_index): Correctly calculate next index when the length
	array contains a zero.
	(test_gslice): Remove unnecessary linefeed from assertion.
	(run_test): Update degenerate testcase to match comment.
{noformat}

> infinite loop or out of bound access when slicing valarray
> ----------------------------------------------------------
>
>                 Key: STDCXX-955
>                 URL: https://issues.apache.org/jira/browse/STDCXX-955
>             Project: C++ Standard Library
>          Issue Type: Bug
>          Components: 26. Numerics
>    Affects Versions: 4.2.1
>            Reporter: Travis Vitek
>            Assignee: Travis Vitek
>             Fix For: 4.2.2
>
>         Attachments: stdcxx-955.patch
>
>   Original Estimate: 4h
>  Remaining Estimate: 4h
>
> The current valarray code does not handle creating a gslice that has a one or more empty
steps. The following testcase will hang in an infinite loop.
> {noformat}
> #include <cstdlib>
> #include <valarray>
> int main ()
> {
>     const std::size_t p_leng [] = { 0 };
>     const std::size_t p_strd [] = { 0 };
>     const std::valarray<std::size_t> va_leng (p_leng,
>         sizeof (p_leng) / sizeof (*p_leng));
>     const std::valarray<std::size_t> va_strd (p_strd,
>         sizeof (p_strd) / sizeof (*p_strd));
>     const std::gslice gs_slice (1, va_leng, va_strd);
>     std::valarray<char> va_lhs (10, '!');
>     va_lhs [gs_slice] = '?';
>    return 0;
> }
> {noformat}
> Changing the declarations of {{p_len}} and {{p_strd}} to the following will result in
an assertion or an out of bound access depending on build type.
> {noformat}
>     const std::size_t p_leng [] = { 2, 0 };
>     const std::size_t p_strd [] = { 1, 3 };
> {noformat}

-- 
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.


Mime
View raw message