ऑनलाइन आईडीई पर अजीब व्यवहार करने वाला कार्यक्रम

Question 1

मैं नीचे सी + + कार्यक्रम ( स्रोत ) में आया हूं :

#include <iostream>
int main()
{
    for (int i = 0; i < 300; i++)
        std::cout << i << " " << i * 12345678 << std::endl;
}

यह एक साधारण प्रोग्राम की तरह दिखता है और मेरे स्थानीय मशीन पर सही आउटपुट देता है, जैसे कि:

0 0
1 12345678
2 24691356
...
297 -628300930
298 -615955252
299 -603609574

लेकिन, कोडेक की तरह ऑनलाइन आईडीई पर , यह निम्नलिखित आउटपुट देता है:

0 0
1 12345678
2 24691356
...
4167 -95167326
4168 -82821648
4169 -7047597

forलूप 300 पर समाप्त क्यों नहीं होता है ? साथ ही यह कार्यक्रम हमेशा समाप्त होता है 4169। 4169कुछ और मूल्य क्यों और कैसे?

Question 2

मैं मान रहा हूं कि ऑनलाइन कंपाइलर GCC या कम्पैटिबल कंपाइलर का उपयोग करते हैं। बेशक, किसी भी अन्य संकलक को भी समान अनुकूलन करने की अनुमति है, लेकिन जीसीसी प्रलेखन अच्छी तरह से बताता है कि यह क्या करता है:

-faggressive-loop-optimizations

यह विकल्प लूप ऑप्टिमाइज़र को लूप के पुनरावृत्तियों की संख्या के लिए सीमा प्राप्त करने के लिए भाषा की कमी का उपयोग करने के लिए कहता है। यह मानता है कि लूप कोड अपरिभाषित व्यवहार को लागू नहीं करता है, उदाहरण के लिए हस्ताक्षरित पूर्णांक ओवरफ्लो या आउट-ऑफ-बाउंड ऐरे एक्सेस के कारण। लूप के पुनरावृत्तियों की संख्या के लिए सीमा का उपयोग लूप को अनियंत्रित और छीलने के लिए किया जाता है और लूप निकास परीक्षण के अनुकूलन को निर्देशित करता है। यह विकल्प डिफॉल्ट द्वारा सक्षम हो जाता है।

यह विकल्प केवल उन मामलों के आधार पर धारणा बनाने की अनुमति देता है जहां यूबी साबित होता है। उन मान्यताओं का लाभ उठाने के लिए, अन्य अनुकूलन को सक्षम करने की आवश्यकता हो सकती है, जैसे कि निरंतर तह।

हस्ताक्षरित पूर्णांक अतिप्रवाह में अपरिभाषित व्यवहार होता है। ऑप्टिमाइज़र यह साबित करने में सक्षम था कि i173 से अधिक का कोई भी मूल्य यूबी का कारण होगा, और क्योंकि यह मान सकता है कि कोई यूबी नहीं है, यह भी मान सकता है कि iयह 173 से अधिक नहीं है। यह आगे साबित कर सकता है किi < 300 हमेशा सच है, और इसलिए लूप की स्थिति को दूर अनुकूलित किया जा सकता है।

4169 और कुछ अन्य मूल्य क्यों नहीं?

वे साइटें संभवतः उन आउटपुट लाइनों (या वर्णों या बाइट्स) की संख्या को सीमित करती हैं जो वे दिखाती हैं और उसी सीमा को साझा करने के लिए होती हैं।

Question 3

"अपरिभाषित व्यवहार अपरिभाषित है।" (सी)

कोडक पर प्रयुक्त एक कंपाइलर निम्नलिखित तर्क का उपयोग करता है:

अपरिभाषित व्यवहार नहीं हो सकता।
i * 12345678यूबी में ओवरफ्लो और परिणाम यदि i > 173(32 बिट intएस मान रहा है )।
इस प्रकार, iकभी भी अधिक नहीं हो सकता 173।
इस प्रकार शानदार i < 300है और इसके साथ प्रतिस्थापित किया जा सकता है true।

पाश स्वयं अनंत प्रतीत होता है। जाहिर है, codechef समय की एक विशिष्ट राशि के बाद कार्यक्रम बंद कर देता है या उत्पादन को छोटा करता है।

Question 4

आप अपने लूप के अंदर 174 वें पुनरावृत्ति पर अपरिभाषित व्यवहार को लागू कर रहे हैं forक्योंकि अधिकतम intमूल्य शायद 2147483647अभी तक 174 * 123456789अभिव्यक्ति का मूल्यांकन है 2148147972जो अपरिभाषित व्यवहार है क्योंकि कोई हस्ताक्षरित पूर्णांक अतिप्रवाह नहीं है। तो आप यूबी के प्रभावों को देख रहे हैं, विशेष रूप से आपके मामले में सेट किए गए अनुकूलन झंडे के साथ जीसीसी संकलक के साथ। यह संभावना है कि संकलक ने आपको निम्नलिखित चेतावनी जारी करके इस बारे में चेतावनी दी होगी:

warning: iteration 174 invokes undefined behavior [-Waggressive-loop-optimizations]

-O2विभिन्न परिणामों का निरीक्षण करने के लिए ( ) अनुकूलन फ्लैगशिप निकालें ।

Question 5

संकलक मान सकता है कि अपरिभाषित व्यवहार नहीं होगा, और क्योंकि हस्ताक्षरित अतिप्रवाह यूबी है, यह मान सकता है कि कभी नहीं i * 12345678 > INT_MAX, इसलिए भी i <= INT_MAX / 12345678 < 300और इसलिए चेक को हटा दें i < 300।