Rust: रिपोर्ट कॉन्स्टेबल इंडेक्स आउट-ऑफ-बाउंड कंडीशन पहले

जाहिरा तौर पर यह उत्पन्न होने वाली "त्रुटि" के कारण संकलन विफल नहीं होता है - कोड उत्पन्न होगा और rustc 0 वापस आ जाएगा। LLVM शिकायत करेगा कि क्या सूचकांक भौतिक रूप से सीमा से बाहर है, और यह वर्तमान में हमेशा एक आउट-ऑफ-बाउंड के बराबर है index (मुझे लगता है), लेकिन यह कॉन्स स्लाइस के मामले में नहीं होगा।

यह परीक्षण के दौरान विशेष रूप से अप्रत्याशित है, जो (जाहिरा तौर पर चेक-फास्ट को छोड़कर?) सफलता पर आउटपुट/त्रुटि नहीं दिखाता है।

0.6 के लिए महत्वपूर्ण नहीं; मील का पत्थर

मील के पत्थर 5 के लिए नामांकन, उत्पादन के लिए तैयार

उत्पादन के लिए तैयार मील के पत्थर के लिए स्वीकृत

एक उदाहरण के रूप में मेरा मानना ​​​​है कि यह किस बारे में बात कर रहा है:

static a: &'static [int] = &[];
static b: int = a[1];

fn main() {}

पैदावार

$ rustc foo.rs
foo.rs:2:16: 2:19 error: const index-expr is out of bounds
foo.rs:2 static b: int = a[1];
                         ^~~
Assertion failed: (ReqTy && "extractvalue indices invalid!"), function getExtractValue, file ../../../../src/llvm/lib/IR/Constants.cpp, line 1982.
zsh: abort      rustc foo.rs

बुरा लगता है कि हम एलएलवीएम के दावे को बिल्कुल भी मार रहे हैं।

पी-लो के लिए स्वीकृत।

ट्राइएज: @alexcrichton का (9 महीने पुराना) उदाहरण अभी भी वाक्य रचनात्मक रूप से मान्य है (याय!) और अभी भी उस दावे के साथ विफल रहता है (बू!)।

मेरा मानना ​​है कि यह तय है ।

यदि आप @alexcrichton का उदाहरण अपडेट

#![allow(dead_code)]
const A: &'static [usize] = &[];
const B: usize = A[1];

fn main() {}

यह अब बिना किसी शिकायत के सफलतापूर्वक संकलन करता है।

केवल एक बार जब आप अमान्य मान B का उपयोग करने का प्रयास करते हैं तो rustc समस्या का सामना करेगा।

#![allow(dead_code)]
const A: &'static [usize] = &[];
const B: usize = A[1];

fn main() {
    println!("B={}", B);
}

<anon>:3:18: 3:22 error: const index-expr is out of bounds
<anon>:3 const B: usize = A[1];
                          ^~~~
rustc: /home/rustbuild/src/rust-buildbot/slave/nightly-dist-rustc-linux/build/src/llvm/lib/IR/Constants.cpp:2174: static llvm::Constant* llvm::ConstantExpr::getExtractValue(llvm::Constant*, llvm::ArrayRef<unsigned int>, llvm::Type*): Assertion `ReqTy && "extractvalue indices invalid!"' failed.
Aborted (core dumped)
playpen: application terminated with error code 134

त्रुटि: मूल्य के आधार पर अन्य स्टैटिक्स को संदर्भित नहीं कर सकता, इसके बजाय ऑपरेटर के पते या स्थिरांक का उपयोग करें

हाँ, अच्छा लगता है।

रुको, @JustAPerson का उदाहरण मुझे ठीक नहीं लगता। फिर से खोलना।

मुझे लगता है कि यह अब वास्तविक के लिए तय है:

$ cat foo.rs
#![allow(dead_code)]
const A: &'static [usize] = &[];
const B: usize = A[1];

fn main() {
    println!("B={}", B);
}
$ rustc foo.rs
foo.rs:3:18: 3:22 error: const index-expr is out of bounds
foo.rs:3 const B: usize = A[1];
                          ^~~~
error: aborting due to previous error
$ rustc --version
rustc 1.0.0-dev (a691f1eef 2015-04-15) (built 2015-04-15)

तो, पिछले 11 दिनों में कभी-कभी:

hello.rs:3:18: 3:22 error: const index-expr is out of bounds
hello.rs:3 const B: usize = A[1];
                            ^~~~
rustc: /home/rustbuild/src/rust-buildbot/slave/nightly-dist-rustc-linux/build/src/llvm/include/llvm/Support/Casting.h:237: typename llvm::cast_retty<X, Y*>::ret_type llvm::cast(Y*) [with X = llvm::SequentialType; Y = llvm::Type; typename llvm::cast_retty<X, Y*>::ret_type = llvm::SequentialType*]: Assertion `isa<X>(Val) && "cast<Ty>() argument of incompatible type!"' failed.

ऐसा लगता है कि यह पहले से ही वापस आ गया है?

गुह, यह मेरी गलती थी। मैंने उपरोक्त रिपोर्ट को एलएलवीएम अभिकथन अक्षम के साथ संकलित टूलचैन का उपयोग करके बनाया है (जो मुझे नहीं पता था कि डिफ़ॉल्ट था)।

(नमस्कार, मैं नए लोगों के लिए ई-आसान मुद्दों को अधिक सुलभ बनाने में मदद करने की कोशिश कर रहा हूं: मुस्कान_कैट :)

मैंने उपरोक्त रिपोर्ट को एलएलवीएम अभिकथन अक्षम के साथ संकलित टूलचैन का उपयोग करके बनाया है (जो मुझे नहीं पता था कि डिफ़ॉल्ट था)।

ऐसा लगता है कि इस समस्या को पुन: उत्पन्न करने के लिए, आपको एक गैर-डिफ़ॉल्ट सेटिंग के साथ संकलित टूलचेन का उपयोग करना होगा? यदि हां, तो कोई ऐसा करने के बारे में कैसे जाता है?

यह एक तरह से भ्रमित करने वाला है कि यहां क्या होने वाला है, सभी समापन-फिर से खोलने वाली चीजें चल रही हैं। क्या कोई स्पष्ट कर सकता है कि अपेक्षित व्यवहार क्या है और यह वर्तमान व्यवहार से कैसे भिन्न है?

./configure --enable-llvm-assertions

हालाँकि, आप केवल रात में जंग का उपयोग कर सकते हैं, क्योंकि एलएलवीएम दावे वहां सक्षम हैं। http://is.gd/X2RztV अभी भी रात में दावे को विफल करता है:

<anon>:2:17: 2:21 error: const index-expr is out of bounds
<anon>:2 static b: i32 = a[1];
                         ^~~~
rustc: /home/rustbuild/src/rust-buildbot/slave/nightly-dist-rustc-linux/build/src/llvm/include/llvm/Support/Casting.h:237: typename llvm::cast_retty<X, Y*>::ret_type llvm::cast(Y*) [with X = llvm::SequentialType; Y = llvm::Type; typename llvm::cast_retty<X, Y*>::ret_type = llvm::SequentialType*]: Assertion `isa<X>(Val) && "cast<Ty>() argument of incompatible type!"' failed.
Aborted (core dumped)
playpen: application terminated with error code 134

ऐसा लगता है कि जिस चीज से मैं 2013 में व्यथित था, वह तय है: यदि rustc const index-expr is out of bounds त्रुटि देता है, भले ही LLVM अभिकथन अक्षम हो, यह एक विफलता स्थिति से बाहर निकलता है (और आउटपुट फ़ाइल नहीं लिखता है)। मुझे लगता है कि अनुवाद की जांच करने वाले सत्र/त्रुटि सामग्री तक पहुंच नहीं होती थी, क्योंकि इसे त्रुटियों की जांच करने में सक्षम नहीं होना चाहिए था? लेकिन ऐसा लगता है कि अब ऐसा नहीं है।

दूसरी बात जो मैंने खुद बताई थी... ऐसा लगता है जैसे हम इंडेक्स को एलएलवीएम में पास करते थे, भले ही हमें पता था कि यह सीमा से बाहर है, लेकिन अब हम इसके बजाय undef करते हैं। लेकिन किसी भी मामले में उस हिस्से का ध्यान रखा जाता है, क्योंकि त्रुटि को अब ठीक से संभाला जाता है।

जहां तक ​​एलएलवीएम के दावे का सवाल है, जो आज हम देख रहे हैं, मेरे पास एक अनुमान है। त्रुटि की रिपोर्ट करने के बाद, हम यह कर रहे हैं:

C_undef(type_of::type_of(cx, bt).element_type())

और मुझे लगता है कि हम ऐसा कुछ चाहते हैं (अवांछित):

C_undef(val_ty(arr).element_type())

क्योंकि यदि अनुक्रमित किया जा रहा मान एक टुकड़ा या सूचक है, तो bt (इसका प्रकार) एक सरणी प्रकार द्वारा प्रदर्शित नहीं किया जाएगा, इसलिए element_type विफल हो जाएगा।

लेकिन , जिस चीज के लिए @graydon ने इस मुद्दे को खोला, और इस मुद्दे को संदर्भित करने वाले कोड में टिप्पणी क्या करने का सुझाव देती है, उस चेक को संकलन के पहले चरण में ले जाना है। और ऐसा लगता है कि #25370/#25570 कमोबेश इसे पूरा कर सकता है?

मुझे लगता है कि यह अब पूरी तरह से ठीक हो गया है। @ ओली-ओबीके?

नहीं, इसे check_const में हल करने की आवश्यकता है और वर्तमान रिपोर्ट स्थान को बग स्थान में बदलने की आवश्यकता है

@ oli-obk क्या यह एक आसान समाधान है, और यदि ऐसा है, तो क्या आप इसका मार्गदर्शन करना चाहते हैं और कुछ संकेत छोड़ना चाहते हैं ताकि नवागंतुक इस पर एक दरार की कोशिश कर सकें?

हालांकि यह एक आसान समाधान है (आप मूल रूप से https://github.com/rust-lang/rust/blob/master/src/librustc/middle/check_const.rs#L470-L490 चुरा सकते हैं और इसे ExprIndex और फिर https://github.com/rust-lang/rust/blob/master/src/librustc_trans/trans/consts.rs#L708-L712 को एक बग/ unimplemented!() )।

लेकिन यह एक ब्रेकिंग बदलाव भी होगा, क्योंकि अप्रयुक्त const ARR: [u32; 0] = []; const X: u32 = ARR[5]; वर्तमान में संकलन त्रुटि का कारण नहीं बनता है। और check_const अप्रयुक्त स्थिरांक की भी जाँच करता है।

साथ ही यह सभी कॉन्स्ट मूल्यांकन को दो बार समाप्त कर देगा। जिसे एक बार कैशिंग स्थिरांक द्वारा समस्या बन जाने पर दूर किया जा सकता है।

बेशक केवल const_err लिंट का उत्सर्जन करके ब्रेकिंग परिवर्तन का उपचार किया जा सकता है।

ऐसा लगता है कि इसे 'हल' कर दिया गया है (संभवतः MIRI के कारण) क्योंकि यह अब LLVM अभिकथन के बजाय उपयोग किए जाने पर

लापता लिंट जब कास्ट अप्रयुक्त है https://github.com/rust-lang/rust/pull/50110 द्वारा तय किया जाएगा

हाँ, मुझे लगता है कि हमने 6 साल बाद इस मुद्दे को खत्म कर दिया है: हंसते हुए: