topjohnwu/cxx
1
0
Fork 0
mirror of https://github.com/topjohnwu/cxx.git synced 2025-02-23 09:30:45 +00:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Disallow array with zero size

Browse Source
This commit is contained in:
David Tolnay 2020-11-25 15:48:59 -08:00
parent bc8e027663
commit 581f72dc8f
No known key found for this signature in database
GPG Key ID: F9BA143B95FF6D82
3 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
syntax/parse.rs
View File

@ -767,9 +767,14 @@ fn parse_type_array(ty: &TypeArray) -> Result<Type> {
return Err(Error::new_spanned(len_expr, msg));
};
let len = len_token.base10_parse::<usize>()?;
if len == 0 {
let msg = "array with zero size is not supported";
return Err(Error::new_spanned(ty, msg));
}
let bracket = ty.bracket_token;
let semi_token = ty.semi_token;
let len = len_token.base10_parse::<usize>()?;
Ok(Type::Array(Box::new(Array {
bracket,

1
tests/ui/array_len_expr.rs
View File

@ -3,6 +3,7 @@ mod ffi {
struct Shared {
arraystr: [String; "13"],
arraysub: [String; 15 - 1],
arrayzero: [String; 0],
}
}

6
tests/ui/array_len_expr.stderr
View File

@ -9,3 +9,9 @@ error: unsupported expression, array length must be an integer literal
|
5 | arraysub: [String; 15 - 1],
| ^^^^^^
error: array with zero size is not supported
--> $DIR/array_len_expr.rs:6:20
|
6 | arrayzero: [String; 0],
| ^^^^^^^^^^^